0.01/0.09
0.01/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mac.xml
0.29/0.32
0.29/0.32 instance
0.29/0.32 name=HOME/instance-1095660-1215257560.xml
0.29/0.36
0.29/0.36 domains being loaded...
0.29/0.37
0.29/0.37 variables being loaded...
0.29/0.39 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28 nbTotalValues=784
0.29/0.39 => wckTime=0.148 cpuTime=0.11 mem=7M919
0.29/0.39
0.29/0.39 relations being loaded...
1.38/1.49
1.38/1.49 constraints being loaded...
2.26/2.38 nbConstraints=92 nbRelationTypes=93 nbGlobalConstraints=92 nbMergedConstraints=1 nbExtensionStructures=92
2.26/2.38 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.26/2.38 nbSharedBinaryRepresentations=0 minDegree=4 maxDegree=15 minArity=3 maxArity=3 nbGenerators=0 nbFusions=0
2.26/2.38 symmetryWckTime=0.063 symmetryCpuTime=0.03
2.26/2.38 => wckTime=2.136 cpuTime=1.65 mem=61M989
2.54/2.62
2.54/2.62 solver IterativeSystematicSolver being built...
2.54/2.69
2.54/2.69 INFO : Forward propagation technique limited
2.65/2.77 => wckTime=2.522 cpuTime=1.77 mem=63M854
2.74/2.86
2.74/2.86 preprocessing
2.74/2.86 nbConstraintChecks=0 nbValidityChecks=738206 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0
2.74/2.86 nbRemovedValues=0 detectedInconsistency=no
2.74/2.86 => wckTime=0.087 cpuTime=0.07 mem=64M881
4.42/4.59
4.42/4.59 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=65M875)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1095660-1215257560/watcher-1095660-1215257560 -o /tmp/evaluation-result-1095660-1215257560/solver-1095660-1215257560 -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-1095660-1215257560.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 1.98 1.99 4/73 26943
/proc/meminfo: memFree=1418424/2055920 swapFree=4122888/4192956
[pid=26943] ppid=26941 vsize=1616 CPUtime=0
/proc/26943/stat : 26943 (java) R 26941 26943 25919 0 -1 0 179 0 0 0 0 0 0 0 18 0 1 0 1555431123 1654784 147 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/26943/statm: 404 148 122 9 0 46 0
[startup+0.0313079 s]
/proc/loadavg: 1.99 1.98 1.99 4/73 26943
/proc/meminfo: memFree=1418424/2055920 swapFree=4122888/4192956
[pid=26943] ppid=26941 vsize=861876 CPUtime=0.01
/proc/26943/stat : 26943 (java) S 26941 26943 25919 0 -1 0 1898 0 1 0 0 1 0 0 18 0 5 0 1555431123 882561024 1583 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/26943/statm: 215469 1583 702 9 0 210448 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861876
[startup+0.114315 s]
/proc/loadavg: 1.99 1.98 1.99 4/73 26943
/proc/meminfo: memFree=1418424/2055920 swapFree=4122888/4192956
[pid=26943] ppid=26941 vsize=865884 CPUtime=0.1
/proc/26943/stat : 26943 (java) S 26941 26943 25919 0 -1 0 3890 0 1 0 8 2 0 0 18 0 9 0 1555431123 886665216 3330 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26943/statm: 216471 3330 1750 9 0 211026 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 865884
[startup+0.302336 s]
/proc/loadavg: 1.99 1.98 1.99 4/73 26943
/proc/meminfo: memFree=1418424/2055920 swapFree=4122888/4192956
[pid=26943] ppid=26941 vsize=866196 CPUtime=0.29
/proc/26943/stat : 26943 (java) S 26941 26943 25919 0 -1 0 5610 0 1 0 25 4 0 0 18 0 9 0 1555431123 886984704 5024 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26943/statm: 216549 5024 1902 9 0 211097 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866196
[startup+0.702383 s]
/proc/loadavg: 1.99 1.98 1.99 4/73 26943
/proc/meminfo: memFree=1418424/2055920 swapFree=4122888/4192956
[pid=26943] ppid=26941 vsize=866408 CPUtime=0.68
/proc/26943/stat : 26943 (java) S 26941 26943 25919 0 -1 0 10570 0 1 0 61 7 0 0 18 0 9 0 1555431123 887201792 9940 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26943/statm: 216602 9940 1969 9 0 211130 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866408
[startup+1.50245 s]
/proc/loadavg: 1.99 1.98 1.99 4/82 26952
/proc/meminfo: memFree=1355568/2055920 swapFree=4122888/4192956
[pid=26943] ppid=26941 vsize=866540 CPUtime=1.47
/proc/26943/stat : 26943 (java) S 26941 26943 25919 0 -1 0 19354 0 1 0 134 13 0 0 18 0 9 0 1555431123 887336960 18722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26943/statm: 216635 18722 1984 9 0 211163 0
[pid=26943/tid=26945] ppid=26941 vsize=866540 CPUtime=1.31
/proc/26943/task/26945/stat : 26945 (java) R 26941 26943 25919 0 -1 64 15658 0 1 0 121 10 0 0 25 0 9 0 1555431124 887336960 18722 996147200 134512640 134550740 4294955968 18446744073709551615 102066852 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26946] ppid=26941 vsize=866540 CPUtime=0.05
/proc/26943/task/26946/stat : 26946 (java) S 26941 26943 25919 0 -1 64 2668 0 0 0 4 1 0 0 17 0 9 0 1555431126 887336960 18722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26947] ppid=26941 vsize=866540 CPUtime=0
/proc/26943/task/26947/stat : 26947 (java) S 26941 26943 25919 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1555431126 887336960 18722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26948] ppid=26941 vsize=866540 CPUtime=0
/proc/26943/task/26948/stat : 26948 (java) S 26941 26943 25919 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1555431126 887336960 18722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26949] ppid=26941 vsize=866540 CPUtime=0
/proc/26943/task/26949/stat : 26949 (java) S 26941 26943 25919 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1555431128 887336960 18722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26950] ppid=26941 vsize=866540 CPUtime=0.08
/proc/26943/task/26950/stat : 26950 (java) S 26941 26943 25919 0 -1 64 332 0 0 0 8 0 0 0 16 0 9 0 1555431128 887336960 18722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26951] ppid=26941 vsize=866540 CPUtime=0
/proc/26943/task/26951/stat : 26951 (java) S 26941 26943 25919 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1555431128 887336960 18722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26952] ppid=26941 vsize=866540 CPUtime=0
/proc/26943/task/26952/stat : 26952 (java) S 26941 26943 25919 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1555431128 887336960 18722 996147200 134512640 134550740 4294955968 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.10162 s]
/proc/loadavg: 1.99 1.98 1.99 4/82 26952
/proc/meminfo: memFree=1325808/2055920 swapFree=4122888/4192956
[pid=26943] ppid=26941 vsize=867276 CPUtime=3.04
/proc/26943/stat : 26943 (java) S 26941 26943 25919 0 -1 0 46611 273 1 0 280 23 0 1 18 0 9 0 1555431123 888090624 31322 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26943/statm: 216819 31322 2634 9 0 211325 0
[pid=26943/tid=26945] ppid=26941 vsize=867276 CPUtime=2.28
/proc/26943/task/26945/stat : 26945 (java) R 26941 26943 25919 0 -1 64 19792 273 1 0 216 11 0 1 25 0 9 0 1555431124 888090624 31322 996147200 134512640 134550740 4294955968 18446744073709551615 4126828226 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26946] ppid=26941 vsize=867276 CPUtime=0.53
/proc/26943/task/26946/stat : 26946 (java) S 26941 26943 25919 0 -1 64 25431 273 0 0 43 9 0 1 18 0 9 0 1555431126 888090624 31322 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26947] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26947/stat : 26947 (java) S 26941 26943 25919 0 -1 64 18 273 0 0 0 0 0 1 17 0 9 0 1555431126 888090624 31322 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26948] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26948/stat : 26948 (java) S 26941 26943 25919 0 -1 64 9 273 0 0 0 0 0 1 16 0 9 0 1555431126 888090624 31322 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26949] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26949/stat : 26949 (java) S 26941 26943 25919 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 1555431128 888090624 31322 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26950] ppid=26941 vsize=867276 CPUtime=0.2
/proc/26943/task/26950/stat : 26950 (java) S 26941 26943 25919 0 -1 64 549 273 0 0 19 0 0 1 15 0 9 0 1555431128 888090624 31322 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26951] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26951/stat : 26951 (java) S 26941 26943 25919 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 1555431128 888090624 31322 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26952] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26952/stat : 26952 (java) S 26941 26943 25919 0 -1 64 5 273 0 0 0 0 0 1 15 0 9 0 1555431128 888090624 31322 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867276
[startup+6.30294 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 26956
/proc/meminfo: memFree=1302512/2055920 swapFree=4122888/4192956
[pid=26943] ppid=26941 vsize=867276 CPUtime=6.22
/proc/26943/stat : 26943 (java) S 26941 26943 25919 0 -1 0 46649 273 1 0 597 24 0 1 18 0 9 0 1555431123 888090624 31342 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26943/statm: 216819 31342 2634 9 0 211325 0
[pid=26943/tid=26945] ppid=26941 vsize=867276 CPUtime=5.42
/proc/26943/task/26945/stat : 26945 (java) R 26941 26943 25919 0 -1 64 19810 273 1 0 529 12 0 1 25 0 9 0 1555431124 888090624 31342 996147200 134512640 134550740 4294955968 18446744073709551615 4126828069 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26946] ppid=26941 vsize=867276 CPUtime=0.53
/proc/26943/task/26946/stat : 26946 (java) S 26941 26943 25919 0 -1 64 25431 273 0 0 43 9 0 1 17 0 9 0 1555431126 888090624 31342 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26947] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26947/stat : 26947 (java) S 26941 26943 25919 0 -1 64 18 273 0 0 0 0 0 1 17 0 9 0 1555431126 888090624 31342 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26948] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26948/stat : 26948 (java) S 26941 26943 25919 0 -1 64 9 273 0 0 0 0 0 1 16 0 9 0 1555431126 888090624 31342 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26949] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26949/stat : 26949 (java) S 26941 26943 25919 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 1555431128 888090624 31342 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26950] ppid=26941 vsize=867276 CPUtime=0.24
/proc/26943/task/26950/stat : 26950 (java) S 26941 26943 25919 0 -1 64 569 273 0 0 23 0 0 1 15 0 9 0 1555431128 888090624 31342 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26951] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26951/stat : 26951 (java) S 26941 26943 25919 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 1555431128 888090624 31342 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26952] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26952/stat : 26952 (java) S 26941 26943 25919 0 -1 64 5 273 0 0 0 0 0 1 15 0 9 0 1555431128 888090624 31342 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867276
[startup+12.7016 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 26956
/proc/meminfo: memFree=1302064/2055920 swapFree=4122888/4192956
[pid=26943] ppid=26941 vsize=867276 CPUtime=12.56
/proc/26943/stat : 26943 (java) S 26941 26943 25919 0 -1 0 46675 273 1 0 1231 24 0 1 18 0 9 0 1555431123 888090624 31353 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26943/statm: 216819 31353 2634 9 0 211325 0
[pid=26943/tid=26945] ppid=26941 vsize=867276 CPUtime=11.74
/proc/26943/task/26945/stat : 26945 (java) R 26941 26943 25919 0 -1 64 19821 273 1 0 1161 12 0 1 25 0 9 0 1555431124 888090624 31353 996147200 134512640 134550740 4294955968 18446744073709551615 4126816953 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26946] ppid=26941 vsize=867276 CPUtime=0.53
/proc/26943/task/26946/stat : 26946 (java) S 26941 26943 25919 0 -1 64 25431 273 0 0 43 9 0 1 17 0 9 0 1555431126 888090624 31353 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26947] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26947/stat : 26947 (java) S 26941 26943 25919 0 -1 64 18 273 0 0 0 0 0 1 17 0 9 0 1555431126 888090624 31353 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26948] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26948/stat : 26948 (java) S 26941 26943 25919 0 -1 64 9 273 0 0 0 0 0 1 16 0 9 0 1555431126 888090624 31353 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26949] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26949/stat : 26949 (java) S 26941 26943 25919 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 1555431128 888090624 31353 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26950] ppid=26941 vsize=867276 CPUtime=0.26
/proc/26943/task/26950/stat : 26950 (java) S 26941 26943 25919 0 -1 64 584 273 0 0 25 0 0 1 15 0 9 0 1555431128 888090624 31353 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26951] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26951/stat : 26951 (java) S 26941 26943 25919 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 1555431128 888090624 31353 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26952] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26952/stat : 26952 (java) S 26941 26943 25919 0 -1 64 5 273 0 0 0 0 0 1 15 0 9 0 1555431128 888090624 31353 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867276
[startup+25.5028 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 26956
/proc/meminfo: memFree=1300592/2055920 swapFree=4122888/4192956
[pid=26943] ppid=26941 vsize=867276 CPUtime=25.23
/proc/26943/stat : 26943 (java) S 26941 26943 25919 0 -1 0 46698 273 1 0 2498 24 0 1 18 0 9 0 1555431123 888090624 31357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26943/statm: 216819 31357 2634 9 0 211325 0
[pid=26943/tid=26945] ppid=26941 vsize=867276 CPUtime=24.41
/proc/26943/task/26945/stat : 26945 (java) R 26941 26943 25919 0 -1 64 19839 273 1 0 2428 12 0 1 25 0 9 0 1555431124 888090624 31357 996147200 134512640 134550740 4294955968 18446744073709551615 4126828226 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26946] ppid=26941 vsize=867276 CPUtime=0.53
/proc/26943/task/26946/stat : 26946 (java) S 26941 26943 25919 0 -1 64 25431 273 0 0 43 9 0 1 16 0 9 0 1555431126 888090624 31357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26947] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26947/stat : 26947 (java) S 26941 26943 25919 0 -1 64 18 273 0 0 0 0 0 1 17 0 9 0 1555431126 888090624 31357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26948] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26948/stat : 26948 (java) S 26941 26943 25919 0 -1 64 9 273 0 0 0 0 0 1 16 0 9 0 1555431126 888090624 31357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26949] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26949/stat : 26949 (java) S 26941 26943 25919 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 1555431128 888090624 31357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26950] ppid=26941 vsize=867276 CPUtime=0.27
/proc/26943/task/26950/stat : 26950 (java) S 26941 26943 25919 0 -1 64 589 273 0 0 26 0 0 1 16 0 9 0 1555431128 888090624 31357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26951] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26951/stat : 26951 (java) S 26941 26943 25919 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 1555431128 888090624 31357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26952] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26952/stat : 26952 (java) S 26941 26943 25919 0 -1 64 5 273 0 0 0 0 0 1 15 0 9 0 1555431128 888090624 31357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867276
[startup+51.1024 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 26956
/proc/meminfo: memFree=1298032/2055920 swapFree=4122888/4192956
[pid=26943] ppid=26941 vsize=867276 CPUtime=50.59
/proc/26943/stat : 26943 (java) S 26941 26943 25919 0 -1 0 46729 273 1 0 5034 24 0 1 18 0 9 0 1555431123 888090624 31357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26943/statm: 216819 31357 2634 9 0 211325 0
[pid=26943/tid=26945] ppid=26941 vsize=867276 CPUtime=49.76
/proc/26943/task/26945/stat : 26945 (java) R 26941 26943 25919 0 -1 64 19870 273 1 0 4963 12 0 1 25 0 9 0 1555431124 888090624 31357 996147200 134512640 134550740 4294955968 18446744073709551615 4126828226 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26946] ppid=26941 vsize=867276 CPUtime=0.53
/proc/26943/task/26946/stat : 26946 (java) S 26941 26943 25919 0 -1 64 25431 273 0 0 43 9 0 1 17 0 9 0 1555431126 888090624 31357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26947] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26947/stat : 26947 (java) S 26941 26943 25919 0 -1 64 18 273 0 0 0 0 0 1 17 0 9 0 1555431126 888090624 31357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26948] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26948/stat : 26948 (java) S 26941 26943 25919 0 -1 64 9 273 0 0 0 0 0 1 16 0 9 0 1555431126 888090624 31357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26949] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26949/stat : 26949 (java) S 26941 26943 25919 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 1555431128 888090624 31357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26950] ppid=26941 vsize=867276 CPUtime=0.27
/proc/26943/task/26950/stat : 26950 (java) S 26941 26943 25919 0 -1 64 589 273 0 0 26 0 0 1 16 0 9 0 1555431128 888090624 31357 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26951] ppid=26941 vsize=867276 CPUtime=0.01
################
# More data... #
################
/proc/26943/task/26948/stat : 26948 (java) S 26941 26943 25919 0 -1 64 9 273 0 0 0 0 0 1 16 0 9 0 1555431126 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26949] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26949/stat : 26949 (java) S 26941 26943 25919 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26950] ppid=26941 vsize=867276 CPUtime=0.28
/proc/26943/task/26950/stat : 26950 (java) S 26941 26943 25919 0 -1 64 594 273 0 0 27 0 0 1 16 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26951] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26951/stat : 26951 (java) S 26941 26943 25919 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26952] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26952/stat : 26952 (java) S 26941 26943 25919 0 -1 64 5 273 0 0 0 0 0 1 15 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1468.22
Current children cumulated vsize (KiB) 867276
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 27014
/proc/meminfo: memFree=1408456/2055920 swapFree=4122888/4192956
[pid=26943] ppid=26941 vsize=867276 CPUtime=1527.91
/proc/26943/stat : 26943 (java) S 26941 26943 25919 0 -1 0 48357 273 1 0 152760 30 0 1 18 0 9 0 1555431123 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26943/statm: 216819 31361 2634 9 0 211325 0
[pid=26943/tid=26945] ppid=26941 vsize=867276 CPUtime=1527.07
/proc/26943/task/26945/stat : 26945 (java) R 26941 26943 25919 0 -1 64 21493 273 1 0 152688 18 0 1 25 0 9 0 1555431124 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4126816936 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26943/tid=26946] ppid=26941 vsize=867276 CPUtime=0.53
/proc/26943/task/26946/stat : 26946 (java) S 26941 26943 25919 0 -1 64 25431 273 0 0 43 9 0 1 16 0 9 0 1555431126 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26947] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26947/stat : 26947 (java) S 26941 26943 25919 0 -1 64 18 273 0 0 0 0 0 1 17 0 9 0 1555431126 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26948] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26948/stat : 26948 (java) S 26941 26943 25919 0 -1 64 9 273 0 0 0 0 0 1 16 0 9 0 1555431126 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26949] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26949/stat : 26949 (java) S 26941 26943 25919 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26950] ppid=26941 vsize=867276 CPUtime=0.28
/proc/26943/task/26950/stat : 26950 (java) S 26941 26943 25919 0 -1 64 594 273 0 0 27 0 0 1 16 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26951] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26951/stat : 26951 (java) S 26941 26943 25919 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26952] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26952/stat : 26952 (java) S 26941 26943 25919 0 -1 64 5 273 0 0 0 0 0 1 15 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1527.91
Current children cumulated vsize (KiB) 867276
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 27014
/proc/meminfo: memFree=1408392/2055920 swapFree=4122888/4192956
[pid=26943] ppid=26941 vsize=867276 CPUtime=1587.86
/proc/26943/stat : 26943 (java) S 26941 26943 25919 0 -1 0 48450 273 1 0 158755 30 0 1 18 0 9 0 1555431123 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26943/statm: 216819 31361 2634 9 0 211325 0
[pid=26943/tid=26945] ppid=26941 vsize=867276 CPUtime=1587.02
/proc/26943/task/26945/stat : 26945 (java) R 26941 26943 25919 0 -1 64 21586 273 1 0 158683 18 0 1 25 0 9 0 1555431124 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4126828226 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26943/tid=26946] ppid=26941 vsize=867276 CPUtime=0.53
/proc/26943/task/26946/stat : 26946 (java) S 26941 26943 25919 0 -1 64 25431 273 0 0 43 9 0 1 16 0 9 0 1555431126 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26947] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26947/stat : 26947 (java) S 26941 26943 25919 0 -1 64 18 273 0 0 0 0 0 1 17 0 9 0 1555431126 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26948] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26948/stat : 26948 (java) S 26941 26943 25919 0 -1 64 9 273 0 0 0 0 0 1 16 0 9 0 1555431126 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26949] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26949/stat : 26949 (java) S 26941 26943 25919 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26950] ppid=26941 vsize=867276 CPUtime=0.28
/proc/26943/task/26950/stat : 26950 (java) S 26941 26943 25919 0 -1 64 594 273 0 0 27 0 0 1 16 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26951] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26951/stat : 26951 (java) S 26941 26943 25919 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26952] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26952/stat : 26952 (java) S 26941 26943 25919 0 -1 64 5 273 0 0 0 0 0 1 15 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1587.86
Current children cumulated vsize (KiB) 867276
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 27014
/proc/meminfo: memFree=1408328/2055920 swapFree=4122888/4192956
[pid=26943] ppid=26941 vsize=867276 CPUtime=1647.81
/proc/26943/stat : 26943 (java) S 26941 26943 25919 0 -1 0 48523 273 1 0 164750 30 0 1 18 0 9 0 1555431123 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26943/statm: 216819 31361 2634 9 0 211325 0
[pid=26943/tid=26945] ppid=26941 vsize=867276 CPUtime=1646.97
/proc/26943/task/26945/stat : 26945 (java) R 26941 26943 25919 0 -1 64 21659 273 1 0 164678 18 0 1 25 0 9 0 1555431124 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4126828226 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26943/tid=26946] ppid=26941 vsize=867276 CPUtime=0.53
/proc/26943/task/26946/stat : 26946 (java) S 26941 26943 25919 0 -1 64 25431 273 0 0 43 9 0 1 16 0 9 0 1555431126 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26947] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26947/stat : 26947 (java) S 26941 26943 25919 0 -1 64 18 273 0 0 0 0 0 1 17 0 9 0 1555431126 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26948] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26948/stat : 26948 (java) S 26941 26943 25919 0 -1 64 9 273 0 0 0 0 0 1 16 0 9 0 1555431126 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26949] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26949/stat : 26949 (java) S 26941 26943 25919 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26950] ppid=26941 vsize=867276 CPUtime=0.28
/proc/26943/task/26950/stat : 26950 (java) S 26941 26943 25919 0 -1 64 594 273 0 0 27 0 0 1 16 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26951] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26951/stat : 26951 (java) S 26941 26943 25919 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26952] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26952/stat : 26952 (java) S 26941 26943 25919 0 -1 64 5 273 0 0 0 0 0 1 15 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1647.81
Current children cumulated vsize (KiB) 867276
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 27020
/proc/meminfo: memFree=1408200/2055920 swapFree=4122888/4192956
[pid=26943] ppid=26941 vsize=867276 CPUtime=1707.76
/proc/26943/stat : 26943 (java) S 26941 26943 25919 0 -1 0 48605 273 1 0 170745 30 0 1 18 0 9 0 1555431123 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26943/statm: 216819 31361 2634 9 0 211325 0
[pid=26943/tid=26945] ppid=26941 vsize=867276 CPUtime=1706.92
/proc/26943/task/26945/stat : 26945 (java) R 26941 26943 25919 0 -1 64 21741 273 1 0 170673 18 0 1 25 0 9 0 1555431124 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4126816971 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26943/tid=26946] ppid=26941 vsize=867276 CPUtime=0.53
/proc/26943/task/26946/stat : 26946 (java) S 26941 26943 25919 0 -1 64 25431 273 0 0 43 9 0 1 16 0 9 0 1555431126 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26947] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26947/stat : 26947 (java) S 26941 26943 25919 0 -1 64 18 273 0 0 0 0 0 1 17 0 9 0 1555431126 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26948] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26948/stat : 26948 (java) S 26941 26943 25919 0 -1 64 9 273 0 0 0 0 0 1 16 0 9 0 1555431126 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26949] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26949/stat : 26949 (java) S 26941 26943 25919 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26950] ppid=26941 vsize=867276 CPUtime=0.28
/proc/26943/task/26950/stat : 26950 (java) S 26941 26943 25919 0 -1 64 594 273 0 0 27 0 0 1 16 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26951] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26951/stat : 26951 (java) S 26941 26943 25919 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26952] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26952/stat : 26952 (java) S 26941 26943 25919 0 -1 64 5 273 0 0 0 0 0 1 15 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1707.76
Current children cumulated vsize (KiB) 867276
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 27020
/proc/meminfo: memFree=1408200/2055920 swapFree=4122888/4192956
[pid=26943] ppid=26941 vsize=867276 CPUtime=1767.71
/proc/26943/stat : 26943 (java) S 26941 26943 25919 0 -1 0 48682 273 1 0 176740 30 0 1 18 0 9 0 1555431123 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26943/statm: 216819 31361 2634 9 0 211325 0
[pid=26943/tid=26945] ppid=26941 vsize=867276 CPUtime=1766.88
/proc/26943/task/26945/stat : 26945 (java) R 26941 26943 25919 0 -1 64 21818 273 1 0 176669 18 0 1 25 0 9 0 1555431124 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4126828236 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26943/tid=26946] ppid=26941 vsize=867276 CPUtime=0.53
/proc/26943/task/26946/stat : 26946 (java) S 26941 26943 25919 0 -1 64 25431 273 0 0 43 9 0 1 16 0 9 0 1555431126 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26947] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26947/stat : 26947 (java) S 26941 26943 25919 0 -1 64 18 273 0 0 0 0 0 1 17 0 9 0 1555431126 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26948] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26948/stat : 26948 (java) S 26941 26943 25919 0 -1 64 9 273 0 0 0 0 0 1 16 0 9 0 1555431126 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26949] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26949/stat : 26949 (java) S 26941 26943 25919 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26950] ppid=26941 vsize=867276 CPUtime=0.28
/proc/26943/task/26950/stat : 26950 (java) S 26941 26943 25919 0 -1 64 594 273 0 0 27 0 0 1 16 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26951] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26951/stat : 26951 (java) S 26941 26943 25919 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26952] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26952/stat : 26952 (java) S 26941 26943 25919 0 -1 64 5 273 0 0 0 0 0 1 15 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1767.71
Current children cumulated vsize (KiB) 867276
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 27020
/proc/meminfo: memFree=1408200/2055920 swapFree=4122888/4192956
[pid=26943] ppid=26941 vsize=867276 CPUtime=1800
/proc/26943/stat : 26943 (java) S 26941 26943 25919 0 -1 0 48734 273 1 0 179968 31 0 1 18 0 9 0 1555431123 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26943/statm: 216819 31361 2634 9 0 211325 0
[pid=26943/tid=26945] ppid=26941 vsize=867276 CPUtime=1799.15
/proc/26943/task/26945/stat : 26945 (java) R 26941 26943 25919 0 -1 64 21870 273 1 0 179896 18 0 1 25 0 9 0 1555431124 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4126816957 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26943/tid=26946] ppid=26941 vsize=867276 CPUtime=0.53
/proc/26943/task/26946/stat : 26946 (java) S 26941 26943 25919 0 -1 64 25431 273 0 0 43 9 0 1 16 0 9 0 1555431126 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26947] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26947/stat : 26947 (java) S 26941 26943 25919 0 -1 64 18 273 0 0 0 0 0 1 17 0 9 0 1555431126 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26948] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26948/stat : 26948 (java) S 26941 26943 25919 0 -1 64 9 273 0 0 0 0 0 1 16 0 9 0 1555431126 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26949] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26949/stat : 26949 (java) S 26941 26943 25919 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26950] ppid=26941 vsize=867276 CPUtime=0.28
/proc/26943/task/26950/stat : 26950 (java) S 26941 26943 25919 0 -1 64 594 273 0 0 27 0 0 1 16 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26951] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26951/stat : 26951 (java) S 26941 26943 25919 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26943/tid=26952] ppid=26941 vsize=867276 CPUtime=0.01
/proc/26943/task/26952/stat : 26952 (java) S 26941 26943 25919 0 -1 64 5 273 0 0 0 0 0 1 15 0 9 0 1555431128 888090624 31361 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 867276
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1814.66
CPU time (s): 1800.07
CPU user time (s): 1799.73
CPU system time (s): 0.345947
CPU usage (%): 99.196
Max. virtual memory (cumulated for all children) (KiB): 867276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.73
system time used= 0.345947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49041
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= 37851
involuntary context switches= 70202
runsolver used 2.23166 second user time and 6.03308 second system time
The end
Begin job on node12 at 2008-07-05 13:32:41
IDJOB=1095660
IDBENCH=58918
IDSOLVER=363
FILE ID=node12/1095660-1215257560
PBS_JOBID= 7882044
Free space on /tmp= 66316 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-16_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-1095660-1215257560/watcher-1095660-1215257560 -o /tmp/evaluation-result-1095660-1215257560/solver-1095660-1215257560 -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-1095660-1215257560.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 3e7c22ea42ffb146e868bd2083037eff
RANDOM SEED=1663319882
node12.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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1418904 kB
Buffers: 65056 kB
Cached: 279988 kB
SwapCached: 64520 kB
Active: 457844 kB
Inactive: 123068 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1418904 kB
SwapTotal: 4192956 kB
SwapFree: 4122888 kB
Dirty: 7856 kB
Writeback: 0 kB
Mapped: 241984 kB
Slab: 41008 kB
Committed_AS: 3200568 kB
PageTables: 2284 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= 66324 MiB
End job on node12 at 2008-07-05 14:02:57