0.03/0.09
0.03/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mac.xml
0.26/0.30
0.26/0.30 instance
0.26/0.30 name=HOME/instance-1058788-1215118117.xml
0.26/0.34
0.26/0.34 domains being loaded...
0.26/0.34
0.26/0.34 variables being loaded...
0.26/0.37 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28 nbTotalValues=784
0.26/0.37 => wckTime=0.126 cpuTime=0.08 mem=7M919
0.26/0.37
0.26/0.37 relations being loaded...
1.14/1.27
1.14/1.27 constraints being loaded...
1.95/2.05 nbConstraints=90 nbRelationTypes=93 nbGlobalConstraints=90 nbMergedConstraints=3 nbExtensionStructures=90
1.95/2.05 nbSharedExtensionStructures=0 nbConflictsStructures=90 nbSharedConflictsStructures=0
1.95/2.05 nbSharedBinaryRepresentations=0 minDegree=5 maxDegree=15 minArity=3 maxArity=3 nbGenerators=0 nbFusions=0
1.95/2.05 symmetryWckTime=0.055 symmetryCpuTime=0.02
1.95/2.05 => wckTime=1.808 cpuTime=1.39 mem=60M183
2.13/2.26
2.13/2.26 solver IterativeSystematicSolver being built...
2.23/2.33
2.23/2.33 INFO : Forward propagation technique limited
2.23/2.39 => wckTime=2.147 cpuTime=1.5 mem=63M143
2.33/2.47
2.33/2.47 preprocessing
2.33/2.47 nbConstraintChecks=0 nbValidityChecks=711823 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0
2.33/2.47 nbRemovedValues=0 detectedInconsistency=no
2.33/2.47 => wckTime=0.076 cpuTime=0.07 mem=64M160
4.32/4.43
4.32/4.43 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=65M211)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058788-1215118117/watcher-1058788-1215118117 -o /tmp/evaluation-result-1058788-1215118117/solver-1058788-1215118117 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1058788-1215118117.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): 2200 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: 1.92 2.01 2.00 4/73 17050
/proc/meminfo: memFree=1838048/2055920 swapFree=4179496/4192956
[pid=17050] ppid=17048 vsize=18572 CPUtime=0
/proc/17050/stat : 17050 (runsolver) R 17048 17050 16297 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 244799715 19017728 292 996147200 4194304 4296836 548682068352 18446744073709551615 269807578407 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/17050/statm: 4643 292 257 25 0 2626 0
[startup+0.0573371 s]
/proc/loadavg: 1.92 2.01 2.00 4/73 17050
/proc/meminfo: memFree=1838048/2055920 swapFree=4179496/4192956
[pid=17050] ppid=17048 vsize=863776 CPUtime=0.03
/proc/17050/stat : 17050 (java) S 17048 17050 16297 0 -1 0 2562 0 1 0 2 1 0 0 20 0 9 0 244799715 884506624 2115 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17050/statm: 215944 2115 984 9 0 210901 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 863776
[startup+0.102342 s]
/proc/loadavg: 1.92 2.01 2.00 4/73 17050
/proc/meminfo: memFree=1838048/2055920 swapFree=4179496/4192956
[pid=17050] ppid=17048 vsize=865884 CPUtime=0.08
/proc/17050/stat : 17050 (java) S 17048 17050 16297 0 -1 0 3691 0 1 0 6 2 0 0 20 0 9 0 244799715 886665216 3166 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17050/statm: 216471 3166 1685 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301361 s]
/proc/loadavg: 1.92 2.01 2.00 4/73 17050
/proc/meminfo: memFree=1838048/2055920 swapFree=4179496/4192956
[pid=17050] ppid=17048 vsize=866284 CPUtime=0.26
/proc/17050/stat : 17050 (java) S 17048 17050 16297 0 -1 0 5738 0 1 0 22 4 0 0 20 0 9 0 244799715 887074816 5120 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17050/statm: 216571 5120 1945 9 0 211099 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 866284
[startup+0.701407 s]
/proc/loadavg: 1.92 2.01 2.00 4/73 17050
/proc/meminfo: memFree=1838048/2055920 swapFree=4179496/4192956
[pid=17050] ppid=17048 vsize=866400 CPUtime=0.65
/proc/17050/stat : 17050 (java) S 17048 17050 16297 0 -1 0 14159 0 1 0 58 7 0 0 20 0 9 0 244799715 887193600 13529 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17050/statm: 216600 13529 1969 9 0 211128 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 866400
[startup+1.5025 s]
/proc/loadavg: 1.92 2.01 2.00 3/82 17059
/proc/meminfo: memFree=1770520/2055920 swapFree=4179496/4192956
[pid=17050] ppid=17048 vsize=866532 CPUtime=1.45
/proc/17050/stat : 17050 (java) S 17048 17050 16297 0 -1 0 23806 0 1 0 132 13 0 0 20 0 9 0 244799715 887328768 23157 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17050/statm: 216633 23157 1996 9 0 211161 0
[pid=17050/tid=17052] ppid=17048 vsize=866532 CPUtime=1.18
/proc/17050/task/17052/stat : 17052 (java) R 17048 17050 16297 0 -1 64 15731 0 1 0 109 9 0 0 25 0 9 0 244799717 887328768 23157 996147200 134512640 134550740 4294955984 18446744073709551615 4125977575 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17053] ppid=17048 vsize=866532 CPUtime=0.14
/proc/17050/task/17053/stat : 17053 (java) S 17048 17050 16297 0 -1 64 7027 0 0 0 12 2 0 0 16 0 9 0 244799718 887328768 23157 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17054] ppid=17048 vsize=866532 CPUtime=0
/proc/17050/task/17054/stat : 17054 (java) S 17048 17050 16297 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 244799719 887328768 23157 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17055] ppid=17048 vsize=866532 CPUtime=0
/proc/17050/task/17055/stat : 17055 (java) S 17048 17050 16297 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 244799719 887328768 23157 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17056] ppid=17048 vsize=866532 CPUtime=0
/proc/17050/task/17056/stat : 17056 (java) S 17048 17050 16297 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 244799721 887328768 23157 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17057] ppid=17048 vsize=866532 CPUtime=0.1
/proc/17050/task/17057/stat : 17057 (java) S 17048 17050 16297 0 -1 64 351 0 0 0 10 0 0 0 16 0 9 0 244799721 887328768 23157 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17058] ppid=17048 vsize=866532 CPUtime=0
/proc/17050/task/17058/stat : 17058 (java) S 17048 17050 16297 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 244799721 887328768 23157 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17059] ppid=17048 vsize=866532 CPUtime=0
/proc/17050/task/17059/stat : 17059 (java) S 17048 17050 16297 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 244799721 887328768 23157 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 866532
[startup+3.10167 s]
/proc/loadavg: 1.92 2.01 2.00 4/84 17063
/proc/meminfo: memFree=1736008/2055920 swapFree=4179496/4192956
[pid=17050] ppid=17048 vsize=867268 CPUtime=3.03
/proc/17050/stat : 17050 (java) S 17048 17050 16297 0 -1 0 46325 272 1 0 282 20 0 1 20 0 9 0 244799715 888082432 31164 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17050/statm: 216817 31164 2634 9 0 211323 0
[pid=17050/tid=17052] ppid=17048 vsize=867268 CPUtime=2.36
/proc/17050/task/17052/stat : 17052 (java) R 17048 17050 16297 0 -1 64 19842 272 1 0 225 10 0 1 25 0 9 0 244799717 888082432 31164 996147200 134512640 134550740 4294955984 18446744073709551615 4126820683 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17053] ppid=17048 vsize=867268 CPUtime=0.46
/proc/17050/task/17053/stat : 17053 (java) S 17048 17050 16297 0 -1 64 25105 272 0 0 38 7 0 1 17 0 9 0 244799718 888082432 31164 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17054] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17054/stat : 17054 (java) S 17048 17050 16297 0 -1 64 19 272 0 0 0 0 0 1 17 0 9 0 244799719 888082432 31164 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17055] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17055/stat : 17055 (java) S 17048 17050 16297 0 -1 64 8 272 0 0 0 0 0 1 17 0 9 0 244799719 888082432 31164 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17056] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17056/stat : 17056 (java) S 17048 17050 16297 0 -1 64 0 272 0 0 0 0 0 1 25 0 9 0 244799721 888082432 31164 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17057] ppid=17048 vsize=867268 CPUtime=0.19
/proc/17050/task/17057/stat : 17057 (java) S 17048 17050 16297 0 -1 64 535 272 0 0 17 1 0 1 16 0 9 0 244799721 888082432 31164 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17058] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17058/stat : 17058 (java) S 17048 17050 16297 0 -1 64 2 272 0 0 0 0 0 1 25 0 9 0 244799721 888082432 31164 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17059] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17059/stat : 17059 (java) S 17048 17050 16297 0 -1 64 7 272 0 0 0 0 0 1 15 0 9 0 244799721 888082432 31164 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 867268
[startup+6.30201 s]
/proc/loadavg: 1.93 2.01 2.00 3/82 17063
/proc/meminfo: memFree=1723088/2055920 swapFree=4179496/4192956
[pid=17050] ppid=17048 vsize=867268 CPUtime=6.2
/proc/17050/stat : 17050 (java) S 17048 17050 16297 0 -1 0 46348 272 1 0 599 20 0 1 20 0 9 0 244799715 888082432 31174 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17050/statm: 216817 31174 2634 9 0 211323 0
[pid=17050/tid=17052] ppid=17048 vsize=867268 CPUtime=5.53
/proc/17050/task/17052/stat : 17052 (java) R 17048 17050 16297 0 -1 64 19854 272 1 0 542 10 0 1 25 0 9 0 244799717 888082432 31174 996147200 134512640 134550740 4294955984 18446744073709551615 4126820866 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17053] ppid=17048 vsize=867268 CPUtime=0.46
/proc/17050/task/17053/stat : 17053 (java) S 17048 17050 16297 0 -1 64 25105 272 0 0 38 7 0 1 17 0 9 0 244799718 888082432 31174 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17054] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17054/stat : 17054 (java) S 17048 17050 16297 0 -1 64 19 272 0 0 0 0 0 1 17 0 9 0 244799719 888082432 31174 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17055] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17055/stat : 17055 (java) S 17048 17050 16297 0 -1 64 8 272 0 0 0 0 0 1 17 0 9 0 244799719 888082432 31174 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17056] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17056/stat : 17056 (java) S 17048 17050 16297 0 -1 64 0 272 0 0 0 0 0 1 25 0 9 0 244799721 888082432 31174 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17057] ppid=17048 vsize=867268 CPUtime=0.2
/proc/17050/task/17057/stat : 17057 (java) S 17048 17050 16297 0 -1 64 546 272 0 0 18 1 0 1 16 0 9 0 244799721 888082432 31174 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17058] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17058/stat : 17058 (java) S 17048 17050 16297 0 -1 64 2 272 0 0 0 0 0 1 25 0 9 0 244799721 888082432 31174 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17059] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17059/stat : 17059 (java) S 17048 17050 16297 0 -1 64 7 272 0 0 0 0 0 1 15 0 9 0 244799721 888082432 31174 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 867268
[startup+12.7017 s]
/proc/loadavg: 1.93 2.01 2.00 3/82 17063
/proc/meminfo: memFree=1722960/2055920 swapFree=4179496/4192956
[pid=17050] ppid=17048 vsize=867268 CPUtime=12.57
/proc/17050/stat : 17050 (java) S 17048 17050 16297 0 -1 0 46371 272 1 0 1236 20 0 1 20 0 9 0 244799715 888082432 31184 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17050/statm: 216817 31184 2634 9 0 211323 0
[pid=17050/tid=17052] ppid=17048 vsize=867268 CPUtime=11.88
/proc/17050/task/17052/stat : 17052 (java) R 17048 17050 16297 0 -1 64 19863 272 1 0 1177 10 0 1 25 0 9 0 244799717 888082432 31184 996147200 134512640 134550740 4294955984 18446744073709551615 4126820872 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17053] ppid=17048 vsize=867268 CPUtime=0.46
/proc/17050/task/17053/stat : 17053 (java) S 17048 17050 16297 0 -1 64 25105 272 0 0 38 7 0 1 17 0 9 0 244799718 888082432 31184 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17054] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17054/stat : 17054 (java) S 17048 17050 16297 0 -1 64 19 272 0 0 0 0 0 1 17 0 9 0 244799719 888082432 31184 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17055] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17055/stat : 17055 (java) S 17048 17050 16297 0 -1 64 8 272 0 0 0 0 0 1 17 0 9 0 244799719 888082432 31184 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17056] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17056/stat : 17056 (java) S 17048 17050 16297 0 -1 64 0 272 0 0 0 0 0 1 25 0 9 0 244799721 888082432 31184 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17057] ppid=17048 vsize=867268 CPUtime=0.22
/proc/17050/task/17057/stat : 17057 (java) S 17048 17050 16297 0 -1 64 560 272 0 0 20 1 0 1 16 0 9 0 244799721 888082432 31184 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17058] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17058/stat : 17058 (java) S 17048 17050 16297 0 -1 64 2 272 0 0 0 0 0 1 25 0 9 0 244799721 888082432 31184 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17059] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17059/stat : 17059 (java) S 17048 17050 16297 0 -1 64 7 272 0 0 0 0 0 1 15 0 9 0 244799721 888082432 31184 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867268
[startup+25.5021 s]
/proc/loadavg: 1.95 2.01 2.00 3/82 17063
/proc/meminfo: memFree=1723024/2055920 swapFree=4179496/4192956
[pid=17050] ppid=17048 vsize=867268 CPUtime=25.32
/proc/17050/stat : 17050 (java) S 17048 17050 16297 0 -1 0 46400 272 1 0 2510 21 0 1 20 0 9 0 244799715 888082432 31190 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17050/statm: 216817 31190 2634 9 0 211323 0
[pid=17050/tid=17052] ppid=17048 vsize=867268 CPUtime=24.6
/proc/17050/task/17052/stat : 17052 (java) R 17048 17050 16297 0 -1 64 19883 272 1 0 2449 10 0 1 25 0 9 0 244799717 888082432 31190 996147200 134512640 134550740 4294955984 18446744073709551615 4126820683 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17053] ppid=17048 vsize=867268 CPUtime=0.46
/proc/17050/task/17053/stat : 17053 (java) S 17048 17050 16297 0 -1 64 25105 272 0 0 38 7 0 1 16 0 9 0 244799718 888082432 31190 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17054] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17054/stat : 17054 (java) S 17048 17050 16297 0 -1 64 19 272 0 0 0 0 0 1 17 0 9 0 244799719 888082432 31190 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17055] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17055/stat : 17055 (java) S 17048 17050 16297 0 -1 64 8 272 0 0 0 0 0 1 17 0 9 0 244799719 888082432 31190 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17056] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17056/stat : 17056 (java) S 17048 17050 16297 0 -1 64 0 272 0 0 0 0 0 1 25 0 9 0 244799721 888082432 31190 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17057] ppid=17048 vsize=867268 CPUtime=0.23
/proc/17050/task/17057/stat : 17057 (java) S 17048 17050 16297 0 -1 64 569 272 0 0 21 1 0 1 15 0 9 0 244799721 888082432 31190 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17058] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17058/stat : 17058 (java) S 17048 17050 16297 0 -1 64 2 272 0 0 0 0 0 1 25 0 9 0 244799721 888082432 31190 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17059] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17059/stat : 17059 (java) S 17048 17050 16297 0 -1 64 7 272 0 0 0 0 0 1 15 0 9 0 244799721 888082432 31190 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 867268
[startup+51.1028 s]
/proc/loadavg: 1.96 2.01 2.00 3/82 17063
/proc/meminfo: memFree=1722960/2055920 swapFree=4179496/4192956
[pid=17050] ppid=17048 vsize=867268 CPUtime=50.79
/proc/17050/stat : 17050 (java) S 17048 17050 16297 0 -1 0 46426 272 1 0 5057 21 0 1 20 0 9 0 244799715 888082432 31191 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17050/statm: 216817 31191 2634 9 0 211323 0
[pid=17050/tid=17052] ppid=17048 vsize=867268 CPUtime=50.07
/proc/17050/task/17052/stat : 17052 (java) R 17048 17050 16297 0 -1 64 19906 272 1 0 4996 10 0 1 25 0 9 0 244799717 888082432 31191 996147200 134512640 134550740 4294955984 18446744073709551615 4126820866 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17053] ppid=17048 vsize=867268 CPUtime=0.46
/proc/17050/task/17053/stat : 17053 (java) S 17048 17050 16297 0 -1 64 25105 272 0 0 38 7 0 1 16 0 9 0 244799718 888082432 31191 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17054] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17054/stat : 17054 (java) S 17048 17050 16297 0 -1 64 19 272 0 0 0 0 0 1 17 0 9 0 244799719 888082432 31191 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17055] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17055/stat : 17055 (java) S 17048 17050 16297 0 -1 64 8 272 0 0 0 0 0 1 17 0 9 0 244799719 888082432 31191 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17056] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17056/stat : 17056 (java) S 17048 17050 16297 0 -1 64 0 272 0 0 0 0 0 1 25 0 9 0 244799721 888082432 31191 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17057] ppid=17048 vsize=867268 CPUtime=0.24
/proc/17050/task/17057/stat : 17057 (java) S 17048 17050 16297 0 -1 64 572 272 0 0 22 1 0 1 16 0 9 0 244799721 888082432 31191 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17058] ppid=17048 vsize=867268 CPUtime=0.01
################
# More data... #
################
/proc/17050/task/17055/stat : 17055 (java) S 17048 17050 16297 0 -1 64 8 272 0 0 0 0 0 1 17 0 9 0 244799719 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17056] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17056/stat : 17056 (java) S 17048 17050 16297 0 -1 64 0 272 0 0 0 0 0 1 25 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17057] ppid=17048 vsize=867268 CPUtime=0.24
/proc/17050/task/17057/stat : 17057 (java) S 17048 17050 16297 0 -1 64 574 272 0 0 22 1 0 1 16 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17058] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17058/stat : 17058 (java) S 17048 17050 16297 0 -1 64 2 272 0 0 0 0 0 1 25 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17059] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17059/stat : 17059 (java) S 17048 17050 16297 0 -1 64 7 272 0 0 0 0 0 1 15 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1534.6
Current children cumulated vsize (KiB) 867268
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/91 17112
/proc/meminfo: memFree=1695360/2055920 swapFree=4179496/4192956
[pid=17050] ppid=17048 vsize=867268 CPUtime=1594.3
/proc/17050/stat : 17050 (java) S 17048 17050 16297 0 -1 0 48053 272 1 0 159403 26 0 1 20 0 9 0 244799715 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17050/statm: 216817 31193 2634 9 0 211323 0
[pid=17050/tid=17052] ppid=17048 vsize=867268 CPUtime=1593.58
/proc/17050/task/17052/stat : 17052 (java) R 17048 17050 16297 0 -1 64 21531 272 1 0 159342 15 0 1 25 0 9 0 244799717 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4126820866 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17053] ppid=17048 vsize=867268 CPUtime=0.46
/proc/17050/task/17053/stat : 17053 (java) S 17048 17050 16297 0 -1 64 25105 272 0 0 38 7 0 1 16 0 9 0 244799718 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17054] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17054/stat : 17054 (java) S 17048 17050 16297 0 -1 64 19 272 0 0 0 0 0 1 17 0 9 0 244799719 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17055] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17055/stat : 17055 (java) S 17048 17050 16297 0 -1 64 8 272 0 0 0 0 0 1 17 0 9 0 244799719 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17056] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17056/stat : 17056 (java) S 17048 17050 16297 0 -1 64 0 272 0 0 0 0 0 1 25 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17057] ppid=17048 vsize=867268 CPUtime=0.24
/proc/17050/task/17057/stat : 17057 (java) S 17048 17050 16297 0 -1 64 574 272 0 0 22 1 0 1 16 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17058] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17058/stat : 17058 (java) S 17048 17050 16297 0 -1 64 2 272 0 0 0 0 0 1 25 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17059] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17059/stat : 17059 (java) S 17048 17050 16297 0 -1 64 7 272 0 0 0 0 0 1 15 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1594.3
Current children cumulated vsize (KiB) 867268
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/91 17112
/proc/meminfo: memFree=1695296/2055920 swapFree=4179496/4192956
[pid=17050] ppid=17048 vsize=867268 CPUtime=1654
/proc/17050/stat : 17050 (java) S 17048 17050 16297 0 -1 0 48109 272 1 0 165373 26 0 1 20 0 9 0 244799715 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17050/statm: 216817 31193 2634 9 0 211323 0
[pid=17050/tid=17052] ppid=17048 vsize=867268 CPUtime=1653.28
/proc/17050/task/17052/stat : 17052 (java) R 17048 17050 16297 0 -1 64 21587 272 1 0 165312 15 0 1 25 0 9 0 244799717 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4126820683 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17053] ppid=17048 vsize=867268 CPUtime=0.46
/proc/17050/task/17053/stat : 17053 (java) S 17048 17050 16297 0 -1 64 25105 272 0 0 38 7 0 1 16 0 9 0 244799718 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17054] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17054/stat : 17054 (java) S 17048 17050 16297 0 -1 64 19 272 0 0 0 0 0 1 17 0 9 0 244799719 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17055] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17055/stat : 17055 (java) S 17048 17050 16297 0 -1 64 8 272 0 0 0 0 0 1 17 0 9 0 244799719 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17056] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17056/stat : 17056 (java) S 17048 17050 16297 0 -1 64 0 272 0 0 0 0 0 1 25 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17057] ppid=17048 vsize=867268 CPUtime=0.24
/proc/17050/task/17057/stat : 17057 (java) S 17048 17050 16297 0 -1 64 574 272 0 0 22 1 0 1 16 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17058] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17058/stat : 17058 (java) S 17048 17050 16297 0 -1 64 2 272 0 0 0 0 0 1 25 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17059] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17059/stat : 17059 (java) S 17048 17050 16297 0 -1 64 7 272 0 0 0 0 0 1 15 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1654
Current children cumulated vsize (KiB) 867268
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 5/91 17112
/proc/meminfo: memFree=1695232/2055920 swapFree=4179496/4192956
[pid=17050] ppid=17048 vsize=867268 CPUtime=1713.7
/proc/17050/stat : 17050 (java) S 17048 17050 16297 0 -1 0 48168 272 1 0 171343 26 0 1 20 0 9 0 244799715 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17050/statm: 216817 31193 2634 9 0 211323 0
[pid=17050/tid=17052] ppid=17048 vsize=867268 CPUtime=1712.98
/proc/17050/task/17052/stat : 17052 (java) R 17048 17050 16297 0 -1 64 21646 272 1 0 171282 15 0 1 25 0 9 0 244799717 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4126820884 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17053] ppid=17048 vsize=867268 CPUtime=0.46
/proc/17050/task/17053/stat : 17053 (java) S 17048 17050 16297 0 -1 64 25105 272 0 0 38 7 0 1 16 0 9 0 244799718 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17054] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17054/stat : 17054 (java) S 17048 17050 16297 0 -1 64 19 272 0 0 0 0 0 1 17 0 9 0 244799719 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17055] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17055/stat : 17055 (java) S 17048 17050 16297 0 -1 64 8 272 0 0 0 0 0 1 17 0 9 0 244799719 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17056] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17056/stat : 17056 (java) S 17048 17050 16297 0 -1 64 0 272 0 0 0 0 0 1 25 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17057] ppid=17048 vsize=867268 CPUtime=0.24
/proc/17050/task/17057/stat : 17057 (java) S 17048 17050 16297 0 -1 64 574 272 0 0 22 1 0 1 16 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17058] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17058/stat : 17058 (java) S 17048 17050 16297 0 -1 64 2 272 0 0 0 0 0 1 25 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17059] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17059/stat : 17059 (java) S 17048 17050 16297 0 -1 64 7 272 0 0 0 0 0 1 15 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1713.7
Current children cumulated vsize (KiB) 867268
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/91 17112
/proc/meminfo: memFree=1695296/2055920 swapFree=4179496/4192956
[pid=17050] ppid=17048 vsize=867268 CPUtime=1773.41
/proc/17050/stat : 17050 (java) S 17048 17050 16297 0 -1 0 48222 272 1 0 177314 26 0 1 20 0 9 0 244799715 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17050/statm: 216817 31193 2634 9 0 211323 0
[pid=17050/tid=17052] ppid=17048 vsize=867268 CPUtime=1772.68
/proc/17050/task/17052/stat : 17052 (java) R 17048 17050 16297 0 -1 64 21700 272 1 0 177252 15 0 1 25 0 9 0 244799717 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4126820866 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17053] ppid=17048 vsize=867268 CPUtime=0.46
/proc/17050/task/17053/stat : 17053 (java) S 17048 17050 16297 0 -1 64 25105 272 0 0 38 7 0 1 16 0 9 0 244799718 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17054] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17054/stat : 17054 (java) S 17048 17050 16297 0 -1 64 19 272 0 0 0 0 0 1 17 0 9 0 244799719 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17055] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17055/stat : 17055 (java) S 17048 17050 16297 0 -1 64 8 272 0 0 0 0 0 1 17 0 9 0 244799719 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17056] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17056/stat : 17056 (java) S 17048 17050 16297 0 -1 64 0 272 0 0 0 0 0 1 25 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17057] ppid=17048 vsize=867268 CPUtime=0.24
/proc/17050/task/17057/stat : 17057 (java) S 17048 17050 16297 0 -1 64 574 272 0 0 22 1 0 1 16 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17058] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17058/stat : 17058 (java) S 17048 17050 16297 0 -1 64 2 272 0 0 0 0 0 1 25 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17059] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17059/stat : 17059 (java) S 17048 17050 16297 0 -1 64 7 272 0 0 0 0 0 1 15 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1773.41
Current children cumulated vsize (KiB) 867268
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 17112
/proc/meminfo: memFree=1695232/2055920 swapFree=4179496/4192956
[pid=17050] ppid=17048 vsize=867268 CPUtime=1800.07
/proc/17050/stat : 17050 (java) S 17048 17050 16297 0 -1 0 48247 272 1 0 179980 26 0 1 20 0 9 0 244799715 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17050/statm: 216817 31193 2634 9 0 211323 0
[pid=17050/tid=17052] ppid=17048 vsize=867268 CPUtime=1799.36
/proc/17050/task/17052/stat : 17052 (java) R 17048 17050 16297 0 -1 64 21725 272 1 0 179919 16 0 1 25 0 9 0 244799717 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4126820866 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17053] ppid=17048 vsize=867268 CPUtime=0.46
/proc/17050/task/17053/stat : 17053 (java) S 17048 17050 16297 0 -1 64 25105 272 0 0 38 7 0 1 16 0 9 0 244799718 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17054] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17054/stat : 17054 (java) S 17048 17050 16297 0 -1 64 19 272 0 0 0 0 0 1 17 0 9 0 244799719 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17055] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17055/stat : 17055 (java) S 17048 17050 16297 0 -1 64 8 272 0 0 0 0 0 1 17 0 9 0 244799719 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17056] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17056/stat : 17056 (java) S 17048 17050 16297 0 -1 64 0 272 0 0 0 0 0 1 25 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17057] ppid=17048 vsize=867268 CPUtime=0.24
/proc/17050/task/17057/stat : 17057 (java) S 17048 17050 16297 0 -1 64 574 272 0 0 22 1 0 1 16 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17058] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17058/stat : 17058 (java) S 17048 17050 16297 0 -1 64 2 272 0 0 0 0 0 1 25 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17059] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17059/stat : 17059 (java) S 17048 17050 16297 0 -1 64 7 272 0 0 0 0 0 1 15 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 867268
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1809.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 17112
/proc/meminfo: memFree=1695232/2055920 swapFree=4179496/4192956
[pid=17050] ppid=17048 vsize=867268 CPUtime=1800.07
/proc/17050/stat : 17050 (java) S 17048 17050 16297 0 -1 0 48247 272 1 0 179980 26 0 1 20 0 9 0 244799715 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17050/statm: 216817 31193 2634 9 0 211323 0
[pid=17050/tid=17052] ppid=17048 vsize=867268 CPUtime=1799.36
/proc/17050/task/17052/stat : 17052 (java) R 17048 17050 16297 0 -1 64 21725 272 1 0 179919 16 0 1 25 0 9 0 244799717 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4126820866 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17053] ppid=17048 vsize=867268 CPUtime=0.46
/proc/17050/task/17053/stat : 17053 (java) S 17048 17050 16297 0 -1 64 25105 272 0 0 38 7 0 1 16 0 9 0 244799718 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17054] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17054/stat : 17054 (java) S 17048 17050 16297 0 -1 64 19 272 0 0 0 0 0 1 17 0 9 0 244799719 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17055] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17055/stat : 17055 (java) S 17048 17050 16297 0 -1 64 8 272 0 0 0 0 0 1 17 0 9 0 244799719 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17056] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17056/stat : 17056 (java) S 17048 17050 16297 0 -1 64 0 272 0 0 0 0 0 1 25 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17057] ppid=17048 vsize=867268 CPUtime=0.24
/proc/17050/task/17057/stat : 17057 (java) S 17048 17050 16297 0 -1 64 574 272 0 0 22 1 0 1 16 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17058] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17058/stat : 17058 (java) S 17048 17050 16297 0 -1 64 2 272 0 0 0 0 0 1 25 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17050/tid=17059] ppid=17048 vsize=867268 CPUtime=0.01
/proc/17050/task/17059/stat : 17059 (java) S 17048 17050 16297 0 -1 64 7 272 0 0 0 0 0 1 15 0 9 0 244799721 888082432 31193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 867268
Child status: 143
Real time (s): 1809.16
CPU time (s): 1800.14
CPU user time (s): 1799.84
CPU system time (s): 0.298954
CPU usage (%): 99.5015
Max. virtual memory (cumulated for all children) (KiB): 867268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.298954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48557
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= 37977
involuntary context switches= 60412
runsolver used 2.43963 second user time and 5.79212 second system time
The end
Begin job on node81 at 2008-07-03 22:48:38
IDJOB=1058788
IDBENCH=54183
IDSOLVER=363
FILE ID=node81/1058788-1215118117
PBS_JOBID= 7877045
Free space on /tmp= 126840 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rand-3-28-28/normalized-rand-3-28-28-93-632-32_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= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058788-1215118117/watcher-1058788-1215118117 -o /tmp/evaluation-result-1058788-1215118117/solver-1058788-1215118117 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1058788-1215118117.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 886aa6fdfc159785179b1828f54e2900
RANDOM SEED=163402505
node81.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.236
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.236
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1838528 kB
Buffers: 17508 kB
Cached: 139828 kB
SwapCached: 6544 kB
Active: 113144 kB
Inactive: 70520 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1838528 kB
SwapTotal: 4192956 kB
SwapFree: 4179496 kB
Dirty: 7868 kB
Writeback: 0 kB
Mapped: 33852 kB
Slab: 19172 kB
Committed_AS: 498516 kB
PageTables: 1584 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126840 MiB
End job on node81 at 2008-07-03 23:18:49