0.05/0.08
0.05/0.08 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=esac.xml
0.18/0.27
0.18/0.28 instance
0.18/0.28 name=HOME/instance-1081199-1215215916.xml
0.28/0.31
0.28/0.31 domains being loaded...
0.28/0.36
0.28/0.36 variables being loaded...
0.39/0.43 nbVariables=225 nbDomainTypes=225 minDomainSize=1149 maxDomainSize=1247 nbTotalValues=269129
0.39/0.43 => wckTime=0.186 cpuTime=0.14 mem=13M725
0.39/0.43
0.39/0.43 predicates being loaded...
0.39/0.49
0.39/0.49 constraints being loaded...
1.76/1.85 nbConstraints=1800 nbGlobalConstraints=1798 nbConvertedConstraints=2 nbConvertConstraintsChecks=2826130
1.76/1.85 nbExtensionStructures=2 nbSharedExtensionStructures=0 nbConflictsStructures=2 nbSharedConflictsStructures=0
1.76/1.85 nbSharedBinaryRepresentations=234 minDegree=16 maxDegree=17 minArity=2 avgArity=2.11 maxArity=15
1.76/1.85 nbGenerators=0 nbFusions=0 symmetryWckTime=0.382 symmetryCpuTime=0.33 nbCliques=15
1.76/1.85 => wckTime=1.608 cpuTime=1.38 mem=36M336
1.86/1.96
1.86/1.96 solver IterativeSystematicSolver being built...
1.96/2.03
1.96/2.03 INFO : Forward propagation technique limited
2.06/2.11 => wckTime=1.872 cpuTime=1.49 mem=36M711
2.25/2.30
2.25/2.30 preprocessing
2.25/2.30 nbConstraintChecks=58601 nbPropagations=576 nbRevisions=8 nbUselessRevisions=0 nbRemovedValues=163394
2.25/2.30 detectedInconsistency=no
2.25/2.30 => wckTime=0.176 cpuTime=0.15 mem=50M895
8.71/8.99
8.71/8.99 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=31M570)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1081199-1215215916/watcher-1081199-1215215916 -o /tmp/evaluation-result-1081199-1215215916/solver-1081199-1215215916 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1081199-1215215916.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: 2.57 2.16 2.05 3/92 20765
/proc/meminfo: memFree=1443432/2055920 swapFree=4180436/4192956
[pid=20765] ppid=20763 vsize=1616 CPUtime=0
/proc/20765/stat : 20765 (java) R 20763 20765 19582 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 1551263354 1654784 148 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/20765/statm: 404 148 122 9 0 46 0
[startup+0.0641739 s]
/proc/loadavg: 2.57 2.16 2.05 3/92 20765
/proc/meminfo: memFree=1443432/2055920 swapFree=4180436/4192956
[pid=20765] ppid=20763 vsize=864076 CPUtime=0.05
/proc/20765/stat : 20765 (java) S 20763 20765 19582 0 -1 0 2849 0 1 0 4 1 0 0 18 0 9 0 1551263354 884813824 2376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20765/statm: 216019 2377 1136 9 0 210976 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864076
[startup+0.102175 s]
/proc/loadavg: 2.57 2.16 2.05 3/92 20765
/proc/meminfo: memFree=1443432/2055920 swapFree=4180436/4192956
[pid=20765] ppid=20763 vsize=865884 CPUtime=0.09
/proc/20765/stat : 20765 (java) S 20763 20765 19582 0 -1 0 3727 0 1 0 7 2 0 0 18 0 9 0 1551263354 886665216 3193 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20765/statm: 216471 3194 1692 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.301204 s]
/proc/loadavg: 2.57 2.16 2.05 3/92 20765
/proc/meminfo: memFree=1443432/2055920 swapFree=4180436/4192956
[pid=20765] ppid=20763 vsize=866284 CPUtime=0.28
/proc/20765/stat : 20765 (java) S 20763 20765 19582 0 -1 0 5927 0 1 0 24 4 0 0 18 0 9 0 1551263354 887074816 5301 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20765/statm: 216571 5309 1956 9 0 211099 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866284
[startup+0.701258 s]
/proc/loadavg: 2.57 2.16 2.05 3/92 20765
/proc/meminfo: memFree=1443432/2055920 swapFree=4180436/4192956
[pid=20765] ppid=20763 vsize=867636 CPUtime=0.68
/proc/20765/stat : 20765 (java) S 20763 20765 19582 0 -1 0 10412 0 1 0 61 7 0 0 18 0 9 0 1551263354 888459264 9772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20765/statm: 216909 9772 2010 9 0 211415 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867636
[startup+1.50136 s]
/proc/loadavg: 2.57 2.16 2.05 3/101 20774
/proc/meminfo: memFree=1409496/2055920 swapFree=4180436/4192956
[pid=20765] ppid=20763 vsize=867636 CPUtime=1.48
/proc/20765/stat : 20765 (java) S 20763 20765 19582 0 -1 0 13107 0 1 0 133 15 0 0 18 0 9 0 1551263354 888459264 12464 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20765/statm: 216909 12464 2014 9 0 211415 0
[pid=20765/tid=20767] ppid=20763 vsize=867636 CPUtime=1.24
/proc/20765/task/20767/stat : 20767 (java) R 20763 20765 19582 0 -1 64 11707 0 1 0 111 13 0 0 25 0 9 0 1551263355 888459264 12464 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=867636 CPUtime=0
/proc/20765/task/20768/stat : 20768 (java) S 20763 20765 19582 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1551263356 888459264 12464 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20769] ppid=20763 vsize=867636 CPUtime=0
/proc/20765/task/20769/stat : 20769 (java) S 20763 20765 19582 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 1551263357 888459264 12464 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20770] ppid=20763 vsize=867636 CPUtime=0
/proc/20765/task/20770/stat : 20770 (java) S 20763 20765 19582 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 1551263357 888459264 12464 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20771] ppid=20763 vsize=867636 CPUtime=0
/proc/20765/task/20771/stat : 20771 (java) S 20763 20765 19582 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 1551263358 888459264 12464 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20772] ppid=20763 vsize=867636 CPUtime=0.21
/proc/20765/task/20772/stat : 20772 (java) R 20763 20765 19582 0 -1 64 702 0 0 0 21 0 0 0 16 0 9 0 1551263359 888459264 12464 996147200 134512640 134550740 4294955968 18446744073709551615 101660476 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20773] ppid=20763 vsize=867636 CPUtime=0
/proc/20765/task/20773/stat : 20773 (java) S 20763 20765 19582 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1551263359 888459264 12464 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20774] ppid=20763 vsize=867636 CPUtime=0
/proc/20765/task/20774/stat : 20774 (java) S 20763 20765 19582 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1551263359 888459264 12464 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867636
[startup+3.10158 s]
/proc/loadavg: 2.52 2.16 2.05 3/101 20778
/proc/meminfo: memFree=1388824/2055920 swapFree=4180436/4192956
[pid=20765] ppid=20763 vsize=868076 CPUtime=3.03
/proc/20765/stat : 20765 (java) S 20763 20765 19582 0 -1 0 33694 367 1 0 280 22 1 0 18 0 9 0 1551263354 888909824 23147 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20765/statm: 217019 23147 2637 9 0 211525 0
[pid=20765/tid=20767] ppid=20763 vsize=868076 CPUtime=2.55
/proc/20765/task/20767/stat : 20767 (java) R 20763 20765 19582 0 -1 64 21272 367 1 0 238 16 1 0 25 0 9 0 1551263355 888909824 23147 996147200 134512640 134550740 4294955968 18446744073709551615 4127229228 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20768] ppid=20763 vsize=868076 CPUtime=0.13
/proc/20765/task/20768/stat : 20768 (java) S 20763 20765 19582 0 -1 64 10642 367 0 0 9 3 1 0 16 0 9 0 1551263356 888909824 23147 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20769] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20769/stat : 20769 (java) S 20763 20765 19582 0 -1 64 16 367 0 0 0 0 1 0 16 0 9 0 1551263357 888909824 23147 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20770] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20770/stat : 20770 (java) S 20763 20765 19582 0 -1 64 13 367 0 0 0 0 1 0 15 0 9 0 1551263357 888909824 23147 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20771] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20771/stat : 20771 (java) S 20763 20765 19582 0 -1 64 1 367 0 0 0 0 1 0 23 0 9 0 1551263358 888909824 23147 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20772] ppid=20763 vsize=868076 CPUtime=0.34
/proc/20765/task/20772/stat : 20772 (java) S 20763 20765 19582 0 -1 64 940 367 0 0 32 1 1 0 15 0 9 0 1551263359 888909824 23147 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20773] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20773/stat : 20773 (java) S 20763 20765 19582 0 -1 64 1 367 0 0 0 0 1 0 24 0 9 0 1551263359 888909824 23147 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20774] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20774/stat : 20774 (java) S 20763 20765 19582 0 -1 64 10 367 0 0 0 0 1 0 15 0 9 0 1551263359 888909824 23147 996147200 134512640 134550740 4294955968 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) 868076
[startup+6.303 s]
/proc/loadavg: 2.52 2.16 2.05 3/101 20778
/proc/meminfo: memFree=1351512/2055920 swapFree=4180436/4192956
[pid=20765] ppid=20763 vsize=868076 CPUtime=6.17
/proc/20765/stat : 20765 (java) S 20763 20765 19582 0 -1 0 35968 367 1 0 593 23 1 0 18 0 9 0 1551263354 888909824 25384 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20765/statm: 217019 25384 2637 9 0 211525 0
[pid=20765/tid=20767] ppid=20763 vsize=868076 CPUtime=5.64
/proc/20765/task/20767/stat : 20767 (java) R 20763 20765 19582 0 -1 64 21280 367 1 0 547 16 1 0 25 0 9 0 1551263355 888909824 25384 996147200 134512640 134550740 4294955968 18446744073709551615 4127249145 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20768] ppid=20763 vsize=868076 CPUtime=0.15
/proc/20765/task/20768/stat : 20768 (java) S 20763 20765 19582 0 -1 64 12870 367 0 0 11 3 1 0 16 0 9 0 1551263356 888909824 25384 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20769] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20769/stat : 20769 (java) S 20763 20765 19582 0 -1 64 16 367 0 0 0 0 1 0 16 0 9 0 1551263357 888909824 25384 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20770] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20770/stat : 20770 (java) S 20763 20765 19582 0 -1 64 13 367 0 0 0 0 1 0 15 0 9 0 1551263357 888909824 25384 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20771] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20771/stat : 20771 (java) S 20763 20765 19582 0 -1 64 1 367 0 0 0 0 1 0 23 0 9 0 1551263358 888909824 25384 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20772] ppid=20763 vsize=868076 CPUtime=0.35
/proc/20765/task/20772/stat : 20772 (java) S 20763 20765 19582 0 -1 64 950 367 0 0 33 1 1 0 15 0 9 0 1551263359 888909824 25384 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20773] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20773/stat : 20773 (java) S 20763 20765 19582 0 -1 64 1 367 0 0 0 0 1 0 24 0 9 0 1551263359 888909824 25384 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20774] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20774/stat : 20774 (java) S 20763 20765 19582 0 -1 64 38 367 0 0 0 0 1 0 15 0 9 0 1551263359 888909824 25384 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 868076
[startup+12.7028 s]
/proc/loadavg: 2.44 2.15 2.05 3/101 20778
/proc/meminfo: memFree=1349152/2055920 swapFree=4180436/4192956
[pid=20765] ppid=20763 vsize=868076 CPUtime=12.45
/proc/20765/stat : 20765 (java) S 20763 20765 19582 0 -1 0 36565 367 1 0 1220 24 1 0 18 0 9 0 1551263354 888909824 25946 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20765/statm: 217019 25946 2637 9 0 211525 0
[pid=20765/tid=20767] ppid=20763 vsize=868076 CPUtime=11.86
/proc/20765/task/20767/stat : 20767 (java) R 20763 20765 19582 0 -1 64 21291 367 1 0 1169 16 1 0 25 0 9 0 1551263355 888909824 25946 996147200 134512640 134550740 4294955968 18446744073709551615 4126095722 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20768] ppid=20763 vsize=868076 CPUtime=0.2
/proc/20765/task/20768/stat : 20768 (java) S 20763 20765 19582 0 -1 64 13422 367 0 0 15 4 1 0 16 0 9 0 1551263356 888909824 25946 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20769] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20769/stat : 20769 (java) S 20763 20765 19582 0 -1 64 16 367 0 0 0 0 1 0 16 0 9 0 1551263357 888909824 25946 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20770] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20770/stat : 20770 (java) S 20763 20765 19582 0 -1 64 13 367 0 0 0 0 1 0 15 0 9 0 1551263357 888909824 25946 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20771] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20771/stat : 20771 (java) S 20763 20765 19582 0 -1 64 1 367 0 0 0 0 1 0 23 0 9 0 1551263358 888909824 25946 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20772] ppid=20763 vsize=868076 CPUtime=0.37
/proc/20765/task/20772/stat : 20772 (java) S 20763 20765 19582 0 -1 64 984 367 0 0 35 1 1 0 17 0 9 0 1551263359 888909824 25946 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20773] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20773/stat : 20773 (java) S 20763 20765 19582 0 -1 64 1 367 0 0 0 0 1 0 24 0 9 0 1551263359 888909824 25946 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20774] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20774/stat : 20774 (java) S 20763 20765 19582 0 -1 64 38 367 0 0 0 0 1 0 15 0 9 0 1551263359 888909824 25946 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 868076
[startup+25.5025 s]
/proc/loadavg: 2.37 2.15 2.05 3/101 20778
/proc/meminfo: memFree=1347872/2055920 swapFree=4180436/4192956
[pid=20765] ppid=20763 vsize=868076 CPUtime=24.99
/proc/20765/stat : 20765 (java) S 20763 20765 19582 0 -1 0 36909 367 1 0 2474 24 1 0 18 0 9 0 1551263354 888909824 26270 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20765/statm: 217019 26270 2637 9 0 211525 0
[pid=20765/tid=20767] ppid=20763 vsize=868076 CPUtime=24.37
/proc/20765/task/20767/stat : 20767 (java) R 20763 20765 19582 0 -1 64 21310 367 1 0 2419 17 1 0 25 0 9 0 1551263355 888909824 26270 996147200 134512640 134550740 4294955968 18446744073709551615 4126095813 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20768] ppid=20763 vsize=868076 CPUtime=0.24
/proc/20765/task/20768/stat : 20768 (java) S 20763 20765 19582 0 -1 64 13746 367 0 0 19 4 1 0 16 0 9 0 1551263356 888909824 26270 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20769] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20769/stat : 20769 (java) S 20763 20765 19582 0 -1 64 16 367 0 0 0 0 1 0 16 0 9 0 1551263357 888909824 26270 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20770] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20770/stat : 20770 (java) S 20763 20765 19582 0 -1 64 13 367 0 0 0 0 1 0 15 0 9 0 1551263357 888909824 26270 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20771] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20771/stat : 20771 (java) S 20763 20765 19582 0 -1 64 1 367 0 0 0 0 1 0 23 0 9 0 1551263358 888909824 26270 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20772] ppid=20763 vsize=868076 CPUtime=0.37
/proc/20765/task/20772/stat : 20772 (java) S 20763 20765 19582 0 -1 64 985 367 0 0 35 1 1 0 16 0 9 0 1551263359 888909824 26270 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20773] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20773/stat : 20773 (java) S 20763 20765 19582 0 -1 64 1 367 0 0 0 0 1 0 24 0 9 0 1551263359 888909824 26270 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20774] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20774/stat : 20774 (java) S 20763 20765 19582 0 -1 64 38 367 0 0 0 0 1 0 15 0 9 0 1551263359 888909824 26270 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.99
Current children cumulated vsize (KiB) 868076
[startup+51.1029 s]
/proc/loadavg: 2.24 2.14 2.05 3/101 20778
/proc/meminfo: memFree=1347744/2055920 swapFree=4180436/4192956
[pid=20765] ppid=20763 vsize=868076 CPUtime=50.09
/proc/20765/stat : 20765 (java) S 20763 20765 19582 0 -1 0 36972 367 1 0 4984 24 1 0 18 0 9 0 1551263354 888909824 26294 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20765/statm: 217019 26294 2637 9 0 211525 0
[pid=20765/tid=20767] ppid=20763 vsize=868076 CPUtime=49.4
/proc/20765/task/20767/stat : 20767 (java) R 20763 20765 19582 0 -1 64 21349 367 1 0 4922 17 1 0 25 0 9 0 1551263355 888909824 26294 996147200 134512640 134550740 4294955968 18446744073709551615 4126836879 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20768] ppid=20763 vsize=868076 CPUtime=0.3
/proc/20765/task/20768/stat : 20768 (java) S 20763 20765 19582 0 -1 64 13768 367 0 0 25 4 1 0 16 0 9 0 1551263356 888909824 26294 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20769] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20769/stat : 20769 (java) S 20763 20765 19582 0 -1 64 16 367 0 0 0 0 1 0 16 0 9 0 1551263357 888909824 26294 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20770] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20770/stat : 20770 (java) S 20763 20765 19582 0 -1 64 13 367 0 0 0 0 1 0 15 0 9 0 1551263357 888909824 26294 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20771] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20771/stat : 20771 (java) S 20763 20765 19582 0 -1 64 1 367 0 0 0 0 1 0 23 0 9 0 1551263358 888909824 26294 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20772] ppid=20763 vsize=868076 CPUtime=0.38
/proc/20765/task/20772/stat : 20772 (java) S 20763 20765 19582 0 -1 64 987 367 0 0 36 1 1 0 15 0 9 0 1551263359 888909824 26294 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20773] ppid=20763 vsize=868076 CPUtime=0.01
################
# More data... #
################
/proc/20765/task/20770/stat : 20770 (java) S 20763 20765 19582 0 -1 64 13 367 0 0 0 0 1 0 15 0 9 0 1551263357 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20771] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20771/stat : 20771 (java) S 20763 20765 19582 0 -1 64 1 367 0 0 0 0 1 0 23 0 9 0 1551263358 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20772] ppid=20763 vsize=868076 CPUtime=0.38
/proc/20765/task/20772/stat : 20772 (java) S 20763 20765 19582 0 -1 64 987 367 0 0 36 1 1 0 16 0 9 0 1551263359 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20773] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20773/stat : 20773 (java) S 20763 20765 19582 0 -1 64 1 367 0 0 0 0 1 0 24 0 9 0 1551263359 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20774] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20774/stat : 20774 (java) S 20763 20765 19582 0 -1 64 38 367 0 0 0 0 1 0 15 0 9 0 1551263359 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1530.21
Current children cumulated vsize (KiB) 868076
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 20877
/proc/meminfo: memFree=1370112/2055920 swapFree=4180436/4192956
[pid=20765] ppid=20763 vsize=868076 CPUtime=1590.18
/proc/20765/stat : 20765 (java) S 20763 20765 19582 0 -1 0 39144 367 1 0 158963 54 1 0 18 0 9 0 1551263354 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20765/statm: 217019 26320 2637 9 0 211525 0
[pid=20765/tid=20767] ppid=20763 vsize=868076 CPUtime=1586.46
/proc/20765/task/20767/stat : 20767 (java) R 20763 20765 19582 0 -1 64 23495 367 1 0 158614 31 1 0 25 0 9 0 1551263355 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4126095722 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=868076 CPUtime=3.32
/proc/20765/task/20768/stat : 20768 (java) S 20763 20765 19582 0 -1 64 13794 367 0 0 312 19 1 0 16 0 9 0 1551263356 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20769] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20769/stat : 20769 (java) S 20763 20765 19582 0 -1 64 16 367 0 0 0 0 1 0 16 0 9 0 1551263357 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20770] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20770/stat : 20770 (java) S 20763 20765 19582 0 -1 64 13 367 0 0 0 0 1 0 15 0 9 0 1551263357 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20771] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20771/stat : 20771 (java) S 20763 20765 19582 0 -1 64 1 367 0 0 0 0 1 0 23 0 9 0 1551263358 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20772] ppid=20763 vsize=868076 CPUtime=0.38
/proc/20765/task/20772/stat : 20772 (java) S 20763 20765 19582 0 -1 64 987 367 0 0 36 1 1 0 16 0 9 0 1551263359 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20773] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20773/stat : 20773 (java) S 20763 20765 19582 0 -1 64 1 367 0 0 0 0 1 0 24 0 9 0 1551263359 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20774] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20774/stat : 20774 (java) S 20763 20765 19582 0 -1 64 38 367 0 0 0 0 1 0 15 0 9 0 1551263359 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1590.18
Current children cumulated vsize (KiB) 868076
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 20877
/proc/meminfo: memFree=1370048/2055920 swapFree=4180436/4192956
[pid=20765] ppid=20763 vsize=868076 CPUtime=1650.15
/proc/20765/stat : 20765 (java) S 20763 20765 19582 0 -1 0 39226 367 1 0 164960 54 1 0 18 0 9 0 1551263354 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20765/statm: 217019 26320 2637 9 0 211525 0
[pid=20765/tid=20767] ppid=20763 vsize=868076 CPUtime=1646.32
/proc/20765/task/20767/stat : 20767 (java) R 20763 20765 19582 0 -1 64 23577 367 1 0 164600 31 1 0 25 0 9 0 1551263355 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4127161512 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=868076 CPUtime=3.44
/proc/20765/task/20768/stat : 20768 (java) S 20763 20765 19582 0 -1 64 13794 367 0 0 324 19 1 0 17 0 9 0 1551263356 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20769] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20769/stat : 20769 (java) S 20763 20765 19582 0 -1 64 16 367 0 0 0 0 1 0 16 0 9 0 1551263357 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20770] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20770/stat : 20770 (java) S 20763 20765 19582 0 -1 64 13 367 0 0 0 0 1 0 15 0 9 0 1551263357 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20771] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20771/stat : 20771 (java) S 20763 20765 19582 0 -1 64 1 367 0 0 0 0 1 0 23 0 9 0 1551263358 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20772] ppid=20763 vsize=868076 CPUtime=0.38
/proc/20765/task/20772/stat : 20772 (java) S 20763 20765 19582 0 -1 64 987 367 0 0 36 1 1 0 16 0 9 0 1551263359 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20773] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20773/stat : 20773 (java) S 20763 20765 19582 0 -1 64 1 367 0 0 0 0 1 0 24 0 9 0 1551263359 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20774] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20774/stat : 20774 (java) S 20763 20765 19582 0 -1 64 38 367 0 0 0 0 1 0 15 0 9 0 1551263359 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1650.15
Current children cumulated vsize (KiB) 868076
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 20877
/proc/meminfo: memFree=1370112/2055920 swapFree=4180436/4192956
[pid=20765] ppid=20763 vsize=868076 CPUtime=1710.13
/proc/20765/stat : 20765 (java) S 20763 20765 19582 0 -1 0 39296 367 1 0 170957 55 1 0 18 0 9 0 1551263354 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20765/statm: 217019 26320 2637 9 0 211525 0
[pid=20765/tid=20767] ppid=20763 vsize=868076 CPUtime=1706.19
/proc/20765/task/20767/stat : 20767 (java) R 20763 20765 19582 0 -1 64 23647 367 1 0 170587 31 1 0 25 0 9 0 1551263355 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4127173337 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=868076 CPUtime=3.54
/proc/20765/task/20768/stat : 20768 (java) S 20763 20765 19582 0 -1 64 13794 367 0 0 333 20 1 0 17 0 9 0 1551263356 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20769] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20769/stat : 20769 (java) S 20763 20765 19582 0 -1 64 16 367 0 0 0 0 1 0 16 0 9 0 1551263357 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20770] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20770/stat : 20770 (java) S 20763 20765 19582 0 -1 64 13 367 0 0 0 0 1 0 15 0 9 0 1551263357 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20771] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20771/stat : 20771 (java) S 20763 20765 19582 0 -1 64 1 367 0 0 0 0 1 0 23 0 9 0 1551263358 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20772] ppid=20763 vsize=868076 CPUtime=0.38
/proc/20765/task/20772/stat : 20772 (java) S 20763 20765 19582 0 -1 64 987 367 0 0 36 1 1 0 16 0 9 0 1551263359 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20773] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20773/stat : 20773 (java) S 20763 20765 19582 0 -1 64 1 367 0 0 0 0 1 0 24 0 9 0 1551263359 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20774] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20774/stat : 20774 (java) S 20763 20765 19582 0 -1 64 38 367 0 0 0 0 1 0 15 0 9 0 1551263359 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1710.13
Current children cumulated vsize (KiB) 868076
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 20877
/proc/meminfo: memFree=1370112/2055920 swapFree=4180436/4192956
[pid=20765] ppid=20763 vsize=868076 CPUtime=1770.1
/proc/20765/stat : 20765 (java) S 20763 20765 19582 0 -1 0 39363 367 1 0 176953 56 1 0 18 0 9 0 1551263354 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20765/statm: 217019 26320 2637 9 0 211525 0
[pid=20765/tid=20767] ppid=20763 vsize=868076 CPUtime=1766.08
/proc/20765/task/20767/stat : 20767 (java) R 20763 20765 19582 0 -1 64 23714 367 1 0 176575 32 1 0 25 0 9 0 1551263355 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4127059104 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=868076 CPUtime=3.64
/proc/20765/task/20768/stat : 20768 (java) S 20763 20765 19582 0 -1 64 13794 367 0 0 342 21 1 0 17 0 9 0 1551263356 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20769] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20769/stat : 20769 (java) S 20763 20765 19582 0 -1 64 16 367 0 0 0 0 1 0 16 0 9 0 1551263357 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20770] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20770/stat : 20770 (java) S 20763 20765 19582 0 -1 64 13 367 0 0 0 0 1 0 15 0 9 0 1551263357 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20771] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20771/stat : 20771 (java) S 20763 20765 19582 0 -1 64 1 367 0 0 0 0 1 0 23 0 9 0 1551263358 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20772] ppid=20763 vsize=868076 CPUtime=0.38
/proc/20765/task/20772/stat : 20772 (java) S 20763 20765 19582 0 -1 64 987 367 0 0 36 1 1 0 16 0 9 0 1551263359 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20773] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20773/stat : 20773 (java) S 20763 20765 19582 0 -1 64 1 367 0 0 0 0 1 0 24 0 9 0 1551263359 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20774] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20774/stat : 20774 (java) S 20763 20765 19582 0 -1 64 38 367 0 0 0 0 1 0 15 0 9 0 1551263359 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1770.1
Current children cumulated vsize (KiB) 868076
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 20877
/proc/meminfo: memFree=1370112/2055920 swapFree=4180436/4192956
[pid=20765] ppid=20763 vsize=868076 CPUtime=1800.1
/proc/20765/stat : 20765 (java) S 20763 20765 19582 0 -1 0 39398 367 1 0 179953 56 1 0 18 0 9 0 1551263354 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20765/statm: 217019 26320 2637 9 0 211525 0
[pid=20765/tid=20767] ppid=20763 vsize=868076 CPUtime=1796.02
/proc/20765/task/20767/stat : 20767 (java) R 20763 20765 19582 0 -1 64 23749 367 1 0 179569 32 1 0 25 0 9 0 1551263355 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4127157008 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=868076 CPUtime=3.69
/proc/20765/task/20768/stat : 20768 (java) S 20763 20765 19582 0 -1 64 13794 367 0 0 347 21 1 0 17 0 9 0 1551263356 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20769] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20769/stat : 20769 (java) S 20763 20765 19582 0 -1 64 16 367 0 0 0 0 1 0 16 0 9 0 1551263357 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20770] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20770/stat : 20770 (java) S 20763 20765 19582 0 -1 64 13 367 0 0 0 0 1 0 15 0 9 0 1551263357 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20771] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20771/stat : 20771 (java) S 20763 20765 19582 0 -1 64 1 367 0 0 0 0 1 0 23 0 9 0 1551263358 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20772] ppid=20763 vsize=868076 CPUtime=0.38
/proc/20765/task/20772/stat : 20772 (java) S 20763 20765 19582 0 -1 64 987 367 0 0 36 1 1 0 16 0 9 0 1551263359 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20773] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20773/stat : 20773 (java) S 20763 20765 19582 0 -1 64 1 367 0 0 0 0 1 0 24 0 9 0 1551263359 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20774] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20774/stat : 20774 (java) S 20763 20765 19582 0 -1 64 38 367 0 0 0 0 1 0 15 0 9 0 1551263359 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 868076
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1812.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 20877
/proc/meminfo: memFree=1370112/2055920 swapFree=4180436/4192956
[pid=20765] ppid=20763 vsize=868076 CPUtime=1800.1
/proc/20765/stat : 20765 (java) S 20763 20765 19582 0 -1 0 39398 367 1 0 179953 56 1 0 18 0 9 0 1551263354 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20765/statm: 217019 26320 2637 9 0 211525 0
[pid=20765/tid=20767] ppid=20763 vsize=868076 CPUtime=1796.02
/proc/20765/task/20767/stat : 20767 (java) R 20763 20765 19582 0 -1 64 23749 367 1 0 179569 32 1 0 25 0 9 0 1551263355 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4127157008 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=868076 CPUtime=3.69
/proc/20765/task/20768/stat : 20768 (java) S 20763 20765 19582 0 -1 64 13794 367 0 0 347 21 1 0 17 0 9 0 1551263356 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20769] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20769/stat : 20769 (java) S 20763 20765 19582 0 -1 64 16 367 0 0 0 0 1 0 16 0 9 0 1551263357 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20770] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20770/stat : 20770 (java) S 20763 20765 19582 0 -1 64 13 367 0 0 0 0 1 0 15 0 9 0 1551263357 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20765/tid=20771] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20771/stat : 20771 (java) S 20763 20765 19582 0 -1 64 1 367 0 0 0 0 1 0 23 0 9 0 1551263358 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20772] ppid=20763 vsize=868076 CPUtime=0.38
/proc/20765/task/20772/stat : 20772 (java) S 20763 20765 19582 0 -1 64 987 367 0 0 36 1 1 0 16 0 9 0 1551263359 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20773] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20773/stat : 20773 (java) S 20763 20765 19582 0 -1 64 1 367 0 0 0 0 1 0 24 0 9 0 1551263359 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20765/tid=20774] ppid=20763 vsize=868076 CPUtime=0.01
/proc/20765/task/20774/stat : 20774 (java) S 20763 20765 19582 0 -1 64 38 367 0 0 0 0 1 0 15 0 9 0 1551263359 888909824 26320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 868076
Child status: 143
Real time (s): 1812.38
CPU time (s): 1800.21
CPU user time (s): 1799.61
CPU system time (s): 0.595909
CPU usage (%): 99.328
Max. virtual memory (cumulated for all children) (KiB): 868076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.595909
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39795
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= 54172
involuntary context switches= 65538
runsolver used 2.6146 second user time and 5.43417 second system time
The end
Begin job on node13 at 2008-07-05 01:58:36
IDJOB=1081199
IDBENCH=57084
IDSOLVER=364
FILE ID=node13/1081199-1215215916
PBS_JOBID= 7881759
Free space on /tmp= 66500 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/js-taillard-15/normalized-js-taillard-15-100-0.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1081199-1215215916/watcher-1081199-1215215916 -o /tmp/evaluation-result-1081199-1215215916/solver-1081199-1215215916 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1081199-1215215916.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 183bb6c12d5c0d952ccfd5001b683c61
RANDOM SEED=1821844745
node13.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.238
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.238
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: 1443912 kB
Buffers: 59016 kB
Cached: 387312 kB
SwapCached: 6892 kB
Active: 280396 kB
Inactive: 272208 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1443912 kB
SwapTotal: 4192956 kB
SwapFree: 4180436 kB
Dirty: 2280 kB
Writeback: 0 kB
Mapped: 123108 kB
Slab: 44092 kB
Committed_AS: 3705716 kB
PageTables: 2312 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= 66520 MiB
End job on node13 at 2008-07-05 02:28:50