0.06/0.09
0.06/0.09 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=mac.xml
0.29/0.32
0.29/0.32 instance
0.29/0.32 name=HOME/instance-1058719-1215117472.xml
0.29/0.35
0.29/0.35 domains being loaded...
0.29/0.36
0.29/0.36 variables being loaded...
0.29/0.39 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28 nbTotalValues=784
0.29/0.39 => wckTime=0.145 cpuTime=0.11 mem=7M919
0.29/0.39
0.29/0.39 relations being loaded...
1.37/1.49
1.37/1.49 constraints being loaded...
2.26/2.37 nbConstraints=91 nbRelationTypes=93 nbGlobalConstraints=91 nbMergedConstraints=2 nbExtensionStructures=91
2.26/2.37 nbSharedExtensionStructures=0 nbConflictsStructures=91 nbSharedConflictsStructures=0
2.26/2.37 nbSharedBinaryRepresentations=0 minDegree=2 maxDegree=15 minArity=3 maxArity=3 nbGenerators=0 nbFusions=0
2.26/2.37 symmetryWckTime=0.055 symmetryCpuTime=0.02
2.26/2.37 => wckTime=2.131 cpuTime=1.66 mem=61M478
2.55/2.61
2.55/2.61 solver IterativeSystematicSolver being built...
2.55/2.69
2.55/2.69 INFO : Forward propagation technique limited
2.66/2.76 => wckTime=2.522 cpuTime=1.78 mem=63M609
2.76/2.86
2.76/2.86 preprocessing
2.76/2.86 nbConstraintChecks=0 nbValidityChecks=725045 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0
2.76/2.86 nbRemovedValues=0 detectedInconsistency=no
2.76/2.86 => wckTime=0.091 cpuTime=0.08 mem=64M636
4.43/4.59
4.43/4.59 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=65M647)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058719-1215117472/watcher-1058719-1215117472 -o /tmp/evaluation-result-1058719-1215117472/solver-1058719-1215117472 -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-1058719-1215117472.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.99 2.00 2.00 3/73 4789
/proc/meminfo: memFree=1356024/2055920 swapFree=4180236/4192956
[pid=4789] ppid=4787 vsize=1616 CPUtime=0
/proc/4789/stat : 4789 (java) R 4787 4789 3388 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 634680882 1654784 145 996147200 134512640 134550740 4294956144 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/4789/statm: 404 148 122 9 0 46 0
[startup+0.0767519 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 4789
/proc/meminfo: memFree=1356024/2055920 swapFree=4180236/4192956
[pid=4789] ppid=4787 vsize=865856 CPUtime=0.06
/proc/4789/stat : 4789 (java) S 4787 4789 3388 0 -1 0 3355 0 1 0 4 2 0 0 18 0 9 0 634680882 886636544 2871 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4789/statm: 216464 2871 1560 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856
[startup+0.102752 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 4789
/proc/meminfo: memFree=1356024/2055920 swapFree=4180236/4192956
[pid=4789] ppid=4787 vsize=865884 CPUtime=0.09
/proc/4789/stat : 4789 (java) S 4787 4789 3388 0 -1 0 3733 0 1 0 6 3 0 0 18 0 9 0 634680882 886665216 3195 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4789/statm: 216471 3195 1693 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.302785 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 4789
/proc/meminfo: memFree=1356024/2055920 swapFree=4180236/4192956
[pid=4789] ppid=4787 vsize=866196 CPUtime=0.29
/proc/4789/stat : 4789 (java) S 4787 4789 3388 0 -1 0 5620 0 1 0 25 4 0 0 18 0 9 0 634680882 886984704 5034 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4789/statm: 216549 5034 1902 9 0 211097 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866196
[startup+0.702858 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 4789
/proc/meminfo: memFree=1356024/2055920 swapFree=4180236/4192956
[pid=4789] ppid=4787 vsize=866408 CPUtime=0.68
/proc/4789/stat : 4789 (java) S 4787 4789 3388 0 -1 0 10646 0 1 0 61 7 0 0 18 0 9 0 634680882 887201792 10016 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4789/statm: 216602 10016 1969 9 0 211130 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866408
[startup+1.50196 s]
/proc/loadavg: 1.99 2.00 2.00 4/82 4798
/proc/meminfo: memFree=1293168/2055920 swapFree=4180236/4192956
[pid=4789] ppid=4787 vsize=866540 CPUtime=1.47
/proc/4789/stat : 4789 (java) S 4787 4789 3388 0 -1 0 19354 0 1 0 136 11 0 0 18 0 9 0 634680882 887336960 18722 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4789/statm: 216635 18722 1984 9 0 211163 0
[pid=4789/tid=4791] ppid=4787 vsize=866540 CPUtime=1.32
/proc/4789/task/4791/stat : 4791 (java) R 4787 4789 3388 0 -1 64 15660 0 1 0 123 9 0 0 25 0 9 0 634680883 887336960 18722 996147200 134512640 134550740 4294955984 18446744073709551615 4125977253 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4792] ppid=4787 vsize=866540 CPUtime=0.06
/proc/4789/task/4792/stat : 4792 (java) S 4787 4789 3388 0 -1 64 2668 0 0 0 5 1 0 0 17 0 9 0 634680885 887336960 18722 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4793] ppid=4787 vsize=866540 CPUtime=0
/proc/4789/task/4793/stat : 4793 (java) S 4787 4789 3388 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 634680885 887336960 18722 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4794] ppid=4787 vsize=866540 CPUtime=0
/proc/4789/task/4794/stat : 4794 (java) S 4787 4789 3388 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 634680885 887336960 18722 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4795] ppid=4787 vsize=866540 CPUtime=0
/proc/4789/task/4795/stat : 4795 (java) S 4787 4789 3388 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 634680887 887336960 18722 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4796] ppid=4787 vsize=866540 CPUtime=0.07
/proc/4789/task/4796/stat : 4796 (java) S 4787 4789 3388 0 -1 64 329 0 0 0 7 0 0 0 16 0 9 0 634680887 887336960 18722 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4797] ppid=4787 vsize=866540 CPUtime=0
/proc/4789/task/4797/stat : 4797 (java) S 4787 4789 3388 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 634680887 887336960 18722 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4798] ppid=4787 vsize=866540 CPUtime=0
/proc/4789/task/4798/stat : 4798 (java) S 4787 4789 3388 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 634680887 887336960 18722 996147200 134512640 134550740 4294955984 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) 866540
[startup+3.1022 s]
/proc/loadavg: 1.99 2.00 2.00 4/82 4798
/proc/meminfo: memFree=1264496/2055920 swapFree=4180236/4192956
[pid=4789] ppid=4787 vsize=867276 CPUtime=3.05
/proc/4789/stat : 4789 (java) S 4787 4789 3388 0 -1 0 46477 273 1 0 283 21 0 1 18 0 9 0 634680882 888090624 31245 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4789/statm: 216819 31245 2634 9 0 211325 0
[pid=4789/tid=4791] ppid=4787 vsize=867276 CPUtime=2.31
/proc/4789/task/4791/stat : 4791 (java) R 4787 4789 3388 0 -1 64 19818 273 1 0 219 11 0 1 25 0 9 0 634680883 888090624 31245 996147200 134512640 134550740 4294955984 18446744073709551615 4126824511 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4792] ppid=4787 vsize=867276 CPUtime=0.54
/proc/4789/task/4792/stat : 4792 (java) S 4787 4789 3388 0 -1 64 25267 273 0 0 46 7 0 1 18 0 9 0 634680885 888090624 31245 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4793] ppid=4787 vsize=867276 CPUtime=0.01
/proc/4789/task/4793/stat : 4793 (java) S 4787 4789 3388 0 -1 64 18 273 0 0 0 0 0 1 17 0 9 0 634680885 888090624 31245 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4794] ppid=4787 vsize=867276 CPUtime=0.01
/proc/4789/task/4794/stat : 4794 (java) S 4787 4789 3388 0 -1 64 9 273 0 0 0 0 0 1 16 0 9 0 634680885 888090624 31245 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4795] ppid=4787 vsize=867276 CPUtime=0.01
/proc/4789/task/4795/stat : 4795 (java) S 4787 4789 3388 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 634680887 888090624 31245 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4796] ppid=4787 vsize=867276 CPUtime=0.19
/proc/4789/task/4796/stat : 4796 (java) S 4787 4789 3388 0 -1 64 551 273 0 0 18 0 0 1 15 0 9 0 634680887 888090624 31245 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4797] ppid=4787 vsize=867276 CPUtime=0.01
/proc/4789/task/4797/stat : 4797 (java) S 4787 4789 3388 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 634680887 888090624 31245 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4798] ppid=4787 vsize=867276 CPUtime=0.01
/proc/4789/task/4798/stat : 4798 (java) S 4787 4789 3388 0 -1 64 7 273 0 0 0 0 0 1 15 0 9 0 634680887 888090624 31245 996147200 134512640 134550740 4294955984 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) 867276
[startup+6.30168 s]
/proc/loadavg: 1.99 2.00 2.00 3/82 4802
/proc/meminfo: memFree=1239984/2055920 swapFree=4180236/4192956
[pid=4789] ppid=4787 vsize=867408 CPUtime=6.22
/proc/4789/stat : 4789 (java) S 4787 4789 3388 0 -1 0 46512 273 1 0 600 21 0 1 18 0 9 0 634680882 888225792 31264 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4789/statm: 216852 31264 2634 9 0 211358 0
[pid=4789/tid=4791] ppid=4787 vsize=867408 CPUtime=5.44
/proc/4789/task/4791/stat : 4791 (java) R 4787 4789 3388 0 -1 64 19836 273 1 0 532 11 0 1 25 0 9 0 634680883 888225792 31264 996147200 134512640 134550740 4294955984 18446744073709551615 4126824578 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4792] ppid=4787 vsize=867408 CPUtime=0.54
/proc/4789/task/4792/stat : 4792 (java) S 4787 4789 3388 0 -1 64 25267 273 0 0 46 7 0 1 17 0 9 0 634680885 888225792 31264 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4793] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4793/stat : 4793 (java) S 4787 4789 3388 0 -1 64 18 273 0 0 0 0 0 1 17 0 9 0 634680885 888225792 31264 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4794] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4794/stat : 4794 (java) S 4787 4789 3388 0 -1 64 9 273 0 0 0 0 0 1 16 0 9 0 634680885 888225792 31264 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4795] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4795/stat : 4795 (java) S 4787 4789 3388 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 634680887 888225792 31264 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4796] ppid=4787 vsize=867408 CPUtime=0.22
/proc/4789/task/4796/stat : 4796 (java) S 4787 4789 3388 0 -1 64 568 273 0 0 21 0 0 1 15 0 9 0 634680887 888225792 31264 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4797] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4797/stat : 4797 (java) S 4787 4789 3388 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 634680887 888225792 31264 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4798] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4798/stat : 4798 (java) S 4787 4789 3388 0 -1 64 7 273 0 0 0 0 0 1 15 0 9 0 634680887 888225792 31264 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867408
[startup+12.7016 s]
/proc/loadavg: 1.99 2.00 2.00 3/82 4802
/proc/meminfo: memFree=1238896/2055920 swapFree=4180236/4192956
[pid=4789] ppid=4787 vsize=867408 CPUtime=12.55
/proc/4789/stat : 4789 (java) S 4787 4789 3388 0 -1 0 46541 273 1 0 1233 21 0 1 18 0 9 0 634680882 888225792 31276 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4789/statm: 216852 31276 2634 9 0 211358 0
[pid=4789/tid=4791] ppid=4787 vsize=867408 CPUtime=11.75
/proc/4789/task/4791/stat : 4791 (java) R 4787 4789 3388 0 -1 64 19849 273 1 0 1163 11 0 1 25 0 9 0 634680883 888225792 31276 996147200 134512640 134550740 4294955984 18446744073709551615 4126824395 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4792] ppid=4787 vsize=867408 CPUtime=0.54
/proc/4789/task/4792/stat : 4792 (java) S 4787 4789 3388 0 -1 64 25267 273 0 0 46 7 0 1 17 0 9 0 634680885 888225792 31276 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4793] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4793/stat : 4793 (java) S 4787 4789 3388 0 -1 64 18 273 0 0 0 0 0 1 17 0 9 0 634680885 888225792 31276 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4794] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4794/stat : 4794 (java) S 4787 4789 3388 0 -1 64 9 273 0 0 0 0 0 1 16 0 9 0 634680885 888225792 31276 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4795] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4795/stat : 4795 (java) S 4787 4789 3388 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 634680887 888225792 31276 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4796] ppid=4787 vsize=867408 CPUtime=0.25
/proc/4789/task/4796/stat : 4796 (java) S 4787 4789 3388 0 -1 64 584 273 0 0 23 1 0 1 15 0 9 0 634680887 888225792 31276 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4797] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4797/stat : 4797 (java) S 4787 4789 3388 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 634680887 888225792 31276 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4798] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4798/stat : 4798 (java) S 4787 4789 3388 0 -1 64 7 273 0 0 0 0 0 1 15 0 9 0 634680887 888225792 31276 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867408
[startup+25.5025 s]
/proc/loadavg: 1.99 2.00 2.00 3/82 4802
/proc/meminfo: memFree=1237232/2055920 swapFree=4180236/4192956
[pid=4789] ppid=4787 vsize=867408 CPUtime=25.24
/proc/4789/stat : 4789 (java) S 4787 4789 3388 0 -1 0 46569 273 1 0 2501 22 0 1 18 0 9 0 634680882 888225792 31280 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4789/statm: 216852 31280 2634 9 0 211358 0
[pid=4789/tid=4791] ppid=4787 vsize=867408 CPUtime=24.42
/proc/4789/task/4791/stat : 4791 (java) R 4787 4789 3388 0 -1 64 19871 273 1 0 2430 11 0 1 25 0 9 0 634680883 888225792 31280 996147200 134512640 134550740 4294955984 18446744073709551615 4126824578 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4792] ppid=4787 vsize=867408 CPUtime=0.54
/proc/4789/task/4792/stat : 4792 (java) S 4787 4789 3388 0 -1 64 25267 273 0 0 46 7 0 1 16 0 9 0 634680885 888225792 31280 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4793] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4793/stat : 4793 (java) S 4787 4789 3388 0 -1 64 18 273 0 0 0 0 0 1 17 0 9 0 634680885 888225792 31280 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4794] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4794/stat : 4794 (java) S 4787 4789 3388 0 -1 64 9 273 0 0 0 0 0 1 16 0 9 0 634680885 888225792 31280 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4795] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4795/stat : 4795 (java) S 4787 4789 3388 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 634680887 888225792 31280 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4796] ppid=4787 vsize=867408 CPUtime=0.26
/proc/4789/task/4796/stat : 4796 (java) S 4787 4789 3388 0 -1 64 590 273 0 0 24 1 0 1 16 0 9 0 634680887 888225792 31280 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4797] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4797/stat : 4797 (java) S 4787 4789 3388 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 634680887 888225792 31280 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4798] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4798/stat : 4798 (java) S 4787 4789 3388 0 -1 64 7 273 0 0 0 0 0 1 15 0 9 0 634680887 888225792 31280 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 867408
[startup+51.1023 s]
/proc/loadavg: 1.99 2.00 2.00 3/82 4802
/proc/meminfo: memFree=1235504/2055920 swapFree=4180236/4192956
[pid=4789] ppid=4787 vsize=867408 CPUtime=50.6
/proc/4789/stat : 4789 (java) S 4787 4789 3388 0 -1 0 46609 273 1 0 5037 22 0 1 18 0 9 0 634680882 888225792 31282 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4789/statm: 216852 31282 2634 9 0 211358 0
[pid=4789/tid=4791] ppid=4787 vsize=867408 CPUtime=49.78
/proc/4789/task/4791/stat : 4791 (java) R 4787 4789 3388 0 -1 64 19909 273 1 0 4966 11 0 1 25 0 9 0 634680883 888225792 31282 996147200 134512640 134550740 4294955984 18446744073709551615 4126824578 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4792] ppid=4787 vsize=867408 CPUtime=0.54
/proc/4789/task/4792/stat : 4792 (java) S 4787 4789 3388 0 -1 64 25267 273 0 0 46 7 0 1 16 0 9 0 634680885 888225792 31282 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4793] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4793/stat : 4793 (java) S 4787 4789 3388 0 -1 64 18 273 0 0 0 0 0 1 17 0 9 0 634680885 888225792 31282 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4794] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4794/stat : 4794 (java) S 4787 4789 3388 0 -1 64 9 273 0 0 0 0 0 1 16 0 9 0 634680885 888225792 31282 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4795] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4795/stat : 4795 (java) S 4787 4789 3388 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 634680887 888225792 31282 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4796] ppid=4787 vsize=867408 CPUtime=0.26
/proc/4789/task/4796/stat : 4796 (java) S 4787 4789 3388 0 -1 64 592 273 0 0 24 1 0 1 16 0 9 0 634680887 888225792 31282 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4797] ppid=4787 vsize=867408 CPUtime=0.01
################
# More data... #
################
/proc/4789/task/4794/stat : 4794 (java) S 4787 4789 3388 0 -1 64 9 273 0 0 0 0 0 1 16 0 9 0 634680885 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4795] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4795/stat : 4795 (java) S 4787 4789 3388 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4796] ppid=4787 vsize=867408 CPUtime=0.27
/proc/4789/task/4796/stat : 4796 (java) S 4787 4789 3388 0 -1 64 595 273 0 0 25 1 0 1 16 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4797] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4797/stat : 4797 (java) S 4787 4789 3388 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4798] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4798/stat : 4798 (java) S 4787 4789 3388 0 -1 64 7 273 0 0 0 0 0 1 15 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1526.59
Current children cumulated vsize (KiB) 867408
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 4850
/proc/meminfo: memFree=1117464/2055920 swapFree=4180236/4192956
[pid=4789] ppid=4787 vsize=867408 CPUtime=1586.23
/proc/4789/stat : 4789 (java) S 4787 4789 3388 0 -1 0 48682 273 1 0 158594 28 0 1 18 0 9 0 634680882 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4789/statm: 216852 31284 2634 9 0 211358 0
[pid=4789/tid=4791] ppid=4787 vsize=867408 CPUtime=1585.41
/proc/4789/task/4791/stat : 4791 (java) R 4787 4789 3388 0 -1 64 21979 273 1 0 158522 18 0 1 25 0 9 0 634680883 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4126824578 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4789/tid=4792] ppid=4787 vsize=867408 CPUtime=0.54
/proc/4789/task/4792/stat : 4792 (java) S 4787 4789 3388 0 -1 64 25267 273 0 0 46 7 0 1 16 0 9 0 634680885 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4793] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4793/stat : 4793 (java) S 4787 4789 3388 0 -1 64 18 273 0 0 0 0 0 1 17 0 9 0 634680885 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4794] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4794/stat : 4794 (java) S 4787 4789 3388 0 -1 64 9 273 0 0 0 0 0 1 16 0 9 0 634680885 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4795] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4795/stat : 4795 (java) S 4787 4789 3388 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4796] ppid=4787 vsize=867408 CPUtime=0.27
/proc/4789/task/4796/stat : 4796 (java) S 4787 4789 3388 0 -1 64 595 273 0 0 25 1 0 1 16 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4797] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4797/stat : 4797 (java) S 4787 4789 3388 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4798] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4798/stat : 4798 (java) S 4787 4789 3388 0 -1 64 7 273 0 0 0 0 0 1 15 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1586.23
Current children cumulated vsize (KiB) 867408
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 4850
/proc/meminfo: memFree=1117400/2055920 swapFree=4180236/4192956
[pid=4789] ppid=4787 vsize=867408 CPUtime=1646.2
/proc/4789/stat : 4789 (java) S 4787 4789 3388 0 -1 0 48757 273 1 0 164591 28 0 1 18 0 9 0 634680882 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4789/statm: 216852 31284 2634 9 0 211358 0
[pid=4789/tid=4791] ppid=4787 vsize=867408 CPUtime=1645.38
/proc/4789/task/4791/stat : 4791 (java) R 4787 4789 3388 0 -1 64 22054 273 1 0 164519 18 0 1 25 0 9 0 634680883 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4126886543 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4789/tid=4792] ppid=4787 vsize=867408 CPUtime=0.54
/proc/4789/task/4792/stat : 4792 (java) S 4787 4789 3388 0 -1 64 25267 273 0 0 46 7 0 1 16 0 9 0 634680885 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4793] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4793/stat : 4793 (java) S 4787 4789 3388 0 -1 64 18 273 0 0 0 0 0 1 17 0 9 0 634680885 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4794] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4794/stat : 4794 (java) S 4787 4789 3388 0 -1 64 9 273 0 0 0 0 0 1 16 0 9 0 634680885 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4795] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4795/stat : 4795 (java) S 4787 4789 3388 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4796] ppid=4787 vsize=867408 CPUtime=0.27
/proc/4789/task/4796/stat : 4796 (java) S 4787 4789 3388 0 -1 64 595 273 0 0 25 1 0 1 16 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4797] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4797/stat : 4797 (java) S 4787 4789 3388 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4798] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4798/stat : 4798 (java) S 4787 4789 3388 0 -1 64 7 273 0 0 0 0 0 1 15 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1646.2
Current children cumulated vsize (KiB) 867408
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 4850
/proc/meminfo: memFree=1117336/2055920 swapFree=4180236/4192956
[pid=4789] ppid=4787 vsize=867408 CPUtime=1706.18
/proc/4789/stat : 4789 (java) S 4787 4789 3388 0 -1 0 48829 273 1 0 170589 28 0 1 18 0 9 0 634680882 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4789/statm: 216852 31284 2634 9 0 211358 0
[pid=4789/tid=4791] ppid=4787 vsize=867408 CPUtime=1705.36
/proc/4789/task/4791/stat : 4791 (java) R 4787 4789 3388 0 -1 64 22126 273 1 0 170517 18 0 1 25 0 9 0 634680883 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4126824578 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4789/tid=4792] ppid=4787 vsize=867408 CPUtime=0.54
/proc/4789/task/4792/stat : 4792 (java) S 4787 4789 3388 0 -1 64 25267 273 0 0 46 7 0 1 16 0 9 0 634680885 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4793] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4793/stat : 4793 (java) S 4787 4789 3388 0 -1 64 18 273 0 0 0 0 0 1 17 0 9 0 634680885 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4794] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4794/stat : 4794 (java) S 4787 4789 3388 0 -1 64 9 273 0 0 0 0 0 1 16 0 9 0 634680885 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4795] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4795/stat : 4795 (java) S 4787 4789 3388 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4796] ppid=4787 vsize=867408 CPUtime=0.27
/proc/4789/task/4796/stat : 4796 (java) S 4787 4789 3388 0 -1 64 595 273 0 0 25 1 0 1 16 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4797] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4797/stat : 4797 (java) S 4787 4789 3388 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4798] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4798/stat : 4798 (java) S 4787 4789 3388 0 -1 64 7 273 0 0 0 0 0 1 15 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1706.18
Current children cumulated vsize (KiB) 867408
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 4850
/proc/meminfo: memFree=1093336/2055920 swapFree=4180236/4192956
[pid=4789] ppid=4787 vsize=867408 CPUtime=1766.02
/proc/4789/stat : 4789 (java) S 4787 4789 3388 0 -1 0 48901 273 1 0 176572 29 0 1 18 0 9 0 634680882 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4789/statm: 216852 31284 2634 9 0 211358 0
[pid=4789/tid=4791] ppid=4787 vsize=867408 CPUtime=1765.2
/proc/4789/task/4791/stat : 4791 (java) R 4787 4789 3388 0 -1 64 22198 273 1 0 176501 18 0 1 25 0 9 0 634680883 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4126824578 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4789/tid=4792] ppid=4787 vsize=867408 CPUtime=0.54
/proc/4789/task/4792/stat : 4792 (java) S 4787 4789 3388 0 -1 64 25267 273 0 0 46 7 0 1 16 0 9 0 634680885 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4793] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4793/stat : 4793 (java) S 4787 4789 3388 0 -1 64 18 273 0 0 0 0 0 1 17 0 9 0 634680885 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4794] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4794/stat : 4794 (java) S 4787 4789 3388 0 -1 64 9 273 0 0 0 0 0 1 16 0 9 0 634680885 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4795] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4795/stat : 4795 (java) S 4787 4789 3388 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4796] ppid=4787 vsize=867408 CPUtime=0.27
/proc/4789/task/4796/stat : 4796 (java) S 4787 4789 3388 0 -1 64 595 273 0 0 25 1 0 1 16 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4797] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4797/stat : 4797 (java) S 4787 4789 3388 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4798] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4798/stat : 4798 (java) S 4787 4789 3388 0 -1 64 7 273 0 0 0 0 0 1 15 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1766.02
Current children cumulated vsize (KiB) 867408
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 4850
/proc/meminfo: memFree=1093336/2055920 swapFree=4180236/4192956
[pid=4789] ppid=4787 vsize=867408 CPUtime=1800.01
/proc/4789/stat : 4789 (java) S 4787 4789 3388 0 -1 0 48947 273 1 0 179971 29 0 1 18 0 9 0 634680882 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4789/statm: 216852 31284 2634 9 0 211358 0
[pid=4789/tid=4791] ppid=4787 vsize=867408 CPUtime=1799.18
/proc/4789/task/4791/stat : 4791 (java) R 4787 4789 3388 0 -1 64 22244 273 1 0 179899 18 0 1 25 0 9 0 634680883 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4126824395 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4789/tid=4792] ppid=4787 vsize=867408 CPUtime=0.54
/proc/4789/task/4792/stat : 4792 (java) S 4787 4789 3388 0 -1 64 25267 273 0 0 46 7 0 1 16 0 9 0 634680885 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4793] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4793/stat : 4793 (java) S 4787 4789 3388 0 -1 64 18 273 0 0 0 0 0 1 17 0 9 0 634680885 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4794] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4794/stat : 4794 (java) S 4787 4789 3388 0 -1 64 9 273 0 0 0 0 0 1 16 0 9 0 634680885 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4795] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4795/stat : 4795 (java) S 4787 4789 3388 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4796] ppid=4787 vsize=867408 CPUtime=0.27
/proc/4789/task/4796/stat : 4796 (java) S 4787 4789 3388 0 -1 64 595 273 0 0 25 1 0 1 16 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4797] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4797/stat : 4797 (java) S 4787 4789 3388 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4798] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4798/stat : 4798 (java) S 4787 4789 3388 0 -1 64 7 273 0 0 0 0 0 1 15 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 867408
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1816.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 4850
/proc/meminfo: memFree=1093336/2055920 swapFree=4180236/4192956
[pid=4789] ppid=4787 vsize=867408 CPUtime=1800.01
/proc/4789/stat : 4789 (java) S 4787 4789 3388 0 -1 0 48947 273 1 0 179971 29 0 1 18 0 9 0 634680882 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4789/statm: 216852 31284 2634 9 0 211358 0
[pid=4789/tid=4791] ppid=4787 vsize=867408 CPUtime=1799.18
/proc/4789/task/4791/stat : 4791 (java) R 4787 4789 3388 0 -1 64 22244 273 1 0 179899 18 0 1 25 0 9 0 634680883 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4126824395 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4789/tid=4792] ppid=4787 vsize=867408 CPUtime=0.54
/proc/4789/task/4792/stat : 4792 (java) S 4787 4789 3388 0 -1 64 25267 273 0 0 46 7 0 1 16 0 9 0 634680885 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4793] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4793/stat : 4793 (java) S 4787 4789 3388 0 -1 64 18 273 0 0 0 0 0 1 17 0 9 0 634680885 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4794] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4794/stat : 4794 (java) S 4787 4789 3388 0 -1 64 9 273 0 0 0 0 0 1 16 0 9 0 634680885 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4795] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4795/stat : 4795 (java) S 4787 4789 3388 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4796] ppid=4787 vsize=867408 CPUtime=0.27
/proc/4789/task/4796/stat : 4796 (java) S 4787 4789 3388 0 -1 64 595 273 0 0 25 1 0 1 16 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4797] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4797/stat : 4797 (java) S 4787 4789 3388 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4789/tid=4798] ppid=4787 vsize=867408 CPUtime=0.01
/proc/4789/task/4798/stat : 4798 (java) S 4787 4789 3388 0 -1 64 7 273 0 0 0 0 0 1 15 0 9 0 634680887 888225792 31284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 867408
Child status: 143
Real time (s): 1816.37
CPU time (s): 1800.09
CPU user time (s): 1799.76
CPU system time (s): 0.328949
CPU usage (%): 99.1038
Max. virtual memory (cumulated for all children) (KiB): 867408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 0.328949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49254
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= 37871
involuntary context switches= 76487
runsolver used 2.28165 second user time and 5.98709 second system time
The end
Begin job on node39 at 2008-07-03 22:37:53
IDJOB=1058719
IDBENCH=54177
IDSOLVER=363
FILE ID=node39/1058719-1215117472
PBS_JOBID= 7877126
Free space on /tmp= 66500 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rand-3-28-28/normalized-rand-3-28-28-93-632-1_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-1058719-1215117472/watcher-1058719-1215117472 -o /tmp/evaluation-result-1058719-1215117472/solver-1058719-1215117472 -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-1058719-1215117472.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= de104b3d685d167e451fd6822022f0ef
RANDOM SEED=131536890
node39.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.267
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.267
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: 1356504 kB
Buffers: 63968 kB
Cached: 320164 kB
SwapCached: 6528 kB
Active: 430824 kB
Inactive: 195880 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1356504 kB
SwapTotal: 4192956 kB
SwapFree: 4180236 kB
Dirty: 7932 kB
Writeback: 0 kB
Mapped: 248372 kB
Slab: 57628 kB
Committed_AS: 1102588 kB
PageTables: 2276 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= 66532 MiB
End job on node39 at 2008-07-03 23:08:11