0.00/0.07
0.00/0.07 Abscon 112 (May, 2008)
0.21/0.20
0.21/0.20 configuration
0.21/0.20 name=mac.xml
0.21/0.23
0.21/0.23 instance
0.21/0.23 name=HOME/instance-2093077-1247401122.xml
0.21/0.26
0.21/0.26 domains being loaded...
0.21/0.27
0.21/0.27 variables being loaded...
0.21/0.29 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24 nbTotalValues=576
0.21/0.29 => wckTime=0.091 cpuTime=0.09 mem=7M892
0.21/0.29
0.21/0.29 relations being loaded...
0.33/0.36
0.33/0.36 constraints being loaded...
0.62/0.50 nbConstraints=276 nbRelationTypes=276 nbExtensionStructures=276 nbSharedExtensionStructures=0
0.62/0.50 nbConflictsStructures=276 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=862 minDegree=23
0.62/0.50 maxDegree=23 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0 symmetryWckTime=0.044 symmetryCpuTime=0.03
0.62/0.50 => wckTime=0.302 cpuTime=0.28 mem=18M661
0.62/0.56
0.62/0.56 solver IterativeSystematicSolver being built...
0.72/0.67 => wckTime=0.47 cpuTime=0.4 mem=21M333
0.72/0.68
0.72/0.68 preprocessing
0.72/0.68 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.72/0.68 detectedInconsistency=no
0.72/0.68 => wckTime=0.0040 cpuTime=0.0 mem=21M333
0.86/0.78
0.86/0.78 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=22M308)
198.12/198.01
198.12/198.01 search
198.12/198.01 run=24 nbConstraintChecks=1218930026 minDepth=0 maxDepth=10 nbPropagations=44313603 nbRevisions=895440232
198.12/198.01 nbUselessRevisions=778505464 nbAssignments=852772 nbFailedAssignments=423341 nbBacktracks=429304
198.12/198.01 nbVisitedNodes=1594402 nbRestartNogoods=277 nbSEliminables=6.15 nbREliminables=0 nbIEliminables=0
198.12/198.01 nbDEliminables=0 nbPEliminables=0
198.12/198.01 => wckTime=197.332 cpuTime=197.23 mem=22M308
198.12/198.01
198.12/198.01 global
198.12/198.01 nbConstraintChecks=1218930026 nbPropagations=44313627 nbRevisions=895440232 nbUselessRevisions=778505464
198.12/198.01 nbRestartNogoods=277 solvingWckTime=197.335 solvingCpuTime=197.23 expiredTime=no totalExploration=yes
198.12/198.01 nbFoundSolutions=0 globalCpuTime=197.68
198.12/198.01 => wckTime=197.807 cpuTime=197.63 mem=22M308
198.12/198.01
198.12/198.01 s UNSATISFIABLE
198.12/198.01 d NODES 852772
198.12/198.01 d CHECKS 1218930026
198.12/198.01
198.12/198.01 totalWckTime=197.851 totalCpuTime=197.69
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2093077-1247401122/watcher-2093077-1247401122 -o /tmp/evaluation-result-2093077-1247401122/solver-2093077-1247401122 -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-2093077-1247401122.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.00 0.00 0.03 3/67 28613
/proc/meminfo: memFree=1830152/2055920 swapFree=4192812/4192956
[pid=28613] ppid=28611 vsize=152 CPUtime=0
/proc/28613/stat : 28613 (java) R 28611 28613 28469 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 27174823 155648 26 996147200 134512640 134550932 4294955968 18446744073709551615 7205163 0 0 4096 0 0 0 0 17 0 0 0
/proc/28613/statm: 38 26 19 9 0 4 0
[startup+0.099086 s]
/proc/loadavg: 0.00 0.00 0.03 3/67 28613
/proc/meminfo: memFree=1830152/2055920 swapFree=4192812/4192956
[pid=28613] ppid=28611 vsize=866108 CPUtime=0.1
/proc/28613/stat : 28613 (java) S 28611 28613 28469 0 -1 0 4000 0 1 0 8 2 0 0 18 0 9 0 27174823 886894592 3429 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28613/statm: 216527 3429 1782 9 0 211012 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 866108
[startup+0.102081 s]
/proc/loadavg: 0.00 0.00 0.03 3/67 28613
/proc/meminfo: memFree=1830152/2055920 swapFree=4192812/4192956
[pid=28613] ppid=28611 vsize=866108 CPUtime=0.1
/proc/28613/stat : 28613 (java) S 28611 28613 28469 0 -1 0 4036 0 1 0 8 2 0 0 18 0 9 0 27174823 886894592 3465 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28613/statm: 216527 3465 1798 9 0 211012 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 866108
[startup+0.301112 s]
/proc/loadavg: 0.00 0.00 0.03 3/67 28613
/proc/meminfo: memFree=1830152/2055920 swapFree=4192812/4192956
[pid=28613] ppid=28611 vsize=866488 CPUtime=0.33
/proc/28613/stat : 28613 (java) S 28611 28613 28469 0 -1 0 6601 0 1 0 29 4 0 0 18 0 9 0 27174823 887283712 5963 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28613/statm: 216622 5963 1997 9 0 211080 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 866488
[startup+0.701174 s]
/proc/loadavg: 0.00 0.00 0.03 3/67 28613
/proc/meminfo: memFree=1830152/2055920 swapFree=4192812/4192956
[pid=28613] ppid=28611 vsize=868640 CPUtime=0.86
/proc/28613/stat : 28613 (java) S 28611 28613 28469 0 -1 0 17096 285 1 0 77 9 0 0 18 0 9 0 27174823 889487360 10701 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28613/statm: 217160 10701 2658 9 0 211596 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 868640
[startup+1.50227 s]
/proc/loadavg: 0.00 0.00 0.03 2/76 28626
/proc/meminfo: memFree=1797504/2055920 swapFree=4192812/4192956
[pid=28613] ppid=28611 vsize=868640 CPUtime=1.71
/proc/28613/stat : 28613 (java) S 28611 28613 28469 0 -1 0 17164 285 1 0 162 9 0 0 18 0 9 0 27174823 889487360 10767 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28613/statm: 217160 10767 2658 9 0 211596 0
[pid=28613/tid=28615] ppid=28611 vsize=868640 CPUtime=1.4
/proc/28613/task/28615/stat : 28615 (java) R 28611 28613 28469 0 -1 64 11948 285 1 0 134 6 0 0 24 0 9 0 27174824 889487360 10767 996147200 134512640 134550932 4294955968 18446744073709551615 4126893515 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28613/tid=28616] ppid=28611 vsize=868640 CPUtime=0.04
/proc/28613/task/28616/stat : 28616 (java) S 28611 28613 28469 0 -1 64 3649 285 0 0 4 0 0 0 16 0 9 0 27174825 889487360 10767 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28617] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28617/stat : 28617 (java) S 28611 28613 28469 0 -1 64 19 285 0 0 0 0 0 0 15 0 9 0 27174825 889487360 10767 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28618/stat : 28618 (java) S 28611 28613 28469 0 -1 64 9 285 0 0 0 0 0 0 15 0 9 0 27174825 889487360 10767 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28619] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28619/stat : 28619 (java) S 28611 28613 28469 0 -1 64 2 285 0 0 0 0 0 0 23 0 9 0 27174827 889487360 10767 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28620] ppid=28611 vsize=868640 CPUtime=0.22
/proc/28613/task/28620/stat : 28620 (java) S 28611 28613 28469 0 -1 64 731 285 0 0 22 0 0 0 15 0 9 0 27174827 889487360 10767 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28621] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28621/stat : 28621 (java) S 28611 28613 28469 0 -1 64 0 285 0 0 0 0 0 0 24 0 9 0 27174827 889487360 10767 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28622] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28622/stat : 28622 (java) S 28611 28613 28469 0 -1 64 3 285 0 0 0 0 0 0 15 0 9 0 27174827 889487360 10767 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 868640
[startup+3.10161 s]
/proc/loadavg: 0.08 0.02 0.03 2/76 28626
/proc/meminfo: memFree=1797248/2055920 swapFree=4192812/4192956
[pid=28613] ppid=28611 vsize=868640 CPUtime=3.3
/proc/28613/stat : 28613 (java) S 28611 28613 28469 0 -1 0 17172 285 1 0 321 9 0 0 18 0 9 0 27174823 889487360 10773 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28613/statm: 217160 10773 2658 9 0 211596 0
[pid=28613/tid=28615] ppid=28611 vsize=868640 CPUtime=2.99
/proc/28613/task/28615/stat : 28615 (java) R 28611 28613 28469 0 -1 64 11953 285 1 0 293 6 0 0 25 0 9 0 27174824 889487360 10773 996147200 134512640 134550932 4294955968 18446744073709551615 4126918075 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28616] ppid=28611 vsize=868640 CPUtime=0.04
/proc/28613/task/28616/stat : 28616 (java) S 28611 28613 28469 0 -1 64 3649 285 0 0 4 0 0 0 17 0 9 0 27174825 889487360 10773 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28617] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28617/stat : 28617 (java) S 28611 28613 28469 0 -1 64 19 285 0 0 0 0 0 0 15 0 9 0 27174825 889487360 10773 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28618/stat : 28618 (java) S 28611 28613 28469 0 -1 64 9 285 0 0 0 0 0 0 15 0 9 0 27174825 889487360 10773 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28619] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28619/stat : 28619 (java) S 28611 28613 28469 0 -1 64 2 285 0 0 0 0 0 0 23 0 9 0 27174827 889487360 10773 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28620] ppid=28611 vsize=868640 CPUtime=0.22
/proc/28613/task/28620/stat : 28620 (java) S 28611 28613 28469 0 -1 64 734 285 0 0 22 0 0 0 16 0 9 0 27174827 889487360 10773 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28621] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28621/stat : 28621 (java) S 28611 28613 28469 0 -1 64 0 285 0 0 0 0 0 0 24 0 9 0 27174827 889487360 10773 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28622] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28622/stat : 28622 (java) S 28611 28613 28469 0 -1 64 3 285 0 0 0 0 0 0 15 0 9 0 27174827 889487360 10773 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 868640
[startup+6.30193 s]
/proc/loadavg: 0.08 0.02 0.03 3/89 28648
/proc/meminfo: memFree=1759512/2055920 swapFree=4192812/4192956
[pid=28613] ppid=28611 vsize=868640 CPUtime=6.5
/proc/28613/stat : 28613 (java) S 28611 28613 28469 0 -1 0 17184 285 1 0 641 9 0 0 18 0 9 0 27174823 889487360 10774 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28613/statm: 217160 10774 2658 9 0 211596 0
[pid=28613/tid=28615] ppid=28611 vsize=868640 CPUtime=6.19
/proc/28613/task/28615/stat : 28615 (java) R 28611 28613 28469 0 -1 64 11956 285 1 0 613 6 0 0 25 0 9 0 27174824 889487360 10774 996147200 134512640 134550932 4294955968 18446744073709551615 4126893061 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28616] ppid=28611 vsize=868640 CPUtime=0.04
/proc/28613/task/28616/stat : 28616 (java) S 28611 28613 28469 0 -1 64 3649 285 0 0 4 0 0 0 16 0 9 0 27174825 889487360 10774 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28613/tid=28617] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28617/stat : 28617 (java) S 28611 28613 28469 0 -1 64 19 285 0 0 0 0 0 0 15 0 9 0 27174825 889487360 10774 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28618/stat : 28618 (java) S 28611 28613 28469 0 -1 64 9 285 0 0 0 0 0 0 15 0 9 0 27174825 889487360 10774 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28619] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28619/stat : 28619 (java) S 28611 28613 28469 0 -1 64 2 285 0 0 0 0 0 0 23 0 9 0 27174827 889487360 10774 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28620] ppid=28611 vsize=868640 CPUtime=0.23
/proc/28613/task/28620/stat : 28620 (java) S 28611 28613 28469 0 -1 64 734 285 0 0 23 0 0 0 16 0 9 0 27174827 889487360 10774 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28621] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28621/stat : 28621 (java) S 28611 28613 28469 0 -1 64 0 285 0 0 0 0 0 0 24 0 9 0 27174827 889487360 10774 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28622] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28622/stat : 28622 (java) S 28611 28613 28469 0 -1 64 12 285 0 0 0 0 0 0 15 0 9 0 27174827 889487360 10774 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.5
Current children cumulated vsize (KiB) 868640
[startup+12.7018 s]
/proc/loadavg: 0.37 0.08 0.05 3/89 28648
/proc/meminfo: memFree=1759320/2055920 swapFree=4192812/4192956
[pid=28613] ppid=28611 vsize=868640 CPUtime=12.9
/proc/28613/stat : 28613 (java) S 28611 28613 28469 0 -1 0 17186 285 1 0 1281 9 0 0 18 0 9 0 27174823 889487360 10776 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28613/statm: 217160 10776 2658 9 0 211596 0
[pid=28613/tid=28615] ppid=28611 vsize=868640 CPUtime=12.59
/proc/28613/task/28615/stat : 28615 (java) R 28611 28613 28469 0 -1 64 11958 285 1 0 1253 6 0 0 25 0 9 0 27174824 889487360 10776 996147200 134512640 134550932 4294955968 18446744073709551615 4126914868 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28616] ppid=28611 vsize=868640 CPUtime=0.04
/proc/28613/task/28616/stat : 28616 (java) S 28611 28613 28469 0 -1 64 3649 285 0 0 4 0 0 0 16 0 9 0 27174825 889487360 10776 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28613/tid=28617] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28617/stat : 28617 (java) S 28611 28613 28469 0 -1 64 19 285 0 0 0 0 0 0 15 0 9 0 27174825 889487360 10776 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28618/stat : 28618 (java) S 28611 28613 28469 0 -1 64 9 285 0 0 0 0 0 0 15 0 9 0 27174825 889487360 10776 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28619] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28619/stat : 28619 (java) S 28611 28613 28469 0 -1 64 2 285 0 0 0 0 0 0 23 0 9 0 27174827 889487360 10776 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28620] ppid=28611 vsize=868640 CPUtime=0.23
/proc/28613/task/28620/stat : 28620 (java) S 28611 28613 28469 0 -1 64 734 285 0 0 23 0 0 0 16 0 9 0 27174827 889487360 10776 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28621] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28621/stat : 28621 (java) S 28611 28613 28469 0 -1 64 0 285 0 0 0 0 0 0 24 0 9 0 27174827 889487360 10776 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28622] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28622/stat : 28622 (java) S 28611 28613 28469 0 -1 64 12 285 0 0 0 0 0 0 15 0 9 0 27174827 889487360 10776 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.9
Current children cumulated vsize (KiB) 868640
[startup+25.5025 s]
/proc/loadavg: 0.62 0.14 0.07 4/89 28648
/proc/meminfo: memFree=1759128/2055920 swapFree=4192812/4192956
[pid=28613] ppid=28611 vsize=868640 CPUtime=25.69
/proc/28613/stat : 28613 (java) S 28611 28613 28469 0 -1 0 17188 285 1 0 2560 9 0 0 18 0 9 0 27174823 889487360 10778 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28613/statm: 217160 10778 2658 9 0 211596 0
[pid=28613/tid=28615] ppid=28611 vsize=868640 CPUtime=25.38
/proc/28613/task/28615/stat : 28615 (java) R 28611 28613 28469 0 -1 64 11960 285 1 0 2532 6 0 0 25 0 9 0 27174824 889487360 10778 996147200 134512640 134550932 4294955968 18446744073709551615 4126937194 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28616] ppid=28611 vsize=868640 CPUtime=0.04
/proc/28613/task/28616/stat : 28616 (java) S 28611 28613 28469 0 -1 64 3649 285 0 0 4 0 0 0 16 0 9 0 27174825 889487360 10778 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28613/tid=28617] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28617/stat : 28617 (java) S 28611 28613 28469 0 -1 64 19 285 0 0 0 0 0 0 15 0 9 0 27174825 889487360 10778 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28618/stat : 28618 (java) S 28611 28613 28469 0 -1 64 9 285 0 0 0 0 0 0 15 0 9 0 27174825 889487360 10778 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28619] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28619/stat : 28619 (java) S 28611 28613 28469 0 -1 64 2 285 0 0 0 0 0 0 23 0 9 0 27174827 889487360 10778 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28620] ppid=28611 vsize=868640 CPUtime=0.23
/proc/28613/task/28620/stat : 28620 (java) S 28611 28613 28469 0 -1 64 734 285 0 0 23 0 0 0 16 0 9 0 27174827 889487360 10778 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28621] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28621/stat : 28621 (java) S 28611 28613 28469 0 -1 64 0 285 0 0 0 0 0 0 24 0 9 0 27174827 889487360 10778 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28622] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28622/stat : 28622 (java) S 28611 28613 28469 0 -1 64 12 285 0 0 0 0 0 0 15 0 9 0 27174827 889487360 10778 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.69
Current children cumulated vsize (KiB) 868640
[startup+51.103 s]
/proc/loadavg: 1.09 0.29 0.12 3/89 28648
/proc/meminfo: memFree=1759128/2055920 swapFree=4192812/4192956
[pid=28613] ppid=28611 vsize=868640 CPUtime=51.28
/proc/28613/stat : 28613 (java) S 28611 28613 28469 0 -1 0 17190 285 1 0 5119 9 0 0 18 0 9 0 27174823 889487360 10780 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28613/statm: 217160 10780 2658 9 0 211596 0
[pid=28613/tid=28615] ppid=28611 vsize=868640 CPUtime=50.97
/proc/28613/task/28615/stat : 28615 (java) R 28611 28613 28469 0 -1 64 11962 285 1 0 5091 6 0 0 25 0 9 0 27174824 889487360 10780 996147200 134512640 134550932 4294955968 18446744073709551615 4126903968 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28616] ppid=28611 vsize=868640 CPUtime=0.04
/proc/28613/task/28616/stat : 28616 (java) S 28611 28613 28469 0 -1 64 3649 285 0 0 4 0 0 0 16 0 9 0 27174825 889487360 10780 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28613/tid=28617] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28617/stat : 28617 (java) S 28611 28613 28469 0 -1 64 19 285 0 0 0 0 0 0 15 0 9 0 27174825 889487360 10780 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28618/stat : 28618 (java) S 28611 28613 28469 0 -1 64 9 285 0 0 0 0 0 0 15 0 9 0 27174825 889487360 10780 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28619] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28619/stat : 28619 (java) S 28611 28613 28469 0 -1 64 2 285 0 0 0 0 0 0 23 0 9 0 27174827 889487360 10780 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28620] ppid=28611 vsize=868640 CPUtime=0.23
/proc/28613/task/28620/stat : 28620 (java) S 28611 28613 28469 0 -1 64 734 285 0 0 23 0 0 0 16 0 9 0 27174827 889487360 10780 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28621] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28621/stat : 28621 (java) S 28611 28613 28469 0 -1 64 0 285 0 0 0 0 0 0 24 0 9 0 27174827 889487360 10780 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/28613/stat : 28613 (java) S 28611 28613 28469 0 -1 0 17193 285 1 0 18553 9 0 0 18 0 9 0 27174823 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28613/statm: 217160 10783 2658 9 0 211596 0
[pid=28613/tid=28615] ppid=28611 vsize=868640 CPUtime=185.31
/proc/28613/task/28615/stat : 28615 (java) R 28611 28613 28469 0 -1 64 11965 285 1 0 18525 6 0 0 25 0 9 0 27174824 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4126905432 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28616] ppid=28611 vsize=868640 CPUtime=0.04
/proc/28613/task/28616/stat : 28616 (java) S 28611 28613 28469 0 -1 64 3649 285 0 0 4 0 0 0 16 0 9 0 27174825 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28613/tid=28617] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28617/stat : 28617 (java) S 28611 28613 28469 0 -1 64 19 285 0 0 0 0 0 0 15 0 9 0 27174825 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28618/stat : 28618 (java) S 28611 28613 28469 0 -1 64 9 285 0 0 0 0 0 0 15 0 9 0 27174825 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28619] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28619/stat : 28619 (java) S 28611 28613 28469 0 -1 64 2 285 0 0 0 0 0 0 23 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28620] ppid=28611 vsize=868640 CPUtime=0.23
/proc/28613/task/28620/stat : 28620 (java) S 28611 28613 28469 0 -1 64 734 285 0 0 23 0 0 0 16 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28621] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28621/stat : 28621 (java) S 28611 28613 28469 0 -1 64 0 285 0 0 0 0 0 0 24 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28622] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28622/stat : 28622 (java) S 28611 28613 28469 0 -1 64 12 285 0 0 0 0 0 0 15 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 185.62
Current children cumulated vsize (KiB) 868640
[startup+191.901 s]
/proc/loadavg: 1.91 0.93 0.38 3/89 28648
/proc/meminfo: memFree=1758680/2055920 swapFree=4192812/4192956
[pid=28613] ppid=28611 vsize=868640 CPUtime=192.02
/proc/28613/stat : 28613 (java) S 28611 28613 28469 0 -1 0 17193 285 1 0 19193 9 0 0 18 0 9 0 27174823 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28613/statm: 217160 10783 2658 9 0 211596 0
[pid=28613/tid=28615] ppid=28611 vsize=868640 CPUtime=191.71
/proc/28613/task/28615/stat : 28615 (java) R 28611 28613 28469 0 -1 64 11965 285 1 0 19165 6 0 0 25 0 9 0 27174824 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4126896830 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28616] ppid=28611 vsize=868640 CPUtime=0.04
/proc/28613/task/28616/stat : 28616 (java) S 28611 28613 28469 0 -1 64 3649 285 0 0 4 0 0 0 16 0 9 0 27174825 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28613/tid=28617] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28617/stat : 28617 (java) S 28611 28613 28469 0 -1 64 19 285 0 0 0 0 0 0 15 0 9 0 27174825 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28618/stat : 28618 (java) S 28611 28613 28469 0 -1 64 9 285 0 0 0 0 0 0 15 0 9 0 27174825 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28619] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28619/stat : 28619 (java) S 28611 28613 28469 0 -1 64 2 285 0 0 0 0 0 0 23 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28620] ppid=28611 vsize=868640 CPUtime=0.23
/proc/28613/task/28620/stat : 28620 (java) S 28611 28613 28469 0 -1 64 734 285 0 0 23 0 0 0 16 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28621] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28621/stat : 28621 (java) S 28611 28613 28469 0 -1 64 0 285 0 0 0 0 0 0 24 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28622] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28622/stat : 28622 (java) S 28611 28613 28469 0 -1 64 12 285 0 0 0 0 0 0 15 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 192.02
Current children cumulated vsize (KiB) 868640
[startup+195.103 s]
/proc/loadavg: 1.92 0.94 0.39 3/89 28648
/proc/meminfo: memFree=1758744/2055920 swapFree=4192812/4192956
[pid=28613] ppid=28611 vsize=868640 CPUtime=195.22
/proc/28613/stat : 28613 (java) S 28611 28613 28469 0 -1 0 17193 285 1 0 19513 9 0 0 18 0 9 0 27174823 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28613/statm: 217160 10783 2658 9 0 211596 0
[pid=28613/tid=28615] ppid=28611 vsize=868640 CPUtime=194.91
/proc/28613/task/28615/stat : 28615 (java) R 28611 28613 28469 0 -1 64 11965 285 1 0 19485 6 0 0 25 0 9 0 27174824 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4126922403 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28616] ppid=28611 vsize=868640 CPUtime=0.04
/proc/28613/task/28616/stat : 28616 (java) S 28611 28613 28469 0 -1 64 3649 285 0 0 4 0 0 0 16 0 9 0 27174825 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28613/tid=28617] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28617/stat : 28617 (java) S 28611 28613 28469 0 -1 64 19 285 0 0 0 0 0 0 15 0 9 0 27174825 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28618/stat : 28618 (java) S 28611 28613 28469 0 -1 64 9 285 0 0 0 0 0 0 15 0 9 0 27174825 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28619] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28619/stat : 28619 (java) S 28611 28613 28469 0 -1 64 2 285 0 0 0 0 0 0 23 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28620] ppid=28611 vsize=868640 CPUtime=0.23
/proc/28613/task/28620/stat : 28620 (java) S 28611 28613 28469 0 -1 64 734 285 0 0 23 0 0 0 16 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28621] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28621/stat : 28621 (java) S 28611 28613 28469 0 -1 64 0 285 0 0 0 0 0 0 24 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28622] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28622/stat : 28622 (java) S 28611 28613 28469 0 -1 64 12 285 0 0 0 0 0 0 15 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 195.22
Current children cumulated vsize (KiB) 868640
[startup+196.703 s]
/proc/loadavg: 1.92 0.94 0.39 3/89 28648
/proc/meminfo: memFree=1758744/2055920 swapFree=4192812/4192956
[pid=28613] ppid=28611 vsize=868640 CPUtime=196.82
/proc/28613/stat : 28613 (java) S 28611 28613 28469 0 -1 0 17193 285 1 0 19673 9 0 0 18 0 9 0 27174823 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28613/statm: 217160 10783 2658 9 0 211596 0
[pid=28613/tid=28615] ppid=28611 vsize=868640 CPUtime=196.51
/proc/28613/task/28615/stat : 28615 (java) R 28611 28613 28469 0 -1 64 11965 285 1 0 19645 6 0 0 25 0 9 0 27174824 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4125952241 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28616] ppid=28611 vsize=868640 CPUtime=0.04
/proc/28613/task/28616/stat : 28616 (java) S 28611 28613 28469 0 -1 64 3649 285 0 0 4 0 0 0 16 0 9 0 27174825 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28613/tid=28617] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28617/stat : 28617 (java) S 28611 28613 28469 0 -1 64 19 285 0 0 0 0 0 0 15 0 9 0 27174825 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28618/stat : 28618 (java) S 28611 28613 28469 0 -1 64 9 285 0 0 0 0 0 0 15 0 9 0 27174825 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28619] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28619/stat : 28619 (java) S 28611 28613 28469 0 -1 64 2 285 0 0 0 0 0 0 23 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28620] ppid=28611 vsize=868640 CPUtime=0.23
/proc/28613/task/28620/stat : 28620 (java) S 28611 28613 28469 0 -1 64 734 285 0 0 23 0 0 0 16 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28621] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28621/stat : 28621 (java) S 28611 28613 28469 0 -1 64 0 285 0 0 0 0 0 0 24 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28622] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28622/stat : 28622 (java) S 28611 28613 28469 0 -1 64 12 285 0 0 0 0 0 0 15 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 196.82
Current children cumulated vsize (KiB) 868640
[startup+197.503 s]
/proc/loadavg: 1.92 0.96 0.40 3/89 28648
/proc/meminfo: memFree=1758744/2055920 swapFree=4192812/4192956
[pid=28613] ppid=28611 vsize=868640 CPUtime=197.62
/proc/28613/stat : 28613 (java) S 28611 28613 28469 0 -1 0 17193 285 1 0 19753 9 0 0 18 0 9 0 27174823 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28613/statm: 217160 10783 2658 9 0 211596 0
[pid=28613/tid=28615] ppid=28611 vsize=868640 CPUtime=197.31
/proc/28613/task/28615/stat : 28615 (java) R 28611 28613 28469 0 -1 64 11965 285 1 0 19725 6 0 0 25 0 9 0 27174824 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4126905414 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28616] ppid=28611 vsize=868640 CPUtime=0.04
/proc/28613/task/28616/stat : 28616 (java) S 28611 28613 28469 0 -1 64 3649 285 0 0 4 0 0 0 16 0 9 0 27174825 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28613/tid=28617] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28617/stat : 28617 (java) S 28611 28613 28469 0 -1 64 19 285 0 0 0 0 0 0 15 0 9 0 27174825 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28618/stat : 28618 (java) S 28611 28613 28469 0 -1 64 9 285 0 0 0 0 0 0 15 0 9 0 27174825 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28619] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28619/stat : 28619 (java) S 28611 28613 28469 0 -1 64 2 285 0 0 0 0 0 0 23 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28620] ppid=28611 vsize=868640 CPUtime=0.23
/proc/28613/task/28620/stat : 28620 (java) S 28611 28613 28469 0 -1 64 734 285 0 0 23 0 0 0 16 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28621] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28621/stat : 28621 (java) S 28611 28613 28469 0 -1 64 0 285 0 0 0 0 0 0 24 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28622] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28622/stat : 28622 (java) S 28611 28613 28469 0 -1 64 12 285 0 0 0 0 0 0 15 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 197.62
Current children cumulated vsize (KiB) 868640
[startup+197.903 s]
/proc/loadavg: 1.92 0.96 0.40 3/89 28648
/proc/meminfo: memFree=1758744/2055920 swapFree=4192812/4192956
[pid=28613] ppid=28611 vsize=868640 CPUtime=198.02
/proc/28613/stat : 28613 (java) S 28611 28613 28469 0 -1 0 17193 285 1 0 19793 9 0 0 18 0 9 0 27174823 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28613/statm: 217160 10783 2658 9 0 211596 0
[pid=28613/tid=28615] ppid=28611 vsize=868640 CPUtime=197.71
/proc/28613/task/28615/stat : 28615 (java) R 28611 28613 28469 0 -1 64 11965 285 1 0 19765 6 0 0 25 0 9 0 27174824 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4126903313 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28616] ppid=28611 vsize=868640 CPUtime=0.04
/proc/28613/task/28616/stat : 28616 (java) S 28611 28613 28469 0 -1 64 3649 285 0 0 4 0 0 0 16 0 9 0 27174825 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28613/tid=28617] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28617/stat : 28617 (java) S 28611 28613 28469 0 -1 64 19 285 0 0 0 0 0 0 15 0 9 0 27174825 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28618/stat : 28618 (java) S 28611 28613 28469 0 -1 64 9 285 0 0 0 0 0 0 15 0 9 0 27174825 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28619] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28619/stat : 28619 (java) S 28611 28613 28469 0 -1 64 2 285 0 0 0 0 0 0 23 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28620] ppid=28611 vsize=868640 CPUtime=0.23
/proc/28613/task/28620/stat : 28620 (java) S 28611 28613 28469 0 -1 64 734 285 0 0 23 0 0 0 16 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28621] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28621/stat : 28621 (java) S 28611 28613 28469 0 -1 64 0 285 0 0 0 0 0 0 24 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28622] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28622/stat : 28622 (java) S 28611 28613 28469 0 -1 64 12 285 0 0 0 0 0 0 15 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 198.02
Current children cumulated vsize (KiB) 868640
[startup+198.008 s]
/proc/loadavg: 1.92 0.96 0.40 3/89 28648
/proc/meminfo: memFree=1758744/2055920 swapFree=4192812/4192956
[pid=28613] ppid=28611 vsize=868640 CPUtime=198.12
/proc/28613/stat : 28613 (java) S 28611 28613 28469 0 -1 0 17193 285 1 0 19803 9 0 0 18 0 9 0 27174823 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28613/statm: 217160 10783 2658 9 0 211596 0
[pid=28613/tid=28615] ppid=28611 vsize=868640 CPUtime=197.81
/proc/28613/task/28615/stat : 28615 (java) R 28611 28613 28469 0 -1 64 11965 285 1 0 19775 6 0 0 25 0 9 0 27174824 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4126893086 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28616] ppid=28611 vsize=868640 CPUtime=0.04
/proc/28613/task/28616/stat : 28616 (java) S 28611 28613 28469 0 -1 64 3649 285 0 0 4 0 0 0 16 0 9 0 27174825 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28613/tid=28617] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28617/stat : 28617 (java) S 28611 28613 28469 0 -1 64 19 285 0 0 0 0 0 0 15 0 9 0 27174825 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28618/stat : 28618 (java) S 28611 28613 28469 0 -1 64 9 285 0 0 0 0 0 0 15 0 9 0 27174825 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28619] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28619/stat : 28619 (java) S 28611 28613 28469 0 -1 64 2 285 0 0 0 0 0 0 23 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28620] ppid=28611 vsize=868640 CPUtime=0.23
/proc/28613/task/28620/stat : 28620 (java) S 28611 28613 28469 0 -1 64 734 285 0 0 23 0 0 0 16 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28621] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28621/stat : 28621 (java) S 28611 28613 28469 0 -1 64 0 285 0 0 0 0 0 0 24 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28613/tid=28622] ppid=28611 vsize=868640 CPUtime=0
/proc/28613/task/28622/stat : 28622 (java) S 28611 28613 28469 0 -1 64 12 285 0 0 0 0 0 0 15 0 9 0 27174827 889487360 10783 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 198.12
Current children cumulated vsize (KiB) 868640
Child status: 0
Real time (s): 198.075
CPU time (s): 198.163
CPU user time (s): 198.047
CPU system time (s): 0.115982
CPU usage (%): 100.045
Max. virtual memory (cumulated for all children) (KiB): 868640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 198.047
system time used= 0.115982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17597
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= 4335
involuntary context switches= 860
runsolver used 0.277957 second user time and 0.635903 second system time
The end
Begin job on node71 at 2009-07-12 14:18:42
IDJOB=2093077
IDBENCH=53362
IDSOLVER=773
FILE ID=node71/2093077-1247401122
PBS_JOBID= 9510505
Free space on /tmp= 66400 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rand-2-24/normalized-rand-24-24-276-139-52021_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-2093077-1247401122/watcher-2093077-1247401122 -o /tmp/evaluation-result-2093077-1247401122/solver-2093077-1247401122 -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-2093077-1247401122.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 49ce3e32b05aa6cc23a5adb02bd3edad
RANDOM SEED=385905840
node71.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.222
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.222
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: 1830696 kB
Buffers: 35116 kB
Cached: 121556 kB
SwapCached: 0 kB
Active: 98736 kB
Inactive: 73272 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1830696 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2484 kB
Writeback: 0 kB
Mapped: 25116 kB
Slab: 38868 kB
Committed_AS: 179028 kB
PageTables: 1664 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= 66392 MiB
End job on node71 at 2009-07-12 14:22:01