0.02/0.07
0.02/0.07 Abscon 112 (May, 2008)
0.10/0.20
0.10/0.20 configuration
0.10/0.20 name=esac.xml
0.23/0.23
0.23/0.23 instance
0.23/0.23 name=HOME/instance-1070291-1215164218.xml
0.23/0.26
0.23/0.26 domains being loaded...
0.23/0.27
0.23/0.27 variables being loaded...
0.52/0.42 nbVariables=3150 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=6300
0.52/0.42 => wckTime=0.219 cpuTime=0.21 mem=15M655
0.52/0.42
0.52/0.42 constraints being loaded...
5.79/5.64 nbConstraints=317 nbGlobalConstraints=317 nbSharedBinaryRepresentations=0 minDegree=5 maxDegree=7 minArity=35
5.79/5.64 avgArity=68.55 maxArity=3150 nbGenerators=157 nbFusions=0 symmetryWckTime=5.158 symmetryCpuTime=4.49
5.79/5.64 => wckTime=5.442 cpuTime=4.77 mem=56M990
5.90/5.72
5.90/5.72 solver IterativeSystematicSolver being built...
5.90/5.77
5.90/5.77 INFO : Forward propagation technique limited
6.15/5.93 => wckTime=5.728 cpuTime=4.98 mem=40M751
7.97/7.77
7.97/7.77 preprocessing
7.97/7.77 nbConstraintChecks=0 nbPropagations=6507 nbRevisions=0 nbUselessRevisions=0 nbSingletonTests=3266
7.97/7.77 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0 detectedInconsistency=no
7.97/7.77 => wckTime=1.831 cpuTime=1.83 mem=40M751
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1070291-1215164218/watcher-1070291-1215164218 -o /tmp/evaluation-result-1070291-1215164218/solver-1070291-1215164218 -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-1070291-1215164218.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: 0.99 1.00 1.13 3/64 1577
/proc/meminfo: memFree=1601912/2055920 swapFree=4180452/4192956
[pid=1577] ppid=1575 vsize=1616 CPUtime=0
/proc/1577/stat : 1577 (java) D 1575 1577 1307 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 1995395565 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/1577/statm: 404 145 119 9 0 46 0
[startup+0.0289759 s]
/proc/loadavg: 0.99 1.00 1.13 3/64 1577
/proc/meminfo: memFree=1601912/2055920 swapFree=4180452/4192956
[pid=1577] ppid=1575 vsize=861876 CPUtime=0.02
/proc/1577/stat : 1577 (java) S 1575 1577 1307 0 -1 0 2006 0 1 0 1 1 0 0 18 0 5 0 1995395565 882561024 1678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/1577/statm: 215469 1678 773 9 0 210448 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861876
[startup+0.101982 s]
/proc/loadavg: 0.99 1.00 1.13 3/64 1577
/proc/meminfo: memFree=1601912/2055920 swapFree=4180452/4192956
[pid=1577] ppid=1575 vsize=866712 CPUtime=0.1
/proc/1577/stat : 1577 (java) S 1575 1577 1307 0 -1 0 3961 0 1 0 8 2 0 0 18 0 9 0 1995395565 887513088 3401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1577/statm: 216678 3402 1778 9 0 211233 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 866712
[startup+0.300995 s]
/proc/loadavg: 0.99 1.00 1.13 3/64 1577
/proc/meminfo: memFree=1601912/2055920 swapFree=4180452/4192956
[pid=1577] ppid=1575 vsize=866928 CPUtime=0.34
/proc/1577/stat : 1577 (java) S 1575 1577 1307 0 -1 0 6470 0 1 0 30 4 0 0 18 0 9 0 1995395565 887734272 5840 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1577/statm: 216732 5840 1963 9 0 211260 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 866928
[startup+0.701018 s]
/proc/loadavg: 0.99 1.00 1.13 3/64 1577
/proc/meminfo: memFree=1601912/2055920 swapFree=4180452/4192956
[pid=1577] ppid=1575 vsize=868276 CPUtime=0.72
/proc/1577/stat : 1577 (java) S 1575 1577 1307 0 -1 0 11025 0 1 0 65 7 0 0 18 0 10 0 1995395565 889114624 10192 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1577/statm: 217069 10192 1994 9 0 211597 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 868276
[startup+1.50207 s]
/proc/loadavg: 0.99 1.00 1.13 2/75 1588
/proc/meminfo: memFree=1566624/2055920 swapFree=4180452/4192956
[pid=1577] ppid=1575 vsize=868276 CPUtime=1.7
/proc/1577/stat : 1577 (java) S 1575 1577 1307 0 -1 0 22780 599 1 0 99 12 58 1 18 0 9 0 1995395565 889114624 17887 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1577/statm: 217069 17889 2012 9 0 211597 0
[pid=1577/tid=1579] ppid=1575 vsize=868276 CPUtime=1.44
/proc/1577/task/1579/stat : 1579 (java) S 1575 1577 1307 0 -1 64 17895 599 1 0 76 9 58 1 18 0 9 0 1995395566 889114624 17890 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1577/tid=1580] ppid=1575 vsize=868276 CPUtime=0.62
/proc/1577/task/1580/stat : 1580 (java) R 1575 1577 1307 0 -1 64 3158 599 0 0 3 0 58 1 16 0 9 0 1995395567 889114624 17891 996147200 134512640 134550740 4294955968 18446744073709551615 102514471 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1581] ppid=1575 vsize=868276 CPUtime=0.59
/proc/1577/task/1581/stat : 1581 (java) S 1575 1577 1307 0 -1 64 9 599 0 0 0 0 58 1 21 0 9 0 1995395568 889114624 17893 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1582] ppid=1575 vsize=868276 CPUtime=0.59
/proc/1577/task/1582/stat : 1582 (java) S 1575 1577 1307 0 -1 64 4 599 0 0 0 0 58 1 22 0 9 0 1995395568 889114624 17894 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1583] ppid=1575 vsize=868276 CPUtime=0.59
/proc/1577/task/1583/stat : 1583 (java) S 1575 1577 1307 0 -1 64 1 599 0 0 0 0 58 1 23 0 9 0 1995395570 889114624 17896 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1584] ppid=1575 vsize=868276 CPUtime=0.79
/proc/1577/task/1584/stat : 1584 (java) S 1575 1577 1307 0 -1 64 899 599 0 0 20 0 58 1 16 0 9 0 1995395570 889114624 17897 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1577/tid=1585] ppid=1575 vsize=868276 CPUtime=0.59
/proc/1577/task/1585/stat : 1585 (java) S 1575 1577 1307 0 -1 64 2 599 0 0 0 0 58 1 24 0 9 0 1995395570 889114624 17898 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1586] ppid=1575 vsize=868276 CPUtime=0.59
/proc/1577/task/1586/stat : 1586 (java) S 1575 1577 1307 0 -1 64 10 599 0 0 0 0 58 1 15 0 9 0 1995395570 889114624 17899 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 868276
[startup+3.10218 s]
/proc/loadavg: 0.99 1.00 1.13 2/73 1590
/proc/meminfo: memFree=1530280/2055920 swapFree=4180452/4192956
[pid=1577] ppid=1575 vsize=868276 CPUtime=3.3
/proc/1577/stat : 1577 (java) S 1575 1577 1307 0 -1 0 27808 599 1 0 258 13 58 1 18 0 9 0 1995395565 889114624 19967 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1577/statm: 217069 19967 2014 9 0 211597 0
[pid=1577/tid=1579] ppid=1575 vsize=868276 CPUtime=3.01
/proc/1577/task/1579/stat : 1579 (java) R 1575 1577 1307 0 -1 64 21208 599 1 0 232 10 58 1 19 0 9 0 1995395566 889114624 19967 996147200 134512640 134550740 4294955968 18446744073709551615 4126899346 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1577/tid=1580] ppid=1575 vsize=868276 CPUtime=0.65
/proc/1577/task/1580/stat : 1580 (java) S 1575 1577 1307 0 -1 64 4850 599 0 0 5 1 58 1 16 0 9 0 1995395567 889114624 19967 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1581] ppid=1575 vsize=868276 CPUtime=0.59
/proc/1577/task/1581/stat : 1581 (java) S 1575 1577 1307 0 -1 64 14 599 0 0 0 0 58 1 16 0 9 0 1995395568 889114624 19967 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1582] ppid=1575 vsize=868276 CPUtime=0.59
/proc/1577/task/1582/stat : 1582 (java) S 1575 1577 1307 0 -1 64 10 599 0 0 0 0 58 1 16 0 9 0 1995395568 889114624 19967 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1583] ppid=1575 vsize=868276 CPUtime=0.59
/proc/1577/task/1583/stat : 1583 (java) S 1575 1577 1307 0 -1 64 1 599 0 0 0 0 58 1 23 0 9 0 1995395570 889114624 19967 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1584] ppid=1575 vsize=868276 CPUtime=0.79
/proc/1577/task/1584/stat : 1584 (java) S 1575 1577 1307 0 -1 64 899 599 0 0 20 0 58 1 17 0 9 0 1995395570 889114624 19967 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1577/tid=1585] ppid=1575 vsize=868276 CPUtime=0.59
/proc/1577/task/1585/stat : 1585 (java) S 1575 1577 1307 0 -1 64 2 599 0 0 0 0 58 1 24 0 9 0 1995395570 889114624 19967 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1586] ppid=1575 vsize=868276 CPUtime=0.59
/proc/1577/task/1586/stat : 1586 (java) S 1575 1577 1307 0 -1 64 10 599 0 0 0 0 58 1 15 0 9 0 1995395570 889114624 19967 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 868276
[startup+6.30137 s]
/proc/loadavg: 0.99 1.00 1.12 2/73 1590
/proc/meminfo: memFree=1529256/2055920 swapFree=4180452/4192956
[pid=1577] ppid=1575 vsize=868524 CPUtime=6.57
/proc/1577/stat : 1577 (java) S 1575 1577 1307 0 -1 0 29723 599 1 0 583 15 58 1 18 0 9 0 1995395565 889368576 21035 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1577/statm: 217131 21035 2638 9 0 211637 0
[pid=1577/tid=1579] ppid=1575 vsize=868524 CPUtime=6.13
/proc/1577/task/1579/stat : 1579 (java) R 1575 1577 1307 0 -1 64 21404 599 1 0 543 11 58 1 19 0 9 0 1995395566 889368576 21035 996147200 134512640 134550740 4294955968 18446744073709551615 4127099073 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1577/tid=1580] ppid=1575 vsize=868524 CPUtime=0.73
/proc/1577/task/1580/stat : 1580 (java) S 1575 1577 1307 0 -1 64 6449 599 0 0 12 2 58 1 16 0 9 0 1995395567 889368576 21035 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1581] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1581/stat : 1581 (java) S 1575 1577 1307 0 -1 64 14 599 0 0 0 0 58 1 16 0 9 0 1995395568 889368576 21035 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1582] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1582/stat : 1582 (java) S 1575 1577 1307 0 -1 64 10 599 0 0 0 0 58 1 16 0 9 0 1995395568 889368576 21035 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1583] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1583/stat : 1583 (java) S 1575 1577 1307 0 -1 64 1 599 0 0 0 0 58 1 23 0 9 0 1995395570 889368576 21035 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1584] ppid=1575 vsize=868524 CPUtime=0.85
/proc/1577/task/1584/stat : 1584 (java) S 1575 1577 1307 0 -1 64 996 599 0 0 26 0 58 1 15 0 9 0 1995395570 889368576 21035 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1585] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1585/stat : 1585 (java) S 1575 1577 1307 0 -1 64 2 599 0 0 0 0 58 1 24 0 9 0 1995395570 889368576 21035 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1586] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1586/stat : 1586 (java) S 1575 1577 1307 0 -1 64 33 599 0 0 0 0 58 1 15 0 9 0 1995395570 889368576 21035 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.57
Current children cumulated vsize (KiB) 868524
[startup+12.7028 s]
/proc/loadavg: 1.07 1.02 1.13 2/73 1590
/proc/meminfo: memFree=1527272/2055920 swapFree=4180452/4192956
[pid=1577] ppid=1575 vsize=868524 CPUtime=13
/proc/1577/stat : 1577 (java) S 1575 1577 1307 0 -1 0 29778 599 1 0 1226 15 58 1 18 0 9 0 1995395565 889368576 21079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1577/statm: 217131 21079 2638 9 0 211637 0
[pid=1577/tid=1579] ppid=1575 vsize=868524 CPUtime=12.5
/proc/1577/task/1579/stat : 1579 (java) R 1575 1577 1307 0 -1 64 21416 599 1 0 1180 11 58 1 25 0 9 0 1995395566 889368576 21079 996147200 134512640 134550740 4294955968 18446744073709551615 4127119805 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1580] ppid=1575 vsize=868524 CPUtime=0.73
/proc/1577/task/1580/stat : 1580 (java) S 1575 1577 1307 0 -1 64 6449 599 0 0 12 2 58 1 16 0 9 0 1995395567 889368576 21079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1581] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1581/stat : 1581 (java) S 1575 1577 1307 0 -1 64 14 599 0 0 0 0 58 1 16 0 9 0 1995395568 889368576 21079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1582] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1582/stat : 1582 (java) S 1575 1577 1307 0 -1 64 10 599 0 0 0 0 58 1 16 0 9 0 1995395568 889368576 21079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1583] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1583/stat : 1583 (java) S 1575 1577 1307 0 -1 64 1 599 0 0 0 0 58 1 23 0 9 0 1995395570 889368576 21079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1584] ppid=1575 vsize=868524 CPUtime=0.92
/proc/1577/task/1584/stat : 1584 (java) S 1575 1577 1307 0 -1 64 1039 599 0 0 32 1 58 1 15 0 9 0 1995395570 889368576 21079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1585] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1585/stat : 1585 (java) S 1575 1577 1307 0 -1 64 2 599 0 0 0 0 58 1 24 0 9 0 1995395570 889368576 21079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1586] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1586/stat : 1586 (java) S 1575 1577 1307 0 -1 64 33 599 0 0 0 0 58 1 15 0 9 0 1995395570 889368576 21079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 13
Current children cumulated vsize (KiB) 868524
[startup+25.5016 s]
/proc/loadavg: 1.06 1.02 1.13 2/73 1590
/proc/meminfo: memFree=1527272/2055920 swapFree=4180452/4192956
[pid=1577] ppid=1575 vsize=868524 CPUtime=25.8
/proc/1577/stat : 1577 (java) S 1575 1577 1307 0 -1 0 29778 599 1 0 2506 15 58 1 18 0 9 0 1995395565 889368576 21079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1577/statm: 217131 21079 2638 9 0 211637 0
[pid=1577/tid=1579] ppid=1575 vsize=868524 CPUtime=25.3
/proc/1577/task/1579/stat : 1579 (java) R 1575 1577 1307 0 -1 64 21416 599 1 0 2460 11 58 1 25 0 9 0 1995395566 889368576 21079 996147200 134512640 134550740 4294955968 18446744073709551615 4127197562 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1580] ppid=1575 vsize=868524 CPUtime=0.73
/proc/1577/task/1580/stat : 1580 (java) S 1575 1577 1307 0 -1 64 6449 599 0 0 12 2 58 1 16 0 9 0 1995395567 889368576 21079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1581] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1581/stat : 1581 (java) S 1575 1577 1307 0 -1 64 14 599 0 0 0 0 58 1 16 0 9 0 1995395568 889368576 21079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1582] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1582/stat : 1582 (java) S 1575 1577 1307 0 -1 64 10 599 0 0 0 0 58 1 16 0 9 0 1995395568 889368576 21079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1583] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1583/stat : 1583 (java) S 1575 1577 1307 0 -1 64 1 599 0 0 0 0 58 1 23 0 9 0 1995395570 889368576 21079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1584] ppid=1575 vsize=868524 CPUtime=0.92
/proc/1577/task/1584/stat : 1584 (java) S 1575 1577 1307 0 -1 64 1039 599 0 0 32 1 58 1 15 0 9 0 1995395570 889368576 21079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1585] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1585/stat : 1585 (java) S 1575 1577 1307 0 -1 64 2 599 0 0 0 0 58 1 24 0 9 0 1995395570 889368576 21079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1586] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1586/stat : 1586 (java) S 1575 1577 1307 0 -1 64 33 599 0 0 0 0 58 1 15 0 9 0 1995395570 889368576 21079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.8
Current children cumulated vsize (KiB) 868524
[startup+51.1012 s]
/proc/loadavg: 1.04 1.01 1.12 2/73 1590
/proc/meminfo: memFree=1527208/2055920 swapFree=4180452/4192956
[pid=1577] ppid=1575 vsize=868524 CPUtime=51.39
/proc/1577/stat : 1577 (java) S 1575 1577 1307 0 -1 0 29778 599 1 0 5065 15 58 1 18 0 9 0 1995395565 889368576 21079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1577/statm: 217131 21079 2638 9 0 211637 0
[pid=1577/tid=1579] ppid=1575 vsize=868524 CPUtime=50.89
/proc/1577/task/1579/stat : 1579 (java) R 1575 1577 1307 0 -1 64 21416 599 1 0 5019 11 58 1 25 0 9 0 1995395566 889368576 21079 996147200 134512640 134550740 4294955968 18446744073709551615 4127040498 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1580] ppid=1575 vsize=868524 CPUtime=0.73
/proc/1577/task/1580/stat : 1580 (java) S 1575 1577 1307 0 -1 64 6449 599 0 0 12 2 58 1 16 0 9 0 1995395567 889368576 21079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1581] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1581/stat : 1581 (java) S 1575 1577 1307 0 -1 64 14 599 0 0 0 0 58 1 16 0 9 0 1995395568 889368576 21079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1582] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1582/stat : 1582 (java) S 1575 1577 1307 0 -1 64 10 599 0 0 0 0 58 1 16 0 9 0 1995395568 889368576 21079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1583] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1583/stat : 1583 (java) S 1575 1577 1307 0 -1 64 1 599 0 0 0 0 58 1 23 0 9 0 1995395570 889368576 21079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1584] ppid=1575 vsize=868524 CPUtime=0.92
/proc/1577/task/1584/stat : 1584 (java) S 1575 1577 1307 0 -1 64 1039 599 0 0 32 1 58 1 15 0 9 0 1995395570 889368576 21079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1585] ppid=1575 vsize=868524 CPUtime=0.59
################
# More data... #
################
/proc/1577/task/1582/stat : 1582 (java) S 1575 1577 1307 0 -1 64 10 599 0 0 0 0 58 1 16 0 9 0 1995395568 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1583] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1583/stat : 1583 (java) S 1575 1577 1307 0 -1 64 1 599 0 0 0 0 58 1 23 0 9 0 1995395570 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1584] ppid=1575 vsize=868524 CPUtime=0.92
/proc/1577/task/1584/stat : 1584 (java) S 1575 1577 1307 0 -1 64 1040 599 0 0 32 1 58 1 16 0 9 0 1995395570 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1585] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1585/stat : 1585 (java) S 1575 1577 1307 0 -1 64 2 599 0 0 0 0 58 1 24 0 9 0 1995395570 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1586] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1586/stat : 1586 (java) S 1575 1577 1307 0 -1 64 33 599 0 0 0 0 58 1 15 0 9 0 1995395570 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 868524
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 1596
/proc/meminfo: memFree=1526888/2055920 swapFree=4180452/4192956
[pid=1577] ppid=1575 vsize=868524 CPUtime=1601.96
/proc/1577/stat : 1577 (java) S 1575 1577 1307 0 -1 0 29780 599 1 0 160121 16 58 1 18 0 9 0 1995395565 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1577/statm: 217131 21080 2638 9 0 211637 0
[pid=1577/tid=1579] ppid=1575 vsize=868524 CPUtime=1601.46
/proc/1577/task/1579/stat : 1579 (java) R 1575 1577 1307 0 -1 64 21417 599 1 0 160075 12 58 1 25 0 9 0 1995395566 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4127118316 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1580] ppid=1575 vsize=868524 CPUtime=0.73
/proc/1577/task/1580/stat : 1580 (java) S 1575 1577 1307 0 -1 64 6449 599 0 0 12 2 58 1 16 0 9 0 1995395567 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1581] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1581/stat : 1581 (java) S 1575 1577 1307 0 -1 64 14 599 0 0 0 0 58 1 16 0 9 0 1995395568 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1582] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1582/stat : 1582 (java) S 1575 1577 1307 0 -1 64 10 599 0 0 0 0 58 1 16 0 9 0 1995395568 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1583] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1583/stat : 1583 (java) S 1575 1577 1307 0 -1 64 1 599 0 0 0 0 58 1 23 0 9 0 1995395570 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1584] ppid=1575 vsize=868524 CPUtime=0.92
/proc/1577/task/1584/stat : 1584 (java) S 1575 1577 1307 0 -1 64 1040 599 0 0 32 1 58 1 16 0 9 0 1995395570 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1585] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1585/stat : 1585 (java) S 1575 1577 1307 0 -1 64 2 599 0 0 0 0 58 1 24 0 9 0 1995395570 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1586] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1586/stat : 1586 (java) S 1575 1577 1307 0 -1 64 33 599 0 0 0 0 58 1 15 0 9 0 1995395570 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 868524
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 1596
/proc/meminfo: memFree=1526888/2055920 swapFree=4180452/4192956
[pid=1577] ppid=1575 vsize=868524 CPUtime=1661.93
/proc/1577/stat : 1577 (java) S 1575 1577 1307 0 -1 0 29780 599 1 0 166118 16 58 1 18 0 9 0 1995395565 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1577/statm: 217131 21080 2638 9 0 211637 0
[pid=1577/tid=1579] ppid=1575 vsize=868524 CPUtime=1661.43
/proc/1577/task/1579/stat : 1579 (java) R 1575 1577 1307 0 -1 64 21417 599 1 0 166072 12 58 1 25 0 9 0 1995395566 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4127192638 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1580] ppid=1575 vsize=868524 CPUtime=0.73
/proc/1577/task/1580/stat : 1580 (java) S 1575 1577 1307 0 -1 64 6449 599 0 0 12 2 58 1 16 0 9 0 1995395567 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1581] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1581/stat : 1581 (java) S 1575 1577 1307 0 -1 64 14 599 0 0 0 0 58 1 16 0 9 0 1995395568 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1582] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1582/stat : 1582 (java) S 1575 1577 1307 0 -1 64 10 599 0 0 0 0 58 1 16 0 9 0 1995395568 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1583] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1583/stat : 1583 (java) S 1575 1577 1307 0 -1 64 1 599 0 0 0 0 58 1 23 0 9 0 1995395570 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1584] ppid=1575 vsize=868524 CPUtime=0.92
/proc/1577/task/1584/stat : 1584 (java) S 1575 1577 1307 0 -1 64 1040 599 0 0 32 1 58 1 16 0 9 0 1995395570 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1585] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1585/stat : 1585 (java) S 1575 1577 1307 0 -1 64 2 599 0 0 0 0 58 1 24 0 9 0 1995395570 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1586] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1586/stat : 1586 (java) S 1575 1577 1307 0 -1 64 33 599 0 0 0 0 58 1 15 0 9 0 1995395570 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 868524
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 1596
/proc/meminfo: memFree=1526888/2055920 swapFree=4180452/4192956
[pid=1577] ppid=1575 vsize=868524 CPUtime=1721.91
/proc/1577/stat : 1577 (java) S 1575 1577 1307 0 -1 0 29780 599 1 0 172116 16 58 1 18 0 9 0 1995395565 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1577/statm: 217131 21080 2638 9 0 211637 0
[pid=1577/tid=1579] ppid=1575 vsize=868524 CPUtime=1721.4
/proc/1577/task/1579/stat : 1579 (java) R 1575 1577 1307 0 -1 64 21417 599 1 0 172069 12 58 1 25 0 9 0 1995395566 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4127192595 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1580] ppid=1575 vsize=868524 CPUtime=0.73
/proc/1577/task/1580/stat : 1580 (java) S 1575 1577 1307 0 -1 64 6449 599 0 0 12 2 58 1 16 0 9 0 1995395567 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1581] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1581/stat : 1581 (java) S 1575 1577 1307 0 -1 64 14 599 0 0 0 0 58 1 16 0 9 0 1995395568 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1582] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1582/stat : 1582 (java) S 1575 1577 1307 0 -1 64 10 599 0 0 0 0 58 1 16 0 9 0 1995395568 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1583] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1583/stat : 1583 (java) S 1575 1577 1307 0 -1 64 1 599 0 0 0 0 58 1 23 0 9 0 1995395570 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1584] ppid=1575 vsize=868524 CPUtime=0.92
/proc/1577/task/1584/stat : 1584 (java) S 1575 1577 1307 0 -1 64 1040 599 0 0 32 1 58 1 16 0 9 0 1995395570 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1585] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1585/stat : 1585 (java) S 1575 1577 1307 0 -1 64 2 599 0 0 0 0 58 1 24 0 9 0 1995395570 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1586] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1586/stat : 1586 (java) S 1575 1577 1307 0 -1 64 33 599 0 0 0 0 58 1 15 0 9 0 1995395570 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 868524
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 1596
/proc/meminfo: memFree=1526824/2055920 swapFree=4180452/4192956
[pid=1577] ppid=1575 vsize=868524 CPUtime=1781.89
/proc/1577/stat : 1577 (java) S 1575 1577 1307 0 -1 0 29780 599 1 0 178114 16 58 1 18 0 9 0 1995395565 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1577/statm: 217131 21080 2638 9 0 211637 0
[pid=1577/tid=1579] ppid=1575 vsize=868524 CPUtime=1781.39
/proc/1577/task/1579/stat : 1579 (java) R 1575 1577 1307 0 -1 64 21417 599 1 0 178068 12 58 1 25 0 9 0 1995395566 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4127192638 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1580] ppid=1575 vsize=868524 CPUtime=0.73
/proc/1577/task/1580/stat : 1580 (java) S 1575 1577 1307 0 -1 64 6449 599 0 0 12 2 58 1 16 0 9 0 1995395567 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1581] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1581/stat : 1581 (java) S 1575 1577 1307 0 -1 64 14 599 0 0 0 0 58 1 16 0 9 0 1995395568 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1582] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1582/stat : 1582 (java) S 1575 1577 1307 0 -1 64 10 599 0 0 0 0 58 1 16 0 9 0 1995395568 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1583] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1583/stat : 1583 (java) S 1575 1577 1307 0 -1 64 1 599 0 0 0 0 58 1 23 0 9 0 1995395570 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1584] ppid=1575 vsize=868524 CPUtime=0.92
/proc/1577/task/1584/stat : 1584 (java) S 1575 1577 1307 0 -1 64 1040 599 0 0 32 1 58 1 16 0 9 0 1995395570 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1585] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1585/stat : 1585 (java) S 1575 1577 1307 0 -1 64 2 599 0 0 0 0 58 1 24 0 9 0 1995395570 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1586] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1586/stat : 1586 (java) S 1575 1577 1307 0 -1 64 33 599 0 0 0 0 58 1 15 0 9 0 1995395570 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 868524
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 1596
/proc/meminfo: memFree=1526824/2055920 swapFree=4180452/4192956
[pid=1577] ppid=1575 vsize=868524 CPUtime=1800.08
/proc/1577/stat : 1577 (java) S 1575 1577 1307 0 -1 0 29780 599 1 0 179933 16 58 1 18 0 9 0 1995395565 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1577/statm: 217131 21080 2638 9 0 211637 0
[pid=1577/tid=1579] ppid=1575 vsize=868524 CPUtime=1799.58
/proc/1577/task/1579/stat : 1579 (java) R 1575 1577 1307 0 -1 64 21417 599 1 0 179887 12 58 1 25 0 9 0 1995395566 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4127252570 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1580] ppid=1575 vsize=868524 CPUtime=0.73
/proc/1577/task/1580/stat : 1580 (java) S 1575 1577 1307 0 -1 64 6449 599 0 0 12 2 58 1 16 0 9 0 1995395567 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1581] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1581/stat : 1581 (java) S 1575 1577 1307 0 -1 64 14 599 0 0 0 0 58 1 16 0 9 0 1995395568 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1582] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1582/stat : 1582 (java) S 1575 1577 1307 0 -1 64 10 599 0 0 0 0 58 1 16 0 9 0 1995395568 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1583] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1583/stat : 1583 (java) S 1575 1577 1307 0 -1 64 1 599 0 0 0 0 58 1 23 0 9 0 1995395570 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1584] ppid=1575 vsize=868524 CPUtime=0.92
/proc/1577/task/1584/stat : 1584 (java) S 1575 1577 1307 0 -1 64 1040 599 0 0 32 1 58 1 16 0 9 0 1995395570 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1585] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1585/stat : 1585 (java) S 1575 1577 1307 0 -1 64 2 599 0 0 0 0 58 1 24 0 9 0 1995395570 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1586] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1586/stat : 1586 (java) S 1575 1577 1307 0 -1 64 33 599 0 0 0 0 58 1 15 0 9 0 1995395570 889368576 21080 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) 868524
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 1596
/proc/meminfo: memFree=1526824/2055920 swapFree=4180452/4192956
[pid=1577] ppid=1575 vsize=868524 CPUtime=1800.08
/proc/1577/stat : 1577 (java) S 1575 1577 1307 0 -1 0 29780 599 1 0 179933 16 58 1 18 0 9 0 1995395565 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1577/statm: 217131 21080 2638 9 0 211637 0
[pid=1577/tid=1579] ppid=1575 vsize=868524 CPUtime=1799.58
/proc/1577/task/1579/stat : 1579 (java) R 1575 1577 1307 0 -1 64 21417 599 1 0 179887 12 58 1 25 0 9 0 1995395566 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4127252570 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1580] ppid=1575 vsize=868524 CPUtime=0.73
/proc/1577/task/1580/stat : 1580 (java) S 1575 1577 1307 0 -1 64 6449 599 0 0 12 2 58 1 16 0 9 0 1995395567 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1581] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1581/stat : 1581 (java) S 1575 1577 1307 0 -1 64 14 599 0 0 0 0 58 1 16 0 9 0 1995395568 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1582] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1582/stat : 1582 (java) S 1575 1577 1307 0 -1 64 10 599 0 0 0 0 58 1 16 0 9 0 1995395568 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1583] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1583/stat : 1583 (java) S 1575 1577 1307 0 -1 64 1 599 0 0 0 0 58 1 23 0 9 0 1995395570 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1584] ppid=1575 vsize=868524 CPUtime=0.92
/proc/1577/task/1584/stat : 1584 (java) S 1575 1577 1307 0 -1 64 1040 599 0 0 32 1 58 1 16 0 9 0 1995395570 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1585] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1585/stat : 1585 (java) S 1575 1577 1307 0 -1 64 2 599 0 0 0 0 58 1 24 0 9 0 1995395570 889368576 21080 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1577/tid=1586] ppid=1575 vsize=868524 CPUtime=0.59
/proc/1577/task/1586/stat : 1586 (java) S 1575 1577 1307 0 -1 64 33 599 0 0 0 0 58 1 15 0 9 0 1995395570 889368576 21080 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) 868524
Child status: 143
Real time (s): 1800.58
CPU time (s): 1800.17
CPU user time (s): 1799.98
CPU system time (s): 0.19397
CPU usage (%): 99.9774
Max. virtual memory (cumulated for all children) (KiB): 871000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.19397
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30408
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= 37033
involuntary context switches= 42786
runsolver used 1.73773 second user time and 4.82427 second system time
The end
Begin job on node29 at 2008-07-04 11:36:58
IDJOB=1070291
IDBENCH=55833
IDSOLVER=364
FILE ID=node29/1070291-1215164218
PBS_JOBID= 7881485
Free space on /tmp= 66560 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/pseudoGLB/normalized-chnl35-45-pb-cnf-cr.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-1070291-1215164218/watcher-1070291-1215164218 -o /tmp/evaluation-result-1070291-1215164218/solver-1070291-1215164218 -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-1070291-1215164218.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 947154cb99982b2034e5540593a79891
RANDOM SEED=578521355
node29.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.220
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.220
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: 1602456 kB
Buffers: 72796 kB
Cached: 313916 kB
SwapCached: 6872 kB
Active: 198028 kB
Inactive: 197696 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1602456 kB
SwapTotal: 4192956 kB
SwapFree: 4180452 kB
Dirty: 2264 kB
Writeback: 0 kB
Mapped: 14308 kB
Slab: 43712 kB
Committed_AS: 3343664 kB
PageTables: 1564 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= 66556 MiB
End job on node29 at 2008-07-04 12:07:00