0.04/0.09
0.04/0.09 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=mrdac-wdeg.xml
0.28/0.33
0.28/0.33 instance
0.28/0.33 name=HOME/instance-1127537-1216772147.xml
0.28/0.37
0.28/0.37 domains being loaded...
0.28/0.38
0.28/0.38 variables being loaded...
0.38/0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=80
0.38/0.40 => wckTime=0.154 cpuTime=0.11 mem=6M867
0.38/0.40
0.38/0.40 relations being loaded...
0.38/0.41
0.38/0.41 constraints being loaded...
0.68/0.79 nbConstraints=1549 nbRelationTypes=42 nbExtensionStructures=42 nbSharedExtensionStructures=1507
0.68/0.79 nbConflictsStructures=42 nbSharedConflictsStructures=1507 nbSharedBinaryRepresentations=0 minDegree=95
0.68/0.79 maxDegree=138 minArity=3 maxArity=3
0.68/0.79 => wckTime=0.548 cpuTime=0.35 mem=15M693
0.78/0.86
0.78/0.86 solver LocalSearchSolver being built...
0.87/0.91 => wckTime=0.665 cpuTime=0.39 mem=6M760
0.87/0.92
0.87/0.92 s SATISFIABLE
0.87/0.92 o 196
0.87/0.92 o 186
0.87/0.92 o 182
0.87/0.92 o 174
0.87/0.92 o 168
0.87/0.92 o 166
0.87/0.92 o 159
0.87/0.92 o 153
0.87/0.93 o 148
0.87/0.93 o 146
0.87/0.93 o 144
0.87/0.93 o 140
1.38/1.43 o 139
9.31/9.44
9.31/9.44 search
9.31/9.44 run=0 nbConstraintChecks=35056767 nbAssignments=10000
9.31/9.44 => wckTime=8.536 cpuTime=8.45 mem=7M801
17.83/18.04
17.83/18.04 search
17.83/18.04 run=1 nbConstraintChecks=70907013 nbAssignments=20000
17.83/18.04 => wckTime=17.136 cpuTime=16.97 mem=7M801
26.16/26.42
26.16/26.42 search
26.16/26.42 run=2 nbConstraintChecks=105918607 nbAssignments=30000
26.16/26.42 => wckTime=25.513 cpuTime=25.28 mem=7M801
31.42/31.70
31.42/31.70 search
31.42/31.70 run=3 nbConstraintChecks=127936833 nbAssignments=36141
31.42/31.70 => wckTime=30.795 cpuTime=30.52 mem=7M801
31.42/31.70
31.42/31.70 global
31.42/31.70 nbConstraintChecks=127936833 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.42/31.70 solvingWckTime=30.794 solvingCpuTime=30.52 expiredTime=no totalExploration=no nbFoundSolutions=0
31.42/31.70 globalCpuTime=30.97
31.42/31.70 => wckTime=31.459 cpuTime=30.91 mem=7M801
31.42/31.71
31.42/31.71 solver DecomposerSolver being built...
31.52/31.88 => wckTime=31.639 cpuTime=31.06 mem=28M573
31.52/31.90
31.52/31.90 preprocessing
31.52/31.90 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.52/31.90 detectedInconsistency=no
31.52/31.90 => wckTime=0.015 cpuTime=0.01 mem=28M573
3600.06/3604.72 v 1 0 1 0 0 0 0 0 1 1 1 0 1 1 0 0 0 1 1 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 1 1 0 0 0 0
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1127537-1216772147/watcher-1127537-1216772147 -o /tmp/evaluation-result-1127537-1216772147/solver-1127537-1216772147 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1127537-1216772147.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.03 2.00 3/74 5786
/proc/meminfo: memFree=1400928/2055920 swapFree=4192956/4192956
[pid=5786] ppid=5784 vsize=1616 CPUtime=0
/proc/5786/stat : 5786 (java) R 5784 5786 5168 0 -1 0 178 0 0 0 0 0 0 0 18 0 1 0 4305322 1654784 147 996147200 134512640 134550740 4294956128 18446744073709551615 8014432 0 0 4096 0 0 0 0 17 0 0 0
/proc/5786/statm: 404 148 122 9 0 46 0
[startup+0.062123 s]
/proc/loadavg: 2.06 2.03 2.00 3/74 5786
/proc/meminfo: memFree=1400928/2055920 swapFree=4192956/4192956
[pid=5786] ppid=5784 vsize=864076 CPUtime=0.04
/proc/5786/stat : 5786 (java) S 5784 5786 5168 0 -1 0 2756 0 1 0 3 1 0 0 18 0 9 0 4305322 884813824 2302 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5786/statm: 216019 2302 1100 9 0 210976 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864076
[startup+0.101113 s]
/proc/loadavg: 2.06 2.03 2.00 3/74 5786
/proc/meminfo: memFree=1400928/2055920 swapFree=4192956/4192956
[pid=5786] ppid=5784 vsize=865984 CPUtime=0.08
/proc/5786/stat : 5786 (java) S 5784 5786 5168 0 -1 0 3702 0 1 0 7 1 0 0 18 0 9 0 4305322 886767616 3175 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5786/statm: 216496 3175 1679 9 0 211051 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301082 s]
/proc/loadavg: 2.06 2.03 2.00 3/74 5786
/proc/meminfo: memFree=1400928/2055920 swapFree=4192956/4192956
[pid=5786] ppid=5784 vsize=866156 CPUtime=0.28
/proc/5786/stat : 5786 (java) S 5784 5786 5168 0 -1 0 5592 0 1 0 25 3 0 0 18 0 9 0 4305322 886943744 5007 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5786/statm: 216539 5007 1905 9 0 211087 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866156
[startup+0.701007 s]
/proc/loadavg: 2.06 2.03 2.00 3/74 5786
/proc/meminfo: memFree=1400928/2055920 swapFree=4192956/4192956
[pid=5786] ppid=5784 vsize=867400 CPUtime=0.68
/proc/5786/stat : 5786 (java) S 5784 5786 5168 0 -1 0 7733 0 1 0 64 4 0 0 18 0 9 0 4305322 888217600 7094 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5786/statm: 216850 7094 1978 9 0 211378 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867400
[startup+1.50286 s]
/proc/loadavg: 2.05 2.02 2.00 3/83 5795
/proc/meminfo: memFree=1373528/2055920 swapFree=4192956/4192956
[pid=5786] ppid=5784 vsize=867600 CPUtime=1.47
/proc/5786/stat : 5786 (java) S 5784 5786 5168 0 -1 0 10249 0 1 0 138 9 0 0 18 0 9 0 4305322 888422400 9416 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5786/statm: 216900 9416 2632 9 0 211406 0
[pid=5786/tid=5788] ppid=5784 vsize=867600 CPUtime=1.19
/proc/5786/task/5788/stat : 5788 (java) R 5784 5786 5168 0 -1 64 7506 0 1 0 111 8 0 0 25 0 9 0 4305323 888422400 9416 996147200 134512640 134550740 4294955952 18446744073709551615 4126944216 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5789] ppid=5784 vsize=867600 CPUtime=0.05
/proc/5786/task/5789/stat : 5789 (java) S 5784 5786 5168 0 -1 64 1433 0 0 0 5 0 0 0 16 0 9 0 4305325 888422400 9416 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5790] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5790/stat : 5790 (java) S 5784 5786 5168 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4305325 888422400 9416 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5791] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5791/stat : 5791 (java) S 5784 5786 5168 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4305325 888422400 9416 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5792] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5792/stat : 5792 (java) S 5784 5786 5168 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 4305327 888422400 9416 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5793] ppid=5784 vsize=867600 CPUtime=0.21
/proc/5786/task/5793/stat : 5793 (java) S 5784 5786 5168 0 -1 64 614 0 0 0 21 0 0 0 16 0 9 0 4305327 888422400 9416 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5794] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5794/stat : 5794 (java) S 5784 5786 5168 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4305327 888422400 9416 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5795] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5795/stat : 5795 (java) S 5784 5786 5168 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4305327 888422400 9416 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867600
[startup+3.10157 s]
/proc/loadavg: 2.05 2.02 2.00 3/83 5795
/proc/meminfo: memFree=1373336/2055920 swapFree=4192956/4192956
[pid=5786] ppid=5784 vsize=867600 CPUtime=3.05
/proc/5786/stat : 5786 (java) S 5784 5786 5168 0 -1 0 10258 0 1 0 287 18 0 0 18 0 9 0 4305322 888422400 9424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5786/statm: 216900 9424 2634 9 0 211406 0
[pid=5786/tid=5788] ppid=5784 vsize=867600 CPUtime=2.77
/proc/5786/task/5788/stat : 5788 (java) R 5784 5786 5168 0 -1 64 7507 0 1 0 260 17 0 0 25 0 9 0 4305323 888422400 9424 996147200 134512640 134550740 4294955952 18446744073709551615 4126944121 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5789] ppid=5784 vsize=867600 CPUtime=0.05
/proc/5786/task/5789/stat : 5789 (java) S 5784 5786 5168 0 -1 64 1433 0 0 0 5 0 0 0 16 0 9 0 4305325 888422400 9424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5790] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5790/stat : 5790 (java) S 5784 5786 5168 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4305325 888422400 9424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5791] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5791/stat : 5791 (java) S 5784 5786 5168 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4305325 888422400 9424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5792] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5792/stat : 5792 (java) S 5784 5786 5168 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 4305327 888422400 9424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5793] ppid=5784 vsize=867600 CPUtime=0.22
/proc/5786/task/5793/stat : 5793 (java) S 5784 5786 5168 0 -1 64 622 0 0 0 22 0 0 0 16 0 9 0 4305327 888422400 9424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5794] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5794/stat : 5794 (java) S 5784 5786 5168 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4305327 888422400 9424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5795] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5795/stat : 5795 (java) S 5784 5786 5168 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4305327 888422400 9424 996147200 134512640 134550740 4294955952 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) 867600
[startup+6.30298 s]
/proc/loadavg: 2.05 2.02 2.00 3/83 5795
/proc/meminfo: memFree=1373080/2055920 swapFree=4192956/4192956
[pid=5786] ppid=5784 vsize=867600 CPUtime=6.23
/proc/5786/stat : 5786 (java) S 5784 5786 5168 0 -1 0 10259 0 1 0 586 37 0 0 18 0 9 0 4305322 888422400 9424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5786/statm: 216900 9424 2634 9 0 211406 0
[pid=5786/tid=5788] ppid=5784 vsize=867600 CPUtime=5.94
/proc/5786/task/5788/stat : 5788 (java) R 5784 5786 5168 0 -1 64 7508 0 1 0 559 35 0 0 25 0 9 0 4305323 888422400 9424 996147200 134512640 134550740 4294955952 18446744073709551615 4126944100 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5789] ppid=5784 vsize=867600 CPUtime=0.05
/proc/5786/task/5789/stat : 5789 (java) S 5784 5786 5168 0 -1 64 1433 0 0 0 5 0 0 0 16 0 9 0 4305325 888422400 9424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5790] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5790/stat : 5790 (java) S 5784 5786 5168 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4305325 888422400 9424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5791] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5791/stat : 5791 (java) S 5784 5786 5168 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4305325 888422400 9424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5792] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5792/stat : 5792 (java) S 5784 5786 5168 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 4305327 888422400 9424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5793] ppid=5784 vsize=867600 CPUtime=0.22
/proc/5786/task/5793/stat : 5793 (java) S 5784 5786 5168 0 -1 64 622 0 0 0 22 0 0 0 16 0 9 0 4305327 888422400 9424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5794] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5794/stat : 5794 (java) S 5784 5786 5168 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4305327 888422400 9424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5795] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5795/stat : 5795 (java) S 5784 5786 5168 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4305327 888422400 9424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867600
[startup+12.7028 s]
/proc/loadavg: 2.05 2.02 2.00 3/83 5795
/proc/meminfo: memFree=1372952/2055920 swapFree=4192956/4192956
[pid=5786] ppid=5784 vsize=867600 CPUtime=12.58
/proc/5786/stat : 5786 (java) S 5784 5786 5168 0 -1 0 10265 0 1 0 1183 75 0 0 18 0 9 0 4305322 888422400 9430 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5786/statm: 216900 9430 2635 9 0 211406 0
[pid=5786/tid=5788] ppid=5784 vsize=867600 CPUtime=12.28
/proc/5786/task/5788/stat : 5788 (java) R 5784 5786 5168 0 -1 64 7508 0 1 0 1155 73 0 0 25 0 9 0 4305323 888422400 9430 996147200 134512640 134550740 4294955952 18446744073709551615 4126944201 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5789] ppid=5784 vsize=867600 CPUtime=0.05
/proc/5786/task/5789/stat : 5789 (java) S 5784 5786 5168 0 -1 64 1433 0 0 0 5 0 0 0 16 0 9 0 4305325 888422400 9430 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5790] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5790/stat : 5790 (java) S 5784 5786 5168 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4305325 888422400 9430 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5791] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5791/stat : 5791 (java) S 5784 5786 5168 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4305325 888422400 9430 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5792] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5792/stat : 5792 (java) S 5784 5786 5168 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 4305327 888422400 9430 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5793] ppid=5784 vsize=867600 CPUtime=0.22
/proc/5786/task/5793/stat : 5793 (java) S 5784 5786 5168 0 -1 64 628 0 0 0 22 0 0 0 17 0 9 0 4305327 888422400 9430 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5794] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5794/stat : 5794 (java) S 5784 5786 5168 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4305327 888422400 9430 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5795] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5795/stat : 5795 (java) S 5784 5786 5168 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4305327 888422400 9430 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 867600
[startup+25.5015 s]
/proc/loadavg: 2.04 2.02 2.00 3/83 5795
/proc/meminfo: memFree=1372952/2055920 swapFree=4192956/4192956
[pid=5786] ppid=5784 vsize=867600 CPUtime=25.27
/proc/5786/stat : 5786 (java) S 5784 5786 5168 0 -1 0 10265 0 1 0 2374 153 0 0 18 0 9 0 4305322 888422400 9430 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5786/statm: 216900 9430 2635 9 0 211406 0
[pid=5786/tid=5788] ppid=5784 vsize=867600 CPUtime=24.97
/proc/5786/task/5788/stat : 5788 (java) R 5784 5786 5168 0 -1 64 7508 0 1 0 2345 152 0 0 25 0 9 0 4305323 888422400 9430 996147200 134512640 134550740 4294955952 18446744073709551615 4126945228 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5789] ppid=5784 vsize=867600 CPUtime=0.05
/proc/5786/task/5789/stat : 5789 (java) S 5784 5786 5168 0 -1 64 1433 0 0 0 5 0 0 0 16 0 9 0 4305325 888422400 9430 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5790] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5790/stat : 5790 (java) S 5784 5786 5168 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4305325 888422400 9430 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5791] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5791/stat : 5791 (java) S 5784 5786 5168 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4305325 888422400 9430 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5792] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5792/stat : 5792 (java) S 5784 5786 5168 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 4305327 888422400 9430 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5793] ppid=5784 vsize=867600 CPUtime=0.22
/proc/5786/task/5793/stat : 5793 (java) S 5784 5786 5168 0 -1 64 628 0 0 0 22 0 0 0 17 0 9 0 4305327 888422400 9430 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5794] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5794/stat : 5794 (java) S 5784 5786 5168 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4305327 888422400 9430 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5795] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5795/stat : 5795 (java) S 5784 5786 5168 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4305327 888422400 9430 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 867600
[startup+51.1019 s]
/proc/loadavg: 2.02 2.02 2.00 3/83 5795
/proc/meminfo: memFree=1359384/2055920 swapFree=4192956/4192956
[pid=5786] ppid=5784 vsize=867600 CPUtime=50.64
/proc/5786/stat : 5786 (java) S 5784 5786 5168 0 -1 0 13491 0 1 0 4869 195 0 0 18 0 9 0 4305322 888422400 12650 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5786/statm: 216900 12650 2636 9 0 211406 0
[pid=5786/tid=5788] ppid=5784 vsize=867600 CPUtime=50.24
/proc/5786/task/5788/stat : 5788 (java) R 5784 5786 5168 0 -1 64 10684 0 1 0 4831 193 0 0 25 0 9 0 4305323 888422400 12650 996147200 134512640 134550740 4294955952 18446744073709551615 4127061104 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5789] ppid=5784 vsize=867600 CPUtime=0.05
/proc/5786/task/5789/stat : 5789 (java) S 5784 5786 5168 0 -1 64 1433 0 0 0 5 0 0 0 16 0 9 0 4305325 888422400 12650 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5790] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5790/stat : 5790 (java) S 5784 5786 5168 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4305325 888422400 12650 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5791] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5791/stat : 5791 (java) S 5784 5786 5168 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4305325 888422400 12650 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5792] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5792/stat : 5792 (java) S 5784 5786 5168 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 4305327 888422400 12650 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5793] ppid=5784 vsize=867600 CPUtime=0.32
/proc/5786/task/5793/stat : 5793 (java) S 5784 5786 5168 0 -1 64 678 0 0 0 32 0 0 0 16 0 9 0 4305327 888422400 12650 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5794] ppid=5784 vsize=867600 CPUtime=0
################
# More data... #
################
/proc/5786/task/5791/stat : 5791 (java) S 5784 5786 5168 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4305325 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5792] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5792/stat : 5792 (java) S 5784 5786 5168 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5793] ppid=5784 vsize=867600 CPUtime=0.32
/proc/5786/task/5793/stat : 5793 (java) S 5784 5786 5168 0 -1 64 678 0 0 0 32 0 0 0 16 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5794] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5794/stat : 5794 (java) S 5784 5786 5168 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5795] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5795/stat : 5795 (java) S 5784 5786 5168 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3337.68
Current children cumulated vsize (KiB) 867600
[startup+3402.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 6327
/proc/meminfo: memFree=1413088/2055920 swapFree=4192956/4192956
[pid=5786] ppid=5784 vsize=867600 CPUtime=3397.67
/proc/5786/stat : 5786 (java) S 5784 5786 5168 0 -1 0 13495 0 1 0 339562 205 0 0 18 0 9 0 4305322 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5786/statm: 216900 12654 2636 9 0 211406 0
[pid=5786/tid=5788] ppid=5784 vsize=867600 CPUtime=3397.27
/proc/5786/task/5788/stat : 5788 (java) R 5784 5786 5168 0 -1 64 10688 0 1 0 339524 203 0 0 25 0 9 0 4305323 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4127069512 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5786/tid=5789] ppid=5784 vsize=867600 CPUtime=0.05
/proc/5786/task/5789/stat : 5789 (java) S 5784 5786 5168 0 -1 64 1433 0 0 0 5 0 0 0 16 0 9 0 4305325 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5790] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5790/stat : 5790 (java) S 5784 5786 5168 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4305325 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5791] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5791/stat : 5791 (java) S 5784 5786 5168 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4305325 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5792] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5792/stat : 5792 (java) S 5784 5786 5168 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5793] ppid=5784 vsize=867600 CPUtime=0.32
/proc/5786/task/5793/stat : 5793 (java) S 5784 5786 5168 0 -1 64 678 0 0 0 32 0 0 0 16 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5794] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5794/stat : 5794 (java) S 5784 5786 5168 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5795] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5795/stat : 5795 (java) S 5784 5786 5168 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3397.67
Current children cumulated vsize (KiB) 867600
[startup+3462.3 s]
/proc/loadavg: 2.12 2.04 2.01 4/90 6327
/proc/meminfo: memFree=1412960/2055920 swapFree=4192956/4192956
[pid=5786] ppid=5784 vsize=867600 CPUtime=3457.66
/proc/5786/stat : 5786 (java) S 5784 5786 5168 0 -1 0 13495 0 1 0 345561 205 0 0 18 0 9 0 4305322 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5786/statm: 216900 12654 2636 9 0 211406 0
[pid=5786/tid=5788] ppid=5784 vsize=867600 CPUtime=3457.27
/proc/5786/task/5788/stat : 5788 (java) R 5784 5786 5168 0 -1 64 10688 0 1 0 345523 204 0 0 25 0 9 0 4305323 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4127082711 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5786/tid=5789] ppid=5784 vsize=867600 CPUtime=0.05
/proc/5786/task/5789/stat : 5789 (java) S 5784 5786 5168 0 -1 64 1433 0 0 0 5 0 0 0 16 0 9 0 4305325 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5790] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5790/stat : 5790 (java) S 5784 5786 5168 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4305325 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5791] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5791/stat : 5791 (java) S 5784 5786 5168 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4305325 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5792] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5792/stat : 5792 (java) S 5784 5786 5168 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5793] ppid=5784 vsize=867600 CPUtime=0.32
/proc/5786/task/5793/stat : 5793 (java) S 5784 5786 5168 0 -1 64 678 0 0 0 32 0 0 0 16 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5794] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5794/stat : 5794 (java) S 5784 5786 5168 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5795] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5795/stat : 5795 (java) S 5784 5786 5168 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3457.66
Current children cumulated vsize (KiB) 867600
[startup+3522.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/90 6327
/proc/meminfo: memFree=1412960/2055920 swapFree=4192956/4192956
[pid=5786] ppid=5784 vsize=867600 CPUtime=3517.66
/proc/5786/stat : 5786 (java) S 5784 5786 5168 0 -1 0 13495 0 1 0 351561 205 0 0 18 0 9 0 4305322 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5786/statm: 216900 12654 2636 9 0 211406 0
[pid=5786/tid=5788] ppid=5784 vsize=867600 CPUtime=3517.26
/proc/5786/task/5788/stat : 5788 (java) R 5784 5786 5168 0 -1 64 10688 0 1 0 351522 204 0 0 25 0 9 0 4305323 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4127029185 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5786/tid=5789] ppid=5784 vsize=867600 CPUtime=0.05
/proc/5786/task/5789/stat : 5789 (java) S 5784 5786 5168 0 -1 64 1433 0 0 0 5 0 0 0 16 0 9 0 4305325 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5790] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5790/stat : 5790 (java) S 5784 5786 5168 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4305325 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5791] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5791/stat : 5791 (java) S 5784 5786 5168 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4305325 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5792] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5792/stat : 5792 (java) S 5784 5786 5168 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5793] ppid=5784 vsize=867600 CPUtime=0.32
/proc/5786/task/5793/stat : 5793 (java) S 5784 5786 5168 0 -1 64 678 0 0 0 32 0 0 0 16 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5794] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5794/stat : 5794 (java) S 5784 5786 5168 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5795] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5795/stat : 5795 (java) S 5784 5786 5168 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3517.66
Current children cumulated vsize (KiB) 867600
[startup+3582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/90 6327
/proc/meminfo: memFree=1412896/2055920 swapFree=4192956/4192956
[pid=5786] ppid=5784 vsize=867600 CPUtime=3577.65
/proc/5786/stat : 5786 (java) S 5784 5786 5168 0 -1 0 13495 0 1 0 357560 205 0 0 18 0 9 0 4305322 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5786/statm: 216900 12654 2636 9 0 211406 0
[pid=5786/tid=5788] ppid=5784 vsize=867600 CPUtime=3577.25
/proc/5786/task/5788/stat : 5788 (java) R 5784 5786 5168 0 -1 64 10688 0 1 0 357521 204 0 0 25 0 9 0 4305323 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4127062069 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5786/tid=5789] ppid=5784 vsize=867600 CPUtime=0.05
/proc/5786/task/5789/stat : 5789 (java) S 5784 5786 5168 0 -1 64 1433 0 0 0 5 0 0 0 16 0 9 0 4305325 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5790] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5790/stat : 5790 (java) S 5784 5786 5168 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4305325 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5791] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5791/stat : 5791 (java) S 5784 5786 5168 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4305325 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5792] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5792/stat : 5792 (java) S 5784 5786 5168 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5793] ppid=5784 vsize=867600 CPUtime=0.32
/proc/5786/task/5793/stat : 5793 (java) S 5784 5786 5168 0 -1 64 678 0 0 0 32 0 0 0 16 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5794] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5794/stat : 5794 (java) S 5784 5786 5168 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5795] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5795/stat : 5795 (java) S 5784 5786 5168 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3577.65
Current children cumulated vsize (KiB) 867600
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3604.71 s]
/proc/loadavg: 2.01 2.02 2.00 3/90 6327
/proc/meminfo: memFree=1412896/2055920 swapFree=4192956/4192956
[pid=5786] ppid=5784 vsize=867600 CPUtime=3600.06
/proc/5786/stat : 5786 (java) S 5784 5786 5168 0 -1 0 13495 0 1 0 359801 205 0 0 18 0 9 0 4305322 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5786/statm: 216900 12654 2636 9 0 211406 0
[pid=5786/tid=5788] ppid=5784 vsize=867600 CPUtime=3599.66
/proc/5786/task/5788/stat : 5788 (java) R 5784 5786 5168 0 -1 64 10688 0 1 0 359762 204 0 0 25 0 9 0 4305323 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4127061414 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5786/tid=5789] ppid=5784 vsize=867600 CPUtime=0.05
/proc/5786/task/5789/stat : 5789 (java) S 5784 5786 5168 0 -1 64 1433 0 0 0 5 0 0 0 16 0 9 0 4305325 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5790] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5790/stat : 5790 (java) S 5784 5786 5168 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4305325 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5791] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5791/stat : 5791 (java) S 5784 5786 5168 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4305325 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5792] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5792/stat : 5792 (java) S 5784 5786 5168 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5793] ppid=5784 vsize=867600 CPUtime=0.32
/proc/5786/task/5793/stat : 5793 (java) S 5784 5786 5168 0 -1 64 678 0 0 0 32 0 0 0 16 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5794] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5794/stat : 5794 (java) S 5784 5786 5168 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5795] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5795/stat : 5795 (java) S 5784 5786 5168 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3600.06
Current children cumulated vsize (KiB) 867600
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+3604.71 s]
/proc/loadavg: 2.01 2.02 2.00 3/90 6327
/proc/meminfo: memFree=1412896/2055920 swapFree=4192956/4192956
[pid=5786] ppid=5784 vsize=867600 CPUtime=3600.06
/proc/5786/stat : 5786 (java) S 5784 5786 5168 0 -1 0 13495 0 1 0 359801 205 0 0 18 0 9 0 4305322 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5786/statm: 216900 12654 2636 9 0 211406 0
[pid=5786/tid=5788] ppid=5784 vsize=867600 CPUtime=3599.66
/proc/5786/task/5788/stat : 5788 (java) R 5784 5786 5168 0 -1 64 10688 0 1 0 359762 204 0 0 25 0 9 0 4305323 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4127061414 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5786/tid=5789] ppid=5784 vsize=867600 CPUtime=0.05
/proc/5786/task/5789/stat : 5789 (java) S 5784 5786 5168 0 -1 64 1433 0 0 0 5 0 0 0 16 0 9 0 4305325 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5790] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5790/stat : 5790 (java) S 5784 5786 5168 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4305325 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5791] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5791/stat : 5791 (java) S 5784 5786 5168 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4305325 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5792] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5792/stat : 5792 (java) S 5784 5786 5168 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5793] ppid=5784 vsize=867600 CPUtime=0.32
/proc/5786/task/5793/stat : 5793 (java) S 5784 5786 5168 0 -1 64 678 0 0 0 32 0 0 0 16 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5794] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5794/stat : 5794 (java) S 5784 5786 5168 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5786/tid=5795] ppid=5784 vsize=867600 CPUtime=0
/proc/5786/task/5795/stat : 5795 (java) S 5784 5786 5168 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4305327 888422400 12654 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3600.06
Current children cumulated vsize (KiB) 867600
Child status: 143
Real time (s): 3604.76
CPU time (s): 3600.12
CPU user time (s): 3598.06
CPU system time (s): 2.06669
CPU usage (%): 99.8713
Max. virtual memory (cumulated for all children) (KiB): 867604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.06
system time used= 2.06669
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13517
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= 74075
involuntary context switches= 32443
runsolver used 4.50831 second user time and 11.8922 second system time
The end
Begin job on node16 at 2008-07-23 02:15:47
IDJOB=1127537
IDBENCH=63589
IDSOLVER=359
FILE ID=node16/1127537-1216772147
PBS_JOBID= 7974064
Free space on /tmp= 66540 MiB
SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/maxcsp/cnf/3-40-1100-2000/normalized-cnf-3-40-1700-341823_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1127537-1216772147/watcher-1127537-1216772147 -o /tmp/evaluation-result-1127537-1216772147/solver-1127537-1216772147 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1127537-1216772147.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= fb1743c93511e50ca39ff9979094647b
RANDOM SEED=421725363
node16.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.265
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 : 5931.00
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.265
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: 1401344 kB
Buffers: 41076 kB
Cached: 457160 kB
SwapCached: 0 kB
Active: 362720 kB
Inactive: 223504 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1401344 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 2056 kB
Writeback: 0 kB
Mapped: 99152 kB
Slab: 53304 kB
Committed_AS: 164864 kB
PageTables: 2080 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= 66540 MiB
End job on node16 at 2008-07-23 03:15:54