0.04/0.08
0.04/0.08 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=mac.xml
0.19/0.27
0.19/0.27 instance
0.19/0.27 name=HOME/instance-1081114-1215215460.xml
0.29/0.31
0.29/0.31 domains being loaded...
0.29/0.36
0.29/0.36 variables being loaded...
0.38/0.43 nbVariables=225 nbDomainTypes=225 minDomainSize=1076 maxDomainSize=1174 nbTotalValues=253123
0.38/0.43 => wckTime=0.189 cpuTime=0.15 mem=13M727
0.38/0.43
0.38/0.43 predicates being loaded...
0.38/0.49
0.38/0.49 constraints being loaded...
1.67/1.78 nbConstraints=1800 nbGlobalConstraints=1798 nbConvertedConstraints=2 nbConvertConstraintsChecks=2510370
1.67/1.78 nbExtensionStructures=2 nbSharedExtensionStructures=0 nbConflictsStructures=2 nbSharedConflictsStructures=0
1.67/1.78 nbSharedBinaryRepresentations=216 minDegree=16 maxDegree=17 minArity=2 avgArity=2.11 maxArity=15
1.67/1.78 nbGenerators=0 nbFusions=0 symmetryWckTime=0.358 symmetryCpuTime=0.29 nbCliques=15
1.67/1.78 => wckTime=1.54 cpuTime=1.29 mem=36M188
1.77/1.89
1.87/1.91 solver IterativeSystematicSolver being built...
1.87/1.96
1.87/1.96 INFO : Forward propagation technique limited
1.97/2.05 => wckTime=1.809 cpuTime=1.42 mem=36M236
2.07/2.18
2.07/2.18 preprocessing
2.07/2.18 nbConstraintChecks=54243 nbPropagations=543 nbRevisions=8 nbUselessRevisions=0 nbRemovedValues=157528
2.07/2.18 detectedInconsistency=no
2.07/2.18 => wckTime=0.12 cpuTime=0.09 mem=40M973
6.43/6.51
6.43/6.51 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=43M473)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1081114-1215215460/watcher-1081114-1215215460 -o /tmp/evaluation-result-1081114-1215215460/solver-1081114-1215215460 -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-1081114-1215215460.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.95 1.98 1.99 3/72 13469
/proc/meminfo: memFree=1762688/2055920 swapFree=4180444/4192956
[pid=13469] ppid=13467 vsize=152 CPUtime=0
/proc/13469/stat : 13469 (java) R 13467 13469 12871 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 2000515578 155648 26 996147200 134512640 134550740 4294955968 18446744073709551615 6852907 0 0 4096 0 0 0 0 17 0 0 0
/proc/13469/statm: 38 26 19 9 0 4 0
[startup+0.0551821 s]
/proc/loadavg: 1.95 1.98 1.99 3/72 13469
/proc/meminfo: memFree=1762688/2055920 swapFree=4180444/4192956
[pid=13469] ppid=13467 vsize=864076 CPUtime=0.04
/proc/13469/stat : 13469 (java) S 13467 13469 12871 0 -1 0 2785 0 1 0 3 1 0 0 18 0 9 0 2000515578 884813824 2326 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13469/statm: 216019 2326 1109 9 0 210976 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864076
[startup+0.101191 s]
/proc/loadavg: 1.95 1.98 1.99 3/72 13469
/proc/meminfo: memFree=1762688/2055920 swapFree=4180444/4192956
[pid=13469] ppid=13467 vsize=865884 CPUtime=0.09
/proc/13469/stat : 13469 (java) S 13467 13469 12871 0 -1 0 3765 0 1 0 7 2 0 0 18 0 9 0 2000515578 886665216 3224 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13469/statm: 216471 3224 1708 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.301225 s]
/proc/loadavg: 1.95 1.98 1.99 3/72 13469
/proc/meminfo: memFree=1762688/2055920 swapFree=4180444/4192956
[pid=13469] ppid=13467 vsize=866284 CPUtime=0.29
/proc/13469/stat : 13469 (java) S 13467 13469 12871 0 -1 0 5989 0 1 0 25 4 0 0 18 0 9 0 2000515578 887074816 5363 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13469/statm: 216571 5363 1956 9 0 211099 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866284
[startup+0.701294 s]
/proc/loadavg: 1.95 1.98 1.99 3/72 13469
/proc/meminfo: memFree=1762688/2055920 swapFree=4180444/4192956
[pid=13469] ppid=13467 vsize=867636 CPUtime=0.68
/proc/13469/stat : 13469 (java) S 13467 13469 12871 0 -1 0 10322 0 1 0 62 6 0 0 18 0 9 0 2000515578 888459264 9682 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13469/statm: 216909 9683 2010 9 0 211415 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867636
[startup+1.50243 s]
/proc/loadavg: 1.95 1.98 1.99 3/81 13478
/proc/meminfo: memFree=1728440/2055920 swapFree=4180444/4192956
[pid=13469] ppid=13467 vsize=867960 CPUtime=1.48
/proc/13469/stat : 13469 (java) S 13467 13469 12871 0 -1 0 13374 0 1 0 132 16 0 0 18 0 10 0 2000515578 888791040 12623 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13469/statm: 216990 12623 2018 9 0 211496 0
[pid=13469/tid=13471] ppid=13467 vsize=867960 CPUtime=1.23
/proc/13469/task/13471/stat : 13471 (java) S 13467 13469 12871 0 -1 64 11904 0 1 0 109 14 0 0 16 0 10 0 2000515579 888791040 12623 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=13469/tid=13472] ppid=13467 vsize=867960 CPUtime=0
/proc/13469/task/13472/stat : 13472 (java) S 13467 13469 12871 0 -1 64 5 0 0 0 0 0 0 0 17 0 10 0 2000515580 888791040 12623 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13473] ppid=13467 vsize=867960 CPUtime=0
/proc/13469/task/13473/stat : 13473 (java) S 13467 13469 12871 0 -1 64 10 0 0 0 0 0 0 0 22 0 10 0 2000515580 888791040 12623 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13474] ppid=13467 vsize=867960 CPUtime=0
/proc/13469/task/13474/stat : 13474 (java) S 13467 13469 12871 0 -1 64 4 0 0 0 0 0 0 0 23 0 10 0 2000515580 888791040 12623 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13475] ppid=13467 vsize=867960 CPUtime=0
/proc/13469/task/13475/stat : 13475 (java) S 13467 13469 12871 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 2000515582 888791040 12623 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13476] ppid=13467 vsize=867960 CPUtime=0.22
/proc/13469/task/13476/stat : 13476 (java) S 13467 13469 12871 0 -1 64 705 0 0 0 22 0 0 0 15 0 10 0 2000515582 888791040 12623 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13477] ppid=13467 vsize=867960 CPUtime=0
/proc/13469/task/13477/stat : 13477 (java) S 13467 13469 12871 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 2000515582 888791040 12623 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13478] ppid=13467 vsize=867960 CPUtime=0
/proc/13469/task/13478/stat : 13478 (java) S 13467 13469 12871 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 2000515582 888791040 12623 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) 867960
[startup+3.1017 s]
/proc/loadavg: 1.95 1.98 1.99 4/83 13482
/proc/meminfo: memFree=1708904/2055920 swapFree=4180444/4192956
[pid=13469] ppid=13467 vsize=868076 CPUtime=3.05
/proc/13469/stat : 13469 (java) S 13467 13469 12871 0 -1 0 33157 366 1 0 281 23 1 0 18 0 9 0 2000515578 888909824 22747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13469/statm: 217019 22747 2637 9 0 211525 0
[pid=13469/tid=13471] ppid=13467 vsize=868076 CPUtime=2.56
/proc/13469/task/13471/stat : 13471 (java) R 13467 13469 12871 0 -1 64 21162 366 1 0 237 18 1 0 25 0 9 0 2000515579 888909824 22747 996147200 134512640 134550740 4294955968 18446744073709551615 4127054381 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13472] ppid=13467 vsize=868076 CPUtime=0.15
/proc/13469/task/13472/stat : 13472 (java) S 13467 13469 12871 0 -1 64 10222 366 0 0 11 3 1 0 17 0 9 0 2000515580 888909824 22747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13473] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13473/stat : 13473 (java) S 13467 13469 12871 0 -1 64 16 366 0 0 0 0 1 0 16 0 9 0 2000515580 888909824 22747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13474] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13474/stat : 13474 (java) S 13467 13469 12871 0 -1 64 11 366 0 0 0 0 1 0 16 0 9 0 2000515580 888909824 22747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13475] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13475/stat : 13475 (java) S 13467 13469 12871 0 -1 64 1 366 0 0 0 0 1 0 24 0 9 0 2000515582 888909824 22747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13476] ppid=13467 vsize=868076 CPUtime=0.35
/proc/13469/task/13476/stat : 13476 (java) S 13467 13469 12871 0 -1 64 937 366 0 0 33 1 1 0 15 0 9 0 2000515582 888909824 22747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13477] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13477/stat : 13477 (java) S 13467 13469 12871 0 -1 64 1 366 0 0 0 0 1 0 25 0 9 0 2000515582 888909824 22747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13478] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13478/stat : 13478 (java) S 13467 13469 12871 0 -1 64 7 366 0 0 0 0 1 0 15 0 9 0 2000515582 888909824 22747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 868076
[startup+6.30224 s]
/proc/loadavg: 2.03 2.00 2.00 3/81 13482
/proc/meminfo: memFree=1675056/2055920 swapFree=4180444/4192956
[pid=13469] ppid=13467 vsize=868076 CPUtime=6.23
/proc/13469/stat : 13469 (java) S 13467 13469 12871 0 -1 0 35509 366 1 0 597 25 1 0 18 0 9 0 2000515578 888909824 25053 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13469/statm: 217019 25053 2637 9 0 211525 0
[pid=13469/tid=13471] ppid=13467 vsize=868076 CPUtime=5.66
/proc/13469/task/13471/stat : 13471 (java) R 13467 13469 12871 0 -1 64 21178 366 1 0 547 18 1 0 25 0 9 0 2000515579 888909824 25053 996147200 134512640 134550740 4294955968 18446744073709551615 4127169889 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13472] ppid=13467 vsize=868076 CPUtime=0.17
/proc/13469/task/13472/stat : 13472 (java) S 13467 13469 12871 0 -1 64 12508 366 0 0 12 4 1 0 16 0 9 0 2000515580 888909824 25053 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13473] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13473/stat : 13473 (java) S 13467 13469 12871 0 -1 64 16 366 0 0 0 0 1 0 16 0 9 0 2000515580 888909824 25053 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13474] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13474/stat : 13474 (java) S 13467 13469 12871 0 -1 64 11 366 0 0 0 0 1 0 16 0 9 0 2000515580 888909824 25053 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13475] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13475/stat : 13475 (java) S 13467 13469 12871 0 -1 64 1 366 0 0 0 0 1 0 24 0 9 0 2000515582 888909824 25053 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13476] ppid=13467 vsize=868076 CPUtime=0.38
/proc/13469/task/13476/stat : 13476 (java) S 13467 13469 12871 0 -1 64 957 366 0 0 36 1 1 0 15 0 9 0 2000515582 888909824 25053 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13477] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13477/stat : 13477 (java) S 13467 13469 12871 0 -1 64 1 366 0 0 0 0 1 0 25 0 9 0 2000515582 888909824 25053 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13478] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13478/stat : 13478 (java) S 13467 13469 12871 0 -1 64 37 366 0 0 0 0 1 0 15 0 9 0 2000515582 888909824 25053 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 868076
[startup+12.7023 s]
/proc/loadavg: 2.03 2.00 2.00 3/81 13482
/proc/meminfo: memFree=1672048/2055920 swapFree=4180444/4192956
[pid=13469] ppid=13467 vsize=868076 CPUtime=12.57
/proc/13469/stat : 13469 (java) S 13467 13469 12871 0 -1 0 35566 366 1 0 1231 25 1 0 18 0 9 0 2000515578 888909824 25073 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13469/statm: 217019 25073 2637 9 0 211525 0
[pid=13469/tid=13471] ppid=13467 vsize=868076 CPUtime=11.98
/proc/13469/task/13471/stat : 13471 (java) R 13467 13469 12871 0 -1 64 21185 366 1 0 1179 18 1 0 25 0 9 0 2000515579 888909824 25073 996147200 134512640 134550740 4294955968 18446744073709551615 4127235929 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13472] ppid=13467 vsize=868076 CPUtime=0.18
/proc/13469/task/13472/stat : 13472 (java) S 13467 13469 12871 0 -1 64 12525 366 0 0 13 4 1 0 16 0 9 0 2000515580 888909824 25073 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13473] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13473/stat : 13473 (java) S 13467 13469 12871 0 -1 64 16 366 0 0 0 0 1 0 16 0 9 0 2000515580 888909824 25073 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13474] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13474/stat : 13474 (java) S 13467 13469 12871 0 -1 64 11 366 0 0 0 0 1 0 16 0 9 0 2000515580 888909824 25073 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13475] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13475/stat : 13475 (java) S 13467 13469 12871 0 -1 64 1 366 0 0 0 0 1 0 24 0 9 0 2000515582 888909824 25073 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13476] ppid=13467 vsize=868076 CPUtime=0.39
/proc/13469/task/13476/stat : 13476 (java) S 13467 13469 12871 0 -1 64 990 366 0 0 37 1 1 0 15 0 9 0 2000515582 888909824 25073 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13477] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13477/stat : 13477 (java) S 13467 13469 12871 0 -1 64 1 366 0 0 0 0 1 0 25 0 9 0 2000515582 888909824 25073 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13478] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13478/stat : 13478 (java) S 13467 13469 12871 0 -1 64 37 366 0 0 0 0 1 0 15 0 9 0 2000515582 888909824 25073 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 868076
[startup+25.5025 s]
/proc/loadavg: 2.02 2.00 2.00 3/81 13482
/proc/meminfo: memFree=1671408/2055920 swapFree=4180444/4192956
[pid=13469] ppid=13467 vsize=868076 CPUtime=25.25
/proc/13469/stat : 13469 (java) S 13467 13469 12871 0 -1 0 35737 366 1 0 2499 25 1 0 18 0 9 0 2000515578 888909824 25234 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13469/statm: 217019 25234 2637 9 0 211525 0
[pid=13469/tid=13471] ppid=13467 vsize=868076 CPUtime=24.64
/proc/13469/task/13471/stat : 13471 (java) R 13467 13469 12871 0 -1 64 21195 366 1 0 2445 18 1 0 25 0 9 0 2000515579 888909824 25234 996147200 134512640 134550740 4294955968 18446744073709551615 4127236694 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13472] ppid=13467 vsize=868076 CPUtime=0.2
/proc/13469/task/13472/stat : 13472 (java) S 13467 13469 12871 0 -1 64 12685 366 0 0 15 4 1 0 17 0 9 0 2000515580 888909824 25234 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13473] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13473/stat : 13473 (java) S 13467 13469 12871 0 -1 64 16 366 0 0 0 0 1 0 16 0 9 0 2000515580 888909824 25234 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13474] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13474/stat : 13474 (java) S 13467 13469 12871 0 -1 64 11 366 0 0 0 0 1 0 16 0 9 0 2000515580 888909824 25234 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13475] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13475/stat : 13475 (java) S 13467 13469 12871 0 -1 64 1 366 0 0 0 0 1 0 24 0 9 0 2000515582 888909824 25234 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13476] ppid=13467 vsize=868076 CPUtime=0.39
/proc/13469/task/13476/stat : 13476 (java) S 13467 13469 12871 0 -1 64 991 366 0 0 37 1 1 0 16 0 9 0 2000515582 888909824 25234 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13477] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13477/stat : 13477 (java) S 13467 13469 12871 0 -1 64 1 366 0 0 0 0 1 0 25 0 9 0 2000515582 888909824 25234 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13478] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13478/stat : 13478 (java) S 13467 13469 12871 0 -1 64 37 366 0 0 0 0 1 0 15 0 9 0 2000515582 888909824 25234 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 868076
[startup+51.1029 s]
/proc/loadavg: 2.08 2.02 2.00 3/81 13482
/proc/meminfo: memFree=1671344/2055920 swapFree=4180444/4192956
[pid=13469] ppid=13467 vsize=868076 CPUtime=50.64
/proc/13469/stat : 13469 (java) S 13467 13469 12871 0 -1 0 35773 366 1 0 5037 26 1 0 18 0 9 0 2000515578 888909824 25246 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13469/statm: 217019 25246 2637 9 0 211525 0
[pid=13469/tid=13471] ppid=13467 vsize=868076 CPUtime=49.98
/proc/13469/task/13471/stat : 13471 (java) R 13467 13469 12871 0 -1 64 21219 366 1 0 4979 18 1 0 25 0 9 0 2000515579 888909824 25246 996147200 134512640 134550740 4294955968 18446744073709551615 4126095752 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13472] ppid=13467 vsize=868076 CPUtime=0.24
/proc/13469/task/13472/stat : 13472 (java) S 13467 13469 12871 0 -1 64 12697 366 0 0 19 4 1 0 16 0 9 0 2000515580 888909824 25246 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13473] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13473/stat : 13473 (java) S 13467 13469 12871 0 -1 64 16 366 0 0 0 0 1 0 16 0 9 0 2000515580 888909824 25246 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13474] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13474/stat : 13474 (java) S 13467 13469 12871 0 -1 64 11 366 0 0 0 0 1 0 16 0 9 0 2000515580 888909824 25246 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13475] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13475/stat : 13475 (java) S 13467 13469 12871 0 -1 64 1 366 0 0 0 0 1 0 24 0 9 0 2000515582 888909824 25246 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13476] ppid=13467 vsize=868076 CPUtime=0.39
/proc/13469/task/13476/stat : 13476 (java) S 13467 13469 12871 0 -1 64 991 366 0 0 37 1 1 0 16 0 9 0 2000515582 888909824 25246 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13477] ppid=13467 vsize=868076 CPUtime=0.01
################
# More data... #
################
/proc/13469/task/13474/stat : 13474 (java) S 13467 13469 12871 0 -1 64 11 366 0 0 0 0 1 0 16 0 9 0 2000515580 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13475] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13475/stat : 13475 (java) S 13467 13469 12871 0 -1 64 1 366 0 0 0 0 1 0 24 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13476] ppid=13467 vsize=868076 CPUtime=0.4
/proc/13469/task/13476/stat : 13476 (java) S 13467 13469 12871 0 -1 64 994 366 0 0 38 1 1 0 16 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13477] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13477/stat : 13477 (java) S 13467 13469 12871 0 -1 64 1 366 0 0 0 0 1 0 25 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13478] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13478/stat : 13478 (java) S 13467 13469 12871 0 -1 64 37 366 0 0 0 0 1 0 15 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1480.32
Current children cumulated vsize (KiB) 868076
[startup+1542.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/101 13602
/proc/meminfo: memFree=1568776/2055920 swapFree=4180444/4192956
[pid=13469] ppid=13467 vsize=868076 CPUtime=1540.29
/proc/13469/stat : 13469 (java) S 13467 13469 12871 0 -1 0 37055 366 1 0 153983 45 1 0 18 0 9 0 2000515578 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13469/statm: 217019 25272 2637 9 0 211525 0
[pid=13469/tid=13471] ppid=13467 vsize=868076 CPUtime=1538.23
/proc/13469/task/13471/stat : 13471 (java) R 13467 13469 12871 0 -1 64 22474 366 1 0 153791 31 1 0 25 0 9 0 2000515579 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4126666776 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13472] ppid=13467 vsize=868076 CPUtime=1.65
/proc/13469/task/13472/stat : 13472 (java) S 13467 13469 12871 0 -1 64 12721 366 0 0 153 11 1 0 16 0 9 0 2000515580 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13473] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13473/stat : 13473 (java) S 13467 13469 12871 0 -1 64 16 366 0 0 0 0 1 0 16 0 9 0 2000515580 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13474] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13474/stat : 13474 (java) S 13467 13469 12871 0 -1 64 11 366 0 0 0 0 1 0 16 0 9 0 2000515580 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13475] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13475/stat : 13475 (java) S 13467 13469 12871 0 -1 64 1 366 0 0 0 0 1 0 24 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13476] ppid=13467 vsize=868076 CPUtime=0.4
/proc/13469/task/13476/stat : 13476 (java) S 13467 13469 12871 0 -1 64 994 366 0 0 38 1 1 0 16 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13477] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13477/stat : 13477 (java) S 13467 13469 12871 0 -1 64 1 366 0 0 0 0 1 0 25 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13478] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13478/stat : 13478 (java) S 13467 13469 12871 0 -1 64 37 366 0 0 0 0 1 0 15 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1540.29
Current children cumulated vsize (KiB) 868076
[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/101 13602
/proc/meminfo: memFree=1568712/2055920 swapFree=4180444/4192956
[pid=13469] ppid=13467 vsize=868076 CPUtime=1600.26
/proc/13469/stat : 13469 (java) S 13467 13469 12871 0 -1 0 37111 366 1 0 159980 45 1 0 18 0 9 0 2000515578 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13469/statm: 217019 25272 2637 9 0 211525 0
[pid=13469/tid=13471] ppid=13467 vsize=868076 CPUtime=1598.15
/proc/13469/task/13471/stat : 13471 (java) R 13467 13469 12871 0 -1 64 22530 366 1 0 159783 31 1 0 25 0 9 0 2000515579 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4127171172 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13472] ppid=13467 vsize=868076 CPUtime=1.7
/proc/13469/task/13472/stat : 13472 (java) S 13467 13469 12871 0 -1 64 12721 366 0 0 158 11 1 0 16 0 9 0 2000515580 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13473] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13473/stat : 13473 (java) S 13467 13469 12871 0 -1 64 16 366 0 0 0 0 1 0 16 0 9 0 2000515580 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13474] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13474/stat : 13474 (java) S 13467 13469 12871 0 -1 64 11 366 0 0 0 0 1 0 16 0 9 0 2000515580 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13475] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13475/stat : 13475 (java) S 13467 13469 12871 0 -1 64 1 366 0 0 0 0 1 0 24 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13476] ppid=13467 vsize=868076 CPUtime=0.4
/proc/13469/task/13476/stat : 13476 (java) S 13467 13469 12871 0 -1 64 994 366 0 0 38 1 1 0 16 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13477] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13477/stat : 13477 (java) S 13467 13469 12871 0 -1 64 1 366 0 0 0 0 1 0 25 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13478] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13478/stat : 13478 (java) S 13467 13469 12871 0 -1 64 37 366 0 0 0 0 1 0 15 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1600.26
Current children cumulated vsize (KiB) 868076
[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/101 13602
/proc/meminfo: memFree=1568712/2055920 swapFree=4180444/4192956
[pid=13469] ppid=13467 vsize=868076 CPUtime=1660.24
/proc/13469/stat : 13469 (java) S 13467 13469 12871 0 -1 0 37154 366 1 0 165977 46 1 0 18 0 9 0 2000515578 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13469/statm: 217019 25272 2637 9 0 211525 0
[pid=13469/tid=13471] ppid=13467 vsize=868076 CPUtime=1658.07
/proc/13469/task/13471/stat : 13471 (java) R 13467 13469 12871 0 -1 64 22573 366 1 0 165775 31 1 0 25 0 9 0 2000515579 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4126916072 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13472] ppid=13467 vsize=868076 CPUtime=1.76
/proc/13469/task/13472/stat : 13472 (java) S 13467 13469 12871 0 -1 64 12721 366 0 0 163 12 1 0 16 0 9 0 2000515580 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13473] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13473/stat : 13473 (java) S 13467 13469 12871 0 -1 64 16 366 0 0 0 0 1 0 16 0 9 0 2000515580 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13474] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13474/stat : 13474 (java) S 13467 13469 12871 0 -1 64 11 366 0 0 0 0 1 0 16 0 9 0 2000515580 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13475] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13475/stat : 13475 (java) S 13467 13469 12871 0 -1 64 1 366 0 0 0 0 1 0 24 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13476] ppid=13467 vsize=868076 CPUtime=0.4
/proc/13469/task/13476/stat : 13476 (java) S 13467 13469 12871 0 -1 64 994 366 0 0 38 1 1 0 16 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13477] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13477/stat : 13477 (java) S 13467 13469 12871 0 -1 64 1 366 0 0 0 0 1 0 25 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13478] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13478/stat : 13478 (java) S 13467 13469 12871 0 -1 64 37 366 0 0 0 0 1 0 15 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1660.24
Current children cumulated vsize (KiB) 868076
[startup+1722.3 s]
/proc/loadavg: 2.14 2.07 2.01 3/101 13602
/proc/meminfo: memFree=1568648/2055920 swapFree=4180444/4192956
[pid=13469] ppid=13467 vsize=868076 CPUtime=1720.21
/proc/13469/stat : 13469 (java) S 13467 13469 12871 0 -1 0 37204 366 1 0 171973 47 1 0 18 0 9 0 2000515578 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13469/statm: 217019 25272 2637 9 0 211525 0
[pid=13469/tid=13471] ppid=13467 vsize=868076 CPUtime=1717.99
/proc/13469/task/13471/stat : 13471 (java) R 13467 13469 12871 0 -1 64 22623 366 1 0 171766 32 1 0 25 0 9 0 2000515579 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4127190554 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13472] ppid=13467 vsize=868076 CPUtime=1.81
/proc/13469/task/13472/stat : 13472 (java) S 13467 13469 12871 0 -1 64 12721 366 0 0 168 12 1 0 16 0 9 0 2000515580 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13473] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13473/stat : 13473 (java) S 13467 13469 12871 0 -1 64 16 366 0 0 0 0 1 0 16 0 9 0 2000515580 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13474] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13474/stat : 13474 (java) S 13467 13469 12871 0 -1 64 11 366 0 0 0 0 1 0 16 0 9 0 2000515580 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13475] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13475/stat : 13475 (java) S 13467 13469 12871 0 -1 64 1 366 0 0 0 0 1 0 24 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13476] ppid=13467 vsize=868076 CPUtime=0.4
/proc/13469/task/13476/stat : 13476 (java) S 13467 13469 12871 0 -1 64 994 366 0 0 38 1 1 0 16 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13477] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13477/stat : 13477 (java) S 13467 13469 12871 0 -1 64 1 366 0 0 0 0 1 0 25 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13478] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13478/stat : 13478 (java) S 13467 13469 12871 0 -1 64 37 366 0 0 0 0 1 0 15 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1720.21
Current children cumulated vsize (KiB) 868076
[startup+1782.3 s]
/proc/loadavg: 2.20 2.11 2.03 3/101 13602
/proc/meminfo: memFree=1568648/2055920 swapFree=4180444/4192956
[pid=13469] ppid=13467 vsize=868076 CPUtime=1780.19
/proc/13469/stat : 13469 (java) S 13467 13469 12871 0 -1 0 37258 366 1 0 177970 48 1 0 18 0 9 0 2000515578 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13469/statm: 217019 25272 2637 9 0 211525 0
[pid=13469/tid=13471] ppid=13467 vsize=868076 CPUtime=1777.9
/proc/13469/task/13471/stat : 13471 (java) R 13467 13469 12871 0 -1 64 22677 366 1 0 177757 32 1 0 25 0 9 0 2000515579 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4127223678 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13472] ppid=13467 vsize=868076 CPUtime=1.87
/proc/13469/task/13472/stat : 13472 (java) S 13467 13469 12871 0 -1 64 12721 366 0 0 173 13 1 0 16 0 9 0 2000515580 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13473] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13473/stat : 13473 (java) S 13467 13469 12871 0 -1 64 16 366 0 0 0 0 1 0 16 0 9 0 2000515580 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13474] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13474/stat : 13474 (java) S 13467 13469 12871 0 -1 64 11 366 0 0 0 0 1 0 16 0 9 0 2000515580 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13475] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13475/stat : 13475 (java) S 13467 13469 12871 0 -1 64 1 366 0 0 0 0 1 0 24 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13476] ppid=13467 vsize=868076 CPUtime=0.4
/proc/13469/task/13476/stat : 13476 (java) S 13467 13469 12871 0 -1 64 994 366 0 0 38 1 1 0 16 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13477] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13477/stat : 13477 (java) S 13467 13469 12871 0 -1 64 1 366 0 0 0 0 1 0 25 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13478] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13478/stat : 13478 (java) S 13467 13469 12871 0 -1 64 37 366 0 0 0 0 1 0 15 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1780.19
Current children cumulated vsize (KiB) 868076
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.2 s]
/proc/loadavg: 2.13 2.10 2.03 3/101 13602
/proc/meminfo: memFree=1568648/2055920 swapFree=4180444/4192956
[pid=13469] ppid=13467 vsize=868076 CPUtime=1800.08
/proc/13469/stat : 13469 (java) S 13467 13469 12871 0 -1 0 37276 366 1 0 179959 48 1 0 18 0 9 0 2000515578 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13469/statm: 217019 25272 2637 9 0 211525 0
[pid=13469/tid=13471] ppid=13467 vsize=868076 CPUtime=1797.78
/proc/13469/task/13471/stat : 13471 (java) R 13467 13469 12871 0 -1 64 22695 366 1 0 179745 32 1 0 25 0 9 0 2000515579 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4127178276 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13472] ppid=13467 vsize=868076 CPUtime=1.89
/proc/13469/task/13472/stat : 13472 (java) S 13467 13469 12871 0 -1 64 12721 366 0 0 175 13 1 0 16 0 9 0 2000515580 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13473] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13473/stat : 13473 (java) S 13467 13469 12871 0 -1 64 16 366 0 0 0 0 1 0 16 0 9 0 2000515580 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13474] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13474/stat : 13474 (java) S 13467 13469 12871 0 -1 64 11 366 0 0 0 0 1 0 16 0 9 0 2000515580 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13469/tid=13475] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13475/stat : 13475 (java) S 13467 13469 12871 0 -1 64 1 366 0 0 0 0 1 0 24 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13476] ppid=13467 vsize=868076 CPUtime=0.4
/proc/13469/task/13476/stat : 13476 (java) S 13467 13469 12871 0 -1 64 994 366 0 0 38 1 1 0 16 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13477] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13477/stat : 13477 (java) S 13467 13469 12871 0 -1 64 1 366 0 0 0 0 1 0 25 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13469/tid=13478] ppid=13467 vsize=868076 CPUtime=0.01
/proc/13469/task/13478/stat : 13478 (java) S 13467 13469 12871 0 -1 64 37 366 0 0 0 0 1 0 15 0 9 0 2000515582 888909824 25272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
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
Child status: 143
Real time (s): 1802.23
CPU time (s): 1800.13
CPU user time (s): 1799.62
CPU system time (s): 0.509922
CPU usage (%): 99.8835
Max. virtual memory (cumulated for all children) (KiB): 868120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.509922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37675
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= 48278
involuntary context switches= 61090
runsolver used 1.9437 second user time and 6.27405 second system time
The end
Begin job on node68 at 2008-07-05 01:51:00
IDJOB=1081114
IDBENCH=57070
IDSOLVER=363
FILE ID=node68/1081114-1215215460
PBS_JOBID= 7881762
Free space on /tmp= 66528 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/js-taillard-15/normalized-js-taillard-15-95-4.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-1081114-1215215460/watcher-1081114-1215215460 -o /tmp/evaluation-result-1081114-1215215460/solver-1081114-1215215460 -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-1081114-1215215460.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 65012234ef8a22a0fbbf13548c18283e
RANDOM SEED=1922616472
node68.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.261
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.261
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: 1763168 kB
Buffers: 37432 kB
Cached: 180792 kB
SwapCached: 6312 kB
Active: 155032 kB
Inactive: 85680 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1763168 kB
SwapTotal: 4192956 kB
SwapFree: 4180444 kB
Dirty: 2272 kB
Writeback: 0 kB
Mapped: 30172 kB
Slab: 37424 kB
Committed_AS: 4277360 kB
PageTables: 1696 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= 66500 MiB
End job on node68 at 2008-07-05 02:21:04