0.02/0.09
0.02/0.09 Abscon 112 (May, 2008)
0.18/0.26
0.18/0.26 configuration
0.18/0.26 name=mac.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-2093225-1247401145.xml
0.29/0.33
0.29/0.33 domains being loaded...
0.29/0.34
0.29/0.34 variables being loaded...
0.38/0.47 nbVariables=625 nbDomainTypes=26 minDomainSize=1 maxDomainSize=25 nbTotalValues=6265
0.38/0.47 => wckTime=0.207 cpuTime=0.14 mem=9M842
0.38/0.47
0.38/0.47 relations being loaded...
0.38/0.48
0.38/0.48 constraints being loaded...
1.35/1.43 nbConstraints=9325 nbRelationTypes=26 nbGlobalConstraints=25 nbSingletonDomainVariables=390
1.35/1.43 nbExtensionStructures=51 nbSharedExtensionStructures=9249 nbConflictsStructures=51
1.35/1.43 nbSharedConflictsStructures=9249 nbSharedBinaryRepresentations=1323 minDegree=18 maxDegree=49 minArity=2
1.35/1.43 avgArity=2.02 maxArity=11 nbGenerators=0 nbFusions=0 symmetryWckTime=0.367 symmetryCpuTime=0.19 nbCliques=25
1.35/1.43 => wckTime=1.172 cpuTime=0.72 mem=23M97
1.45/1.55
1.45/1.56 solver IterativeSystematicSolver being built...
1.55/1.63
1.55/1.63 INFO : Forward propagation technique limited
1.64/1.72 => wckTime=1.462 cpuTime=0.86 mem=31M72
1.64/1.79
1.64/1.79 preprocessing
1.64/1.79 nbConstraintChecks=92602 nbPropagations=625 nbRevisions=7368 nbUselessRevisions=2405 nbRemovedValues=4963
1.64/1.79 detectedInconsistency=no
1.64/1.79 => wckTime=0.066 cpuTime=0.05 mem=31M72
2.07/2.18
2.07/2.18 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=33M110)
1125.35/1136.05
1125.35/1136.05 search
1125.35/1136.05 run=24 nbConstraintChecks=890111285 minDepth=19 maxDepth=625 nbPropagations=80726242 nbRevisions=2032420646
1125.35/1136.05 nbUselessRevisions=1910023920 nbAssignments=3172825 nbFailedAssignments=440495 nbBacktracks=2729874
1125.35/1136.05 nbVisitedNodes=4100601 nbRestartNogoods=221 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=390
1125.35/1136.05 nbIEliminables=189.39 nbDEliminables=0 nbPEliminables=0
1125.35/1136.05 => wckTime=1134.325 cpuTime=1123.53 mem=49M263
1125.35/1136.05
1125.35/1136.05 global
1125.35/1136.05 nbConstraintChecks=890203887 nbPropagations=80726867 nbRevisions=2032428014 nbUselessRevisions=1910026325
1125.35/1136.05 nbRestartNogoods=221 solvingWckTime=1134.327 solvingCpuTime=1123.53 expiredTime=no totalExploration=no
1125.35/1136.05 nbFoundSolutions=1 firstSolutionCpuTime=1124.38 globalCpuTime=1124.44
1125.35/1136.05 => wckTime=1135.791 cpuTime=1124.39 mem=49M263
1125.35/1136.05
1125.35/1136.05 s SATISFIABLE
1125.35/1136.05 v 1 6 19 18 8 22 10 15 13 11 9 24 2 5 23 0 17 20 7 16 12 14 3 4 21 22 17 1 15 0 16 13 24 20 9 12 2 19 18 11 5 8 7 10 3 23 4 6 21 14 4 5 14 12 1 18 2 21 17 0 19 9 20 16 8 13 23 15 11 10 24 6 7 3 22 15 8 12 0 4 20 3 22 1 14 6 21 5 19 17 11 18 2 24 7 16 13 9 10 23 8 21 3 13 11 2 24 10 19 16 23 6 4 15 12 22 20 18 5 14 9 0 17 7 1 20 3 5 14 12 24 11 4 18 22 7 13 23 6 15 16 2 1 21 9 17 10 8 0 19 19 24 8 23 22 13 7 6 2 10 11 15 14 20 18 12 1 4 17 21 0 9 16 5 3 17 12 24 8 18 3 16 5 10 21 14 20 9 11 22 19 7 13 0 4 1 2 23 15 6 10 1 21 3 9 4 15 17 14 6 5 8 12 2 20 7 22 24 16 0 13 18 19 23 11 18 23 10 6 2 15 17 0 9 8 16 22 13 14 4 1 19 5 3 12 11 21 20 24 7 16 10 11 22 3 6 9 1 5 18 24 17 0 8 14 20 15 19 12 23 21 7 13 2 4 9 11 0 24 7 1 22 23 8 17 21 5 3 4 6 15 14 16 13 2 18 19 12 20 10 7 9 17 1 23 14 6 13 24 2 20 0 15 12 5 21 10 8 22 19 3 16 4 11 18 24 2 20 21 15 12 4 19 3 13 18 10 22 1 7 17 9 6 23 5 14 11 0 16 8 14 13 15 10 16 23 12 9 6 7 3 18 11 24 2 4 21 17 8 1 22 20 5 19 0 0 18 4 20 13 17 23 2 16 1 15 3 7 9 21 8 11 10 19 6 5 12 14 22 24 6 14 23 9 24 0 1 7 4 12 22 11 16 10 3 2 5 21 20 17 19 8 15 18 13 13 0 9 16 21 7 5 20 11 19 8 12 17 22 24 10 4 3 14 15 6 23 18 1 2 21 22 2 19 17 9 18 3 0 23 4 7 10 13 16 24 12 14 1 8 20 5 11 6 15 3 4 6 2 10 21 0 11 12 5 13 14 1 7 19 23 16 22 18 20 15 17 24 8 9 23 19 13 11 20 5 21 16 7 3 2 4 6 17 10 18 0 9 15 22 8 24 1 14 12 2 20 7 17 5 8 19 18 22 15 10 23 24 3 13 14 6 0 9 11 4 1 21 12 16 5 16 22 7 14 11 20 8 23 24 0 19 18 21 1 6 3 12 4 13 2 15 10 9 17 11 15 18 4 19 10 14 12 21 20 1 16 8 0 9 3 13 23 6 24 7 22 2 17 5 12 7 16 5 6 19 8 14 15 4 17 1 21 23 0 9 24 11 2 18 10 3 22 13 20
1125.35/1136.05 d NODES 3172825
1125.35/1136.05 d CHECKS 890203887
1125.35/1136.06
1125.35/1136.06 totalWckTime=1135.866 totalCpuTime=1124.44
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2093225-1247401145/watcher-2093225-1247401145 -o /tmp/evaluation-result-2093225-1247401145/solver-2093225-1247401145 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2093225-1247401145.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.20 0.05 0.19 4/80 25189
/proc/meminfo: memFree=1807524/2055920 swapFree=4192812/4192956
[pid=25189] ppid=25187 vsize=18576 CPUtime=0
/proc/25189/stat : 25189 (runsolver) R 25187 25189 24991 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 27181597 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 215418989863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/25189/statm: 4644 284 249 26 0 2626 0
[startup+0.0439649 s]
/proc/loadavg: 0.20 0.05 0.19 4/80 25189
/proc/meminfo: memFree=1807524/2055920 swapFree=4192812/4192956
[pid=25189] ppid=25187 vsize=861936 CPUtime=0.02
/proc/25189/stat : 25189 (java) S 25187 25189 24991 0 -1 0 2280 0 1 0 1 1 0 0 18 0 5 0 27181597 882622464 1882 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/25189/statm: 215484 1896 867 9 0 210399 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861936
[startup+0.109825 s]
/proc/loadavg: 0.20 0.05 0.19 4/80 25189
/proc/meminfo: memFree=1807524/2055920 swapFree=4192812/4192956
[pid=25189] ppid=25187 vsize=865984 CPUtime=0.09
/proc/25189/stat : 25189 (java) S 25187 25189 24991 0 -1 0 3797 0 1 0 7 2 0 0 18 0 9 0 27181597 886767616 3250 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25189/statm: 216496 3250 1713 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.301845 s]
/proc/loadavg: 0.20 0.05 0.19 4/80 25189
/proc/meminfo: memFree=1807524/2055920 swapFree=4192812/4192956
[pid=25189] ppid=25187 vsize=866380 CPUtime=0.29
/proc/25189/stat : 25189 (java) S 25187 25189 24991 0 -1 0 5874 0 1 0 25 4 0 0 18 0 9 0 27181597 887173120 5240 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25189/statm: 216595 5240 1981 9 0 211053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.701892 s]
/proc/loadavg: 0.20 0.05 0.19 4/80 25189
/proc/meminfo: memFree=1807524/2055920 swapFree=4192812/4192956
[pid=25189] ppid=25187 vsize=867536 CPUtime=0.68
/proc/25189/stat : 25189 (java) S 25187 25189 24991 0 -1 0 9266 0 1 0 62 6 0 0 18 0 9 0 27181597 888356864 8628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25189/statm: 216884 8628 2005 9 0 211342 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867536
[startup+1.50198 s]
/proc/loadavg: 0.20 0.05 0.19 4/89 25198
/proc/meminfo: memFree=1742876/2055920 swapFree=4192812/4192956
[pid=25189] ppid=25187 vsize=868028 CPUtime=1.45
/proc/25189/stat : 25189 (java) S 25187 25189 24991 0 -1 0 23984 582 1 0 121 13 11 0 18 0 10 0 27181597 888860672 18956 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25189/statm: 217007 18956 2090 9 0 211465 0
[pid=25189/tid=25191] ppid=25187 vsize=868028 CPUtime=1.03
/proc/25189/task/25191/stat : 25191 (java) S 25187 25189 24991 0 -1 64 17318 582 1 0 83 9 11 0 17 0 10 0 27181599 888860672 18956 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25192] ppid=25187 vsize=868028 CPUtime=0.25
/proc/25189/task/25192/stat : 25192 (java) R 25187 25189 24991 0 -1 64 5039 582 0 0 13 1 11 0 16 0 10 0 27181600 888860672 18956 996147200 134512640 134550932 4294955968 18446744073709551615 102510093 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25193] ppid=25187 vsize=868028 CPUtime=0.11
/proc/25189/task/25193/stat : 25193 (java) S 25187 25189 24991 0 -1 64 16 582 0 0 0 0 11 0 16 0 10 0 27181601 888860672 18956 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25194] ppid=25187 vsize=868028 CPUtime=0.11
/proc/25189/task/25194/stat : 25194 (java) S 25187 25189 24991 0 -1 64 5 582 0 0 0 0 11 0 16 0 10 0 27181601 888860672 18956 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25195] ppid=25187 vsize=868028 CPUtime=0.11
/proc/25189/task/25195/stat : 25195 (java) S 25187 25189 24991 0 -1 64 2 582 0 0 0 0 11 0 18 0 10 0 27181603 888860672 18956 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25196] ppid=25187 vsize=868028 CPUtime=0.34
/proc/25189/task/25196/stat : 25196 (java) S 25187 25189 24991 0 -1 64 796 582 0 0 23 0 11 0 15 0 10 0 27181603 888860672 18956 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25197] ppid=25187 vsize=868028 CPUtime=0.11
/proc/25189/task/25197/stat : 25197 (java) S 25187 25189 24991 0 -1 64 0 582 0 0 0 0 11 0 19 0 10 0 27181603 888860672 18956 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25198] ppid=25187 vsize=868028 CPUtime=0.11
/proc/25189/task/25198/stat : 25198 (java) S 25187 25189 24991 0 -1 64 12 582 0 0 0 0 11 0 15 0 10 0 27181603 888860672 18956 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 868028
[startup+3.10216 s]
/proc/loadavg: 0.20 0.05 0.19 3/89 25202
/proc/meminfo: memFree=1731484/2055920 swapFree=4192812/4192956
[pid=25189] ppid=25187 vsize=868012 CPUtime=3.05
/proc/25189/stat : 25189 (java) S 25187 25189 24991 0 -1 0 32040 705 1 0 277 15 12 1 18 0 9 0 27181597 888844288 21454 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25189/statm: 217003 21454 2660 9 0 211439 0
[pid=25189/tid=25191] ppid=25187 vsize=868012 CPUtime=2.46
/proc/25189/task/25191/stat : 25191 (java) R 25187 25189 24991 0 -1 64 22719 705 1 0 223 10 12 1 21 0 9 0 27181599 888844288 21454 996147200 134512640 134550932 4294955968 18446744073709551615 4126095872 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25192] ppid=25187 vsize=868012 CPUtime=0.32
/proc/25189/task/25192/stat : 25192 (java) S 25187 25189 24991 0 -1 64 7565 705 0 0 17 2 12 1 16 0 9 0 27181600 888844288 21454 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25189/tid=25193] ppid=25187 vsize=868012 CPUtime=0.13
/proc/25189/task/25193/stat : 25193 (java) S 25187 25189 24991 0 -1 64 20 705 0 0 0 0 12 1 15 0 9 0 27181601 888844288 21454 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25194] ppid=25187 vsize=868012 CPUtime=0.13
/proc/25189/task/25194/stat : 25194 (java) S 25187 25189 24991 0 -1 64 10 705 0 0 0 0 12 1 15 0 9 0 27181601 888844288 21454 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25195] ppid=25187 vsize=868012 CPUtime=0.13
/proc/25189/task/25195/stat : 25195 (java) S 25187 25189 24991 0 -1 64 2 705 0 0 0 0 12 1 18 0 9 0 27181603 888844288 21454 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25196] ppid=25187 vsize=868012 CPUtime=0.48
/proc/25189/task/25196/stat : 25196 (java) S 25187 25189 24991 0 -1 64 913 705 0 0 35 0 12 1 15 0 9 0 27181603 888844288 21454 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25197] ppid=25187 vsize=868012 CPUtime=0.13
/proc/25189/task/25197/stat : 25197 (java) S 25187 25189 24991 0 -1 64 0 705 0 0 0 0 12 1 19 0 9 0 27181603 888844288 21454 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25198] ppid=25187 vsize=868012 CPUtime=0.13
/proc/25189/task/25198/stat : 25198 (java) S 25187 25189 24991 0 -1 64 12 705 0 0 0 0 12 1 15 0 9 0 27181603 888844288 21454 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 868012
[startup+6.30152 s]
/proc/loadavg: 0.34 0.08 0.20 3/89 25202
/proc/meminfo: memFree=1731484/2055920 swapFree=4192812/4192956
[pid=25189] ppid=25187 vsize=868012 CPUtime=6.22
/proc/25189/stat : 25189 (java) S 25187 25189 24991 0 -1 0 33696 705 1 0 593 16 12 1 18 0 9 0 27181597 888844288 21456 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25189/statm: 217003 21456 2660 9 0 211439 0
[pid=25189/tid=25191] ppid=25187 vsize=868012 CPUtime=5.62
/proc/25189/task/25191/stat : 25191 (java) R 25187 25189 24991 0 -1 64 24350 705 1 0 538 11 12 1 25 0 9 0 27181599 888844288 21456 996147200 134512640 134550932 4294955968 18446744073709551615 4127155948 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25192] ppid=25187 vsize=868012 CPUtime=0.32
/proc/25189/task/25192/stat : 25192 (java) S 25187 25189 24991 0 -1 64 7565 705 0 0 17 2 12 1 17 0 9 0 27181600 888844288 21456 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25193] ppid=25187 vsize=868012 CPUtime=0.13
/proc/25189/task/25193/stat : 25193 (java) S 25187 25189 24991 0 -1 64 20 705 0 0 0 0 12 1 15 0 9 0 27181601 888844288 21456 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25194] ppid=25187 vsize=868012 CPUtime=0.13
/proc/25189/task/25194/stat : 25194 (java) S 25187 25189 24991 0 -1 64 10 705 0 0 0 0 12 1 15 0 9 0 27181601 888844288 21456 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25195] ppid=25187 vsize=868012 CPUtime=0.13
/proc/25189/task/25195/stat : 25195 (java) S 25187 25189 24991 0 -1 64 2 705 0 0 0 0 12 1 18 0 9 0 27181603 888844288 21456 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25196] ppid=25187 vsize=868012 CPUtime=0.49
/proc/25189/task/25196/stat : 25196 (java) S 25187 25189 24991 0 -1 64 915 705 0 0 36 0 12 1 17 0 9 0 27181603 888844288 21456 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25197] ppid=25187 vsize=868012 CPUtime=0.13
/proc/25189/task/25197/stat : 25197 (java) S 25187 25189 24991 0 -1 64 0 705 0 0 0 0 12 1 19 0 9 0 27181603 888844288 21456 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25198] ppid=25187 vsize=868012 CPUtime=0.13
/proc/25189/task/25198/stat : 25198 (java) S 25187 25189 24991 0 -1 64 35 705 0 0 0 0 12 1 15 0 9 0 27181603 888844288 21456 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 868012
[startup+12.7022 s]
/proc/loadavg: 0.48 0.11 0.20 3/89 25202
/proc/meminfo: memFree=1731164/2055920 swapFree=4192812/4192956
[pid=25189] ppid=25187 vsize=868012 CPUtime=12.56
/proc/25189/stat : 25189 (java) S 25187 25189 24991 0 -1 0 37053 705 1 0 1226 17 12 1 18 0 9 0 27181597 888844288 21457 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25189/statm: 217003 21457 2660 9 0 211439 0
[pid=25189/tid=25191] ppid=25187 vsize=868012 CPUtime=11.95
/proc/25189/task/25191/stat : 25191 (java) R 25187 25189 24991 0 -1 64 27706 705 1 0 1171 11 12 1 25 0 9 0 27181599 888844288 21457 996147200 134512640 134550932 4294955968 18446744073709551615 4127172066 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25192] ppid=25187 vsize=868012 CPUtime=0.32
/proc/25189/task/25192/stat : 25192 (java) S 25187 25189 24991 0 -1 64 7565 705 0 0 17 2 12 1 16 0 9 0 27181600 888844288 21457 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25193] ppid=25187 vsize=868012 CPUtime=0.13
/proc/25189/task/25193/stat : 25193 (java) S 25187 25189 24991 0 -1 64 20 705 0 0 0 0 12 1 15 0 9 0 27181601 888844288 21457 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25194] ppid=25187 vsize=868012 CPUtime=0.13
/proc/25189/task/25194/stat : 25194 (java) S 25187 25189 24991 0 -1 64 10 705 0 0 0 0 12 1 15 0 9 0 27181601 888844288 21457 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25195] ppid=25187 vsize=868012 CPUtime=0.13
/proc/25189/task/25195/stat : 25195 (java) S 25187 25189 24991 0 -1 64 2 705 0 0 0 0 12 1 18 0 9 0 27181603 888844288 21457 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25196] ppid=25187 vsize=868012 CPUtime=0.49
/proc/25189/task/25196/stat : 25196 (java) S 25187 25189 24991 0 -1 64 916 705 0 0 36 0 12 1 17 0 9 0 27181603 888844288 21457 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25197] ppid=25187 vsize=868012 CPUtime=0.13
/proc/25189/task/25197/stat : 25197 (java) S 25187 25189 24991 0 -1 64 0 705 0 0 0 0 12 1 19 0 9 0 27181603 888844288 21457 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25198] ppid=25187 vsize=868012 CPUtime=0.13
/proc/25189/task/25198/stat : 25198 (java) S 25187 25189 24991 0 -1 64 35 705 0 0 0 0 12 1 15 0 9 0 27181603 888844288 21457 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 868012
[startup+25.5027 s]
/proc/loadavg: 0.81 0.20 0.23 3/89 25202
/proc/meminfo: memFree=1726748/2055920 swapFree=4192812/4192956
[pid=25189] ppid=25187 vsize=867924 CPUtime=25.24
/proc/25189/stat : 25189 (java) S 25187 25189 24991 0 -1 0 39131 705 1 0 2493 18 12 1 18 0 9 0 27181597 888754176 22539 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25189/statm: 216981 22539 2638 9 0 211439 0
[pid=25189/tid=25191] ppid=25187 vsize=867924 CPUtime=24.62
/proc/25189/task/25191/stat : 25191 (java) R 25187 25189 24991 0 -1 64 28676 705 1 0 2437 12 12 1 25 0 9 0 27181599 888754176 22539 996147200 134512640 134550932 4294955968 18446744073709551615 4127166846 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25192] ppid=25187 vsize=867924 CPUtime=0.33
/proc/25189/task/25192/stat : 25192 (java) S 25187 25189 24991 0 -1 64 8671 705 0 0 18 2 12 1 16 0 9 0 27181600 888754176 22539 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25193] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25193/stat : 25193 (java) S 25187 25189 24991 0 -1 64 20 705 0 0 0 0 12 1 16 0 9 0 27181601 888754176 22539 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25194] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25194/stat : 25194 (java) S 25187 25189 24991 0 -1 64 11 705 0 0 0 0 12 1 16 0 9 0 27181601 888754176 22539 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25195] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25195/stat : 25195 (java) S 25187 25189 24991 0 -1 64 2 705 0 0 0 0 12 1 18 0 9 0 27181603 888754176 22539 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25196] ppid=25187 vsize=867924 CPUtime=0.49
/proc/25189/task/25196/stat : 25196 (java) S 25187 25189 24991 0 -1 64 917 705 0 0 36 0 12 1 16 0 9 0 27181603 888754176 22539 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25197] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25197/stat : 25197 (java) S 25187 25189 24991 0 -1 64 0 705 0 0 0 0 12 1 19 0 9 0 27181603 888754176 22539 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25198] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25198/stat : 25198 (java) S 25187 25189 24991 0 -1 64 35 705 0 0 0 0 12 1 15 0 9 0 27181603 888754176 22539 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 867924
[startup+51.1025 s]
/proc/loadavg: 1.22 0.35 0.28 3/89 25202
/proc/meminfo: memFree=1722332/2055920 swapFree=4192812/4192956
[pid=25189] ppid=25187 vsize=867924 CPUtime=50.6
/proc/25189/stat : 25189 (java) S 25187 25189 24991 0 -1 0 40241 705 1 0 5029 18 12 1 18 0 9 0 27181597 888754176 23644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25189/statm: 216981 23644 2638 9 0 211439 0
[pid=25189/tid=25191] ppid=25187 vsize=867924 CPUtime=49.97
/proc/25189/task/25191/stat : 25191 (java) R 25187 25189 24991 0 -1 64 28677 705 1 0 4972 12 12 1 25 0 9 0 27181599 888754176 23644 996147200 134512640 134550932 4294955968 18446744073709551615 4127166803 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25192] ppid=25187 vsize=867924 CPUtime=0.35
/proc/25189/task/25192/stat : 25192 (java) S 25187 25189 24991 0 -1 64 9780 705 0 0 19 3 12 1 16 0 9 0 27181600 888754176 23644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25193] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25193/stat : 25193 (java) S 25187 25189 24991 0 -1 64 20 705 0 0 0 0 12 1 16 0 9 0 27181601 888754176 23644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25194] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25194/stat : 25194 (java) S 25187 25189 24991 0 -1 64 11 705 0 0 0 0 12 1 16 0 9 0 27181601 888754176 23644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25195] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25195/stat : 25195 (java) S 25187 25189 24991 0 -1 64 2 705 0 0 0 0 12 1 18 0 9 0 27181603 888754176 23644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25196] ppid=25187 vsize=867924 CPUtime=0.49
/proc/25189/task/25196/stat : 25196 (java) S 25187 25189 24991 0 -1 64 917 705 0 0 36 0 12 1 16 0 9 0 27181603 888754176 23644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25197] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25197/stat : 25197 (java) S 25187 25189 24991 0 -1 64 0 705 0 0 0 0 12 1 19 0 9 0 27181603 888754176 23644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/25189/stat : 25189 (java) S 25187 25189 24991 0 -1 0 40302 705 1 0 111540 21 12 1 18 0 9 0 27181597 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25189/statm: 216981 23654 2638 9 0 211439 0
[pid=25189/tid=25191] ppid=25187 vsize=867924 CPUtime=1115.06
/proc/25189/task/25191/stat : 25191 (java) R 25187 25189 24991 0 -1 64 28724 705 1 0 111478 15 12 1 25 0 9 0 27181599 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4127116900 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25192] ppid=25187 vsize=867924 CPUtime=0.4
/proc/25189/task/25192/stat : 25192 (java) S 25187 25189 24991 0 -1 64 9793 705 0 0 24 3 12 1 16 0 9 0 27181600 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25193] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25193/stat : 25193 (java) S 25187 25189 24991 0 -1 64 20 705 0 0 0 0 12 1 16 0 9 0 27181601 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25194] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25194/stat : 25194 (java) S 25187 25189 24991 0 -1 64 11 705 0 0 0 0 12 1 16 0 9 0 27181601 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25195] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25195/stat : 25195 (java) S 25187 25189 24991 0 -1 64 2 705 0 0 0 0 12 1 18 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25196] ppid=25187 vsize=867924 CPUtime=0.5
/proc/25189/task/25196/stat : 25196 (java) S 25187 25189 24991 0 -1 64 918 705 0 0 37 0 12 1 16 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25197] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25197/stat : 25197 (java) S 25187 25189 24991 0 -1 64 0 705 0 0 0 0 12 1 19 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25198] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25198/stat : 25198 (java) S 25187 25189 24991 0 -1 64 35 705 0 0 0 0 12 1 15 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1115.74
Current children cumulated vsize (KiB) 867924
[startup+1132.7 s]
/proc/loadavg: 1.99 1.94 1.43 3/89 25202
/proc/meminfo: memFree=1721436/2055920 swapFree=4192812/4192956
[pid=25189] ppid=25187 vsize=867924 CPUtime=1122.08
/proc/25189/stat : 25189 (java) S 25187 25189 24991 0 -1 0 40302 705 1 0 112174 21 12 1 18 0 9 0 27181597 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25189/statm: 216981 23654 2638 9 0 211439 0
[pid=25189/tid=25191] ppid=25187 vsize=867924 CPUtime=1121.4
/proc/25189/task/25191/stat : 25191 (java) R 25187 25189 24991 0 -1 64 28724 705 1 0 112112 15 12 1 25 0 9 0 27181599 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4127182220 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25192] ppid=25187 vsize=867924 CPUtime=0.4
/proc/25189/task/25192/stat : 25192 (java) S 25187 25189 24991 0 -1 64 9793 705 0 0 24 3 12 1 16 0 9 0 27181600 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25193] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25193/stat : 25193 (java) S 25187 25189 24991 0 -1 64 20 705 0 0 0 0 12 1 16 0 9 0 27181601 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25194] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25194/stat : 25194 (java) S 25187 25189 24991 0 -1 64 11 705 0 0 0 0 12 1 16 0 9 0 27181601 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25195] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25195/stat : 25195 (java) S 25187 25189 24991 0 -1 64 2 705 0 0 0 0 12 1 18 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25196] ppid=25187 vsize=867924 CPUtime=0.5
/proc/25189/task/25196/stat : 25196 (java) S 25187 25189 24991 0 -1 64 918 705 0 0 37 0 12 1 16 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25197] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25197/stat : 25197 (java) S 25187 25189 24991 0 -1 64 0 705 0 0 0 0 12 1 19 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25198] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25198/stat : 25198 (java) S 25187 25189 24991 0 -1 64 35 705 0 0 0 0 12 1 15 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 867924
[startup+1134.3 s]
/proc/loadavg: 1.99 1.94 1.43 3/89 25202
/proc/meminfo: memFree=1721436/2055920 swapFree=4192812/4192956
[pid=25189] ppid=25187 vsize=867924 CPUtime=1123.66
/proc/25189/stat : 25189 (java) S 25187 25189 24991 0 -1 0 40302 705 1 0 112332 21 12 1 18 0 9 0 27181597 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25189/statm: 216981 23654 2638 9 0 211439 0
[pid=25189/tid=25191] ppid=25187 vsize=867924 CPUtime=1122.98
/proc/25189/task/25191/stat : 25191 (java) R 25187 25189 24991 0 -1 64 28724 705 1 0 112270 15 12 1 25 0 9 0 27181599 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4127129861 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25192] ppid=25187 vsize=867924 CPUtime=0.4
/proc/25189/task/25192/stat : 25192 (java) S 25187 25189 24991 0 -1 64 9793 705 0 0 24 3 12 1 16 0 9 0 27181600 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25193] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25193/stat : 25193 (java) S 25187 25189 24991 0 -1 64 20 705 0 0 0 0 12 1 16 0 9 0 27181601 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25194] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25194/stat : 25194 (java) S 25187 25189 24991 0 -1 64 11 705 0 0 0 0 12 1 16 0 9 0 27181601 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25195] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25195/stat : 25195 (java) S 25187 25189 24991 0 -1 64 2 705 0 0 0 0 12 1 18 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25196] ppid=25187 vsize=867924 CPUtime=0.5
/proc/25189/task/25196/stat : 25196 (java) S 25187 25189 24991 0 -1 64 918 705 0 0 37 0 12 1 16 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25197] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25197/stat : 25197 (java) S 25187 25189 24991 0 -1 64 0 705 0 0 0 0 12 1 19 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25198] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25198/stat : 25198 (java) S 25187 25189 24991 0 -1 64 35 705 0 0 0 0 12 1 15 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1123.66
Current children cumulated vsize (KiB) 867924
[startup+1135.1 s]
/proc/loadavg: 1.99 1.94 1.43 3/89 25202
/proc/meminfo: memFree=1721436/2055920 swapFree=4192812/4192956
[pid=25189] ppid=25187 vsize=867924 CPUtime=1124.46
/proc/25189/stat : 25189 (java) S 25187 25189 24991 0 -1 0 40302 705 1 0 112412 21 12 1 18 0 9 0 27181597 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25189/statm: 216981 23654 2638 9 0 211439 0
[pid=25189/tid=25191] ppid=25187 vsize=867924 CPUtime=1123.78
/proc/25189/task/25191/stat : 25191 (java) R 25187 25189 24991 0 -1 64 28724 705 1 0 112350 15 12 1 25 0 9 0 27181599 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4127263870 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25192] ppid=25187 vsize=867924 CPUtime=0.4
/proc/25189/task/25192/stat : 25192 (java) S 25187 25189 24991 0 -1 64 9793 705 0 0 24 3 12 1 16 0 9 0 27181600 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25193] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25193/stat : 25193 (java) S 25187 25189 24991 0 -1 64 20 705 0 0 0 0 12 1 16 0 9 0 27181601 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25194] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25194/stat : 25194 (java) S 25187 25189 24991 0 -1 64 11 705 0 0 0 0 12 1 16 0 9 0 27181601 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25195] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25195/stat : 25195 (java) S 25187 25189 24991 0 -1 64 2 705 0 0 0 0 12 1 18 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25196] ppid=25187 vsize=867924 CPUtime=0.5
/proc/25189/task/25196/stat : 25196 (java) S 25187 25189 24991 0 -1 64 918 705 0 0 37 0 12 1 16 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25197] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25197/stat : 25197 (java) S 25187 25189 24991 0 -1 64 0 705 0 0 0 0 12 1 19 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25198] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25198/stat : 25198 (java) S 25187 25189 24991 0 -1 64 35 705 0 0 0 0 12 1 15 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1124.46
Current children cumulated vsize (KiB) 867924
[startup+1135.5 s]
/proc/loadavg: 1.99 1.94 1.43 3/89 25202
/proc/meminfo: memFree=1721436/2055920 swapFree=4192812/4192956
[pid=25189] ppid=25187 vsize=867924 CPUtime=1124.85
/proc/25189/stat : 25189 (java) S 25187 25189 24991 0 -1 0 40302 705 1 0 112451 21 12 1 18 0 9 0 27181597 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25189/statm: 216981 23654 2638 9 0 211439 0
[pid=25189/tid=25191] ppid=25187 vsize=867924 CPUtime=1124.17
/proc/25189/task/25191/stat : 25191 (java) R 25187 25189 24991 0 -1 64 28724 705 1 0 112389 15 12 1 25 0 9 0 27181599 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4127129984 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25192] ppid=25187 vsize=867924 CPUtime=0.4
/proc/25189/task/25192/stat : 25192 (java) S 25187 25189 24991 0 -1 64 9793 705 0 0 24 3 12 1 16 0 9 0 27181600 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25193] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25193/stat : 25193 (java) S 25187 25189 24991 0 -1 64 20 705 0 0 0 0 12 1 16 0 9 0 27181601 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25194] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25194/stat : 25194 (java) S 25187 25189 24991 0 -1 64 11 705 0 0 0 0 12 1 16 0 9 0 27181601 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25195] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25195/stat : 25195 (java) S 25187 25189 24991 0 -1 64 2 705 0 0 0 0 12 1 18 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25196] ppid=25187 vsize=867924 CPUtime=0.5
/proc/25189/task/25196/stat : 25196 (java) S 25187 25189 24991 0 -1 64 918 705 0 0 37 0 12 1 16 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25197] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25197/stat : 25197 (java) S 25187 25189 24991 0 -1 64 0 705 0 0 0 0 12 1 19 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25198] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25198/stat : 25198 (java) S 25187 25189 24991 0 -1 64 35 705 0 0 0 0 12 1 15 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1124.85
Current children cumulated vsize (KiB) 867924
[startup+1135.9 s]
/proc/loadavg: 1.99 1.94 1.43 3/89 25202
/proc/meminfo: memFree=1721436/2055920 swapFree=4192812/4192956
[pid=25189] ppid=25187 vsize=867924 CPUtime=1125.25
/proc/25189/stat : 25189 (java) S 25187 25189 24991 0 -1 0 40302 705 1 0 112491 21 12 1 18 0 9 0 27181597 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25189/statm: 216981 23654 2638 9 0 211439 0
[pid=25189/tid=25191] ppid=25187 vsize=867924 CPUtime=1124.57
/proc/25189/task/25191/stat : 25191 (java) R 25187 25189 24991 0 -1 64 28724 705 1 0 112429 15 12 1 25 0 9 0 27181599 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4127165003 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25192] ppid=25187 vsize=867924 CPUtime=0.4
/proc/25189/task/25192/stat : 25192 (java) S 25187 25189 24991 0 -1 64 9793 705 0 0 24 3 12 1 16 0 9 0 27181600 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25193] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25193/stat : 25193 (java) S 25187 25189 24991 0 -1 64 20 705 0 0 0 0 12 1 16 0 9 0 27181601 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25194] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25194/stat : 25194 (java) S 25187 25189 24991 0 -1 64 11 705 0 0 0 0 12 1 16 0 9 0 27181601 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25195] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25195/stat : 25195 (java) S 25187 25189 24991 0 -1 64 2 705 0 0 0 0 12 1 18 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25196] ppid=25187 vsize=867924 CPUtime=0.5
/proc/25189/task/25196/stat : 25196 (java) S 25187 25189 24991 0 -1 64 918 705 0 0 37 0 12 1 16 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25197] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25197/stat : 25197 (java) S 25187 25189 24991 0 -1 64 0 705 0 0 0 0 12 1 19 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25198] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25198/stat : 25198 (java) S 25187 25189 24991 0 -1 64 35 705 0 0 0 0 12 1 15 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1125.25
Current children cumulated vsize (KiB) 867924
[startup+1136 s]
/proc/loadavg: 1.99 1.94 1.43 3/89 25202
/proc/meminfo: memFree=1721436/2055920 swapFree=4192812/4192956
[pid=25189] ppid=25187 vsize=867924 CPUtime=1125.35
/proc/25189/stat : 25189 (java) S 25187 25189 24991 0 -1 0 40302 705 1 0 112501 21 12 1 18 0 9 0 27181597 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25189/statm: 216981 23654 2638 9 0 211439 0
[pid=25189/tid=25191] ppid=25187 vsize=867924 CPUtime=1124.67
/proc/25189/task/25191/stat : 25191 (java) R 25187 25189 24991 0 -1 64 28724 705 1 0 112439 15 12 1 25 0 9 0 27181599 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4127129984 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25192] ppid=25187 vsize=867924 CPUtime=0.4
/proc/25189/task/25192/stat : 25192 (java) S 25187 25189 24991 0 -1 64 9793 705 0 0 24 3 12 1 16 0 9 0 27181600 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25193] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25193/stat : 25193 (java) S 25187 25189 24991 0 -1 64 20 705 0 0 0 0 12 1 16 0 9 0 27181601 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25194] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25194/stat : 25194 (java) S 25187 25189 24991 0 -1 64 11 705 0 0 0 0 12 1 16 0 9 0 27181601 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25195] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25195/stat : 25195 (java) S 25187 25189 24991 0 -1 64 2 705 0 0 0 0 12 1 18 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25196] ppid=25187 vsize=867924 CPUtime=0.5
/proc/25189/task/25196/stat : 25196 (java) S 25187 25189 24991 0 -1 64 918 705 0 0 37 0 12 1 16 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25197] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25197/stat : 25197 (java) S 25187 25189 24991 0 -1 64 0 705 0 0 0 0 12 1 19 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25189/tid=25198] ppid=25187 vsize=867924 CPUtime=0.13
/proc/25189/task/25198/stat : 25198 (java) S 25187 25189 24991 0 -1 64 35 705 0 0 0 0 12 1 15 0 9 0 27181603 888754176 23654 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1125.35
Current children cumulated vsize (KiB) 867924
Child status: 0
Real time (s): 1136.08
CPU time (s): 1125.43
CPU user time (s): 1125.19
CPU system time (s): 0.241963
CPU usage (%): 99.0631
Max. virtual memory (cumulated for all children) (KiB): 868028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1125.19
system time used= 0.241963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41041
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25079
involuntary context switches= 49515
runsolver used 1.39379 second user time and 3.78542 second system time
The end
Begin job on node9 at 2009-07-12 14:19:05
IDJOB=2093225
IDBENCH=53451
IDSOLVER=773
FILE ID=node9/2093225-1247401145
PBS_JOBID= 9510626
Free space on /tmp= 66396 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/QWH-25/normalized-qwh-25-235-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2093225-1247401145/watcher-2093225-1247401145 -o /tmp/evaluation-result-2093225-1247401145/solver-2093225-1247401145 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2093225-1247401145.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 16e709776bbf6ea883e19cecb053fb30
RANDOM SEED=159278090
node9.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1808004 kB
Buffers: 30724 kB
Cached: 104120 kB
SwapCached: 0 kB
Active: 140520 kB
Inactive: 50868 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1808004 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5556 kB
Writeback: 0 kB
Mapped: 76952 kB
Slab: 41804 kB
Committed_AS: 990324 kB
PageTables: 1868 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66396 MiB
End job on node9 at 2009-07-12 14:38:01