0.05/0.12
0.05/0.12 Abscon 112 (May, 2008)
0.15/0.27
0.15/0.27 configuration
0.15/0.27 name=mac.xml
0.25/0.35
0.25/0.35 instance
0.25/0.35 name=HOME/instance-2094163-1247402954.xml
0.25/0.38
0.25/0.39 domains being loaded...
0.25/0.40
0.25/0.40 variables being loaded...
0.36/0.42 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24 nbTotalValues=576
0.36/0.42 => wckTime=0.147 cpuTime=0.11 mem=7M892
0.36/0.42
0.36/0.42 relations being loaded...
0.95/1.08
0.95/1.08 constraints being loaded...
1.34/1.44 nbConstraints=76 nbRelationTypes=76 nbGlobalConstraints=76 nbExtensionStructures=76
1.34/1.44 nbSharedExtensionStructures=0 nbConflictsStructures=76 nbSharedConflictsStructures=0
1.34/1.44 nbSharedBinaryRepresentations=0 minDegree=3 maxDegree=14 minArity=3 maxArity=3 nbGenerators=0 nbFusions=0
1.34/1.44 symmetryWckTime=0.047 symmetryCpuTime=0.03
1.34/1.44 => wckTime=1.172 cpuTime=0.98 mem=54M926
1.53/1.61
1.53/1.61 solver IterativeSystematicSolver being built...
1.53/1.69
1.53/1.69 INFO : Forward propagation technique limited
1.64/1.76 => wckTime=1.484 cpuTime=1.1 mem=42M144
1.73/1.81
1.73/1.81 preprocessing
1.73/1.81 nbConstraintChecks=0 nbValidityChecks=386688 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0
1.73/1.81 nbRemovedValues=0 detectedInconsistency=no
1.73/1.81 => wckTime=0.056 cpuTime=0.04 mem=43M129
2.82/2.93
2.82/2.93 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=44M163)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2094163-1247402954/watcher-2094163-1247402954 -o /tmp/evaluation-result-2094163-1247402954/solver-2094163-1247402954 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2094163-1247402954.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): 2000 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.91 1.95 1.67 3/80 29795
/proc/meminfo: memFree=1808088/2055920 swapFree=4192812/4192956
[pid=29795] ppid=29793 vsize=18576 CPUtime=0
/proc/29795/stat : 29795 (runsolver) D 29793 29795 29565 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 27362301 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 237788261671 0 2147483391 4096 24578 18446744072099855350 0 0 17 0 0 0
/proc/29795/statm: 4644 284 249 26 0 2626 0
[startup+0.073495 s]
/proc/loadavg: 1.91 1.95 1.67 3/80 29795
/proc/meminfo: memFree=1808088/2055920 swapFree=4192812/4192956
[pid=29795] ppid=29793 vsize=861936 CPUtime=0.02
/proc/29795/stat : 29795 (java) S 29793 29795 29565 0 -1 0 2276 0 1 0 1 1 0 0 18 0 5 0 27362301 882622464 1879 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/29795/statm: 215484 1879 861 9 0 210399 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861936
[startup+0.10207 s]
/proc/loadavg: 1.91 1.95 1.67 3/80 29795
/proc/meminfo: memFree=1808088/2055920 swapFree=4192812/4192956
[pid=29795] ppid=29793 vsize=864024 CPUtime=0.05
/proc/29795/stat : 29795 (java) S 29793 29795 29565 0 -1 0 2887 0 1 0 4 1 0 0 18 0 9 0 27362301 884760576 2405 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29795/statm: 216006 2405 1141 9 0 210899 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864024
[startup+0.301107 s]
/proc/loadavg: 1.91 1.95 1.67 3/80 29795
/proc/meminfo: memFree=1808088/2055920 swapFree=4192812/4192956
[pid=29795] ppid=29793 vsize=866144 CPUtime=0.25
/proc/29795/stat : 29795 (java) S 29793 29795 29565 0 -1 0 5510 0 1 0 22 3 0 0 18 0 9 0 27362301 886931456 4922 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29795/statm: 216536 4922 1907 9 0 211014 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 866144
[startup+0.70218 s]
/proc/loadavg: 1.91 1.95 1.67 3/80 29795
/proc/meminfo: memFree=1808088/2055920 swapFree=4192812/4192956
[pid=29795] ppid=29793 vsize=866500 CPUtime=0.65
/proc/29795/stat : 29795 (java) S 29793 29795 29565 0 -1 0 10164 0 1 0 60 5 0 0 18 0 9 0 27362301 887296000 9526 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29795/statm: 216625 9526 1999 9 0 211083 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 866500
[startup+1.50133 s]
/proc/loadavg: 1.91 1.95 1.67 4/89 29804
/proc/meminfo: memFree=1749008/2055920 swapFree=4192812/4192956
[pid=29795] ppid=29793 vsize=867280 CPUtime=1.44
/proc/29795/stat : 29795 (java) S 29793 29795 29565 0 -1 0 26301 272 1 0 132 11 0 1 18 0 9 0 27362301 888094720 18969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29795/statm: 216820 18969 2088 9 0 211278 0
[pid=29795/tid=29797] ppid=29793 vsize=867280 CPUtime=1.2
/proc/29795/task/29797/stat : 29797 (java) R 29793 29795 29565 0 -1 64 16431 272 1 0 112 7 0 1 24 0 9 0 27362305 888094720 18969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29798] ppid=29793 vsize=867280 CPUtime=0.11
/proc/29795/task/29798/stat : 29798 (java) R 29793 29795 29565 0 -1 64 8665 272 0 0 9 1 0 1 16 0 9 0 27362306 888094720 18969 996147200 134512640 134550932 4294955968 18446744073709551615 104189944 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29799] ppid=29793 vsize=867280 CPUtime=0.01
/proc/29795/task/29799/stat : 29799 (java) S 29793 29795 29565 0 -1 64 16 272 0 0 0 0 0 1 16 0 9 0 27362307 888094720 18969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29800] ppid=29793 vsize=867280 CPUtime=0.01
/proc/29795/task/29800/stat : 29800 (java) S 29793 29795 29565 0 -1 64 5 272 0 0 0 0 0 1 16 0 9 0 27362307 888094720 18969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29801] ppid=29793 vsize=867280 CPUtime=0.01
/proc/29795/task/29801/stat : 29801 (java) S 29793 29795 29565 0 -1 64 1 272 0 0 0 0 0 1 18 0 9 0 27362309 888094720 18969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29802] ppid=29793 vsize=867280 CPUtime=0.11
/proc/29795/task/29802/stat : 29802 (java) S 29793 29795 29565 0 -1 64 368 272 0 0 10 0 0 1 16 0 9 0 27362309 888094720 18969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29803] ppid=29793 vsize=867280 CPUtime=0.01
/proc/29795/task/29803/stat : 29803 (java) S 29793 29795 29565 0 -1 64 1 272 0 0 0 0 0 1 19 0 9 0 27362309 888094720 18969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29804] ppid=29793 vsize=867280 CPUtime=0.01
/proc/29795/task/29804/stat : 29804 (java) S 29793 29795 29565 0 -1 64 5 272 0 0 0 0 0 1 15 0 9 0 27362309 888094720 18969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 867280
[startup+3.10162 s]
/proc/loadavg: 1.91 1.95 1.67 3/89 29808
/proc/meminfo: memFree=1719888/2055920 swapFree=4192812/4192956
[pid=29795] ppid=29793 vsize=867368 CPUtime=3.01
/proc/29795/stat : 29795 (java) S 29793 29795 29565 0 -1 0 35969 272 1 0 286 14 0 1 18 0 9 0 27362301 888184832 24573 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29795/statm: 216842 24573 2659 9 0 211278 0
[pid=29795/tid=29797] ppid=29793 vsize=867368 CPUtime=2.58
/proc/29795/task/29797/stat : 29797 (java) R 29793 29795 29565 0 -1 64 19846 272 1 0 248 9 0 1 25 0 9 0 27362305 888184832 24573 996147200 134512640 134550932 4294955968 18446744073709551615 4126790418 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29798] ppid=29793 vsize=867368 CPUtime=0.22
/proc/29795/task/29798/stat : 29798 (java) S 29793 29795 29565 0 -1 64 14747 272 0 0 18 3 0 1 17 0 9 0 27362306 888184832 24573 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29799] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29799/stat : 29799 (java) S 29793 29795 29565 0 -1 64 19 272 0 0 0 0 0 1 16 0 9 0 27362307 888184832 24573 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29800] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29800/stat : 29800 (java) S 29793 29795 29565 0 -1 64 8 272 0 0 0 0 0 1 15 0 9 0 27362307 888184832 24573 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29801] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29801/stat : 29801 (java) S 29793 29795 29565 0 -1 64 1 272 0 0 0 0 0 1 18 0 9 0 27362309 888184832 24573 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29802] ppid=29793 vsize=867368 CPUtime=0.2
/proc/29795/task/29802/stat : 29802 (java) S 29793 29795 29565 0 -1 64 533 272 0 0 19 0 0 1 15 0 9 0 27362309 888184832 24573 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29803] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29803/stat : 29803 (java) S 29793 29795 29565 0 -1 64 1 272 0 0 0 0 0 1 19 0 9 0 27362309 888184832 24573 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29804] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29804/stat : 29804 (java) S 29793 29795 29565 0 -1 64 5 272 0 0 0 0 0 1 15 0 9 0 27362309 888184832 24573 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 867368
[startup+6.30221 s]
/proc/loadavg: 1.92 1.95 1.67 4/89 29808
/proc/meminfo: memFree=1719568/2055920 swapFree=4192812/4192956
[pid=29795] ppid=29793 vsize=867368 CPUtime=6.19
/proc/29795/stat : 29795 (java) S 29793 29795 29565 0 -1 0 35986 272 1 0 604 14 0 1 18 0 9 0 27362301 888184832 24579 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29795/statm: 216842 24579 2659 9 0 211278 0
[pid=29795/tid=29797] ppid=29793 vsize=867368 CPUtime=5.75
/proc/29795/task/29797/stat : 29797 (java) R 29793 29795 29565 0 -1 64 19854 272 1 0 565 9 0 1 25 0 9 0 27362305 888184832 24579 996147200 134512640 134550932 4294955968 18446744073709551615 4126778782 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29798] ppid=29793 vsize=867368 CPUtime=0.22
/proc/29795/task/29798/stat : 29798 (java) S 29793 29795 29565 0 -1 64 14747 272 0 0 18 3 0 1 17 0 9 0 27362306 888184832 24579 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29799] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29799/stat : 29799 (java) S 29793 29795 29565 0 -1 64 19 272 0 0 0 0 0 1 16 0 9 0 27362307 888184832 24579 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29800] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29800/stat : 29800 (java) S 29793 29795 29565 0 -1 64 8 272 0 0 0 0 0 1 15 0 9 0 27362307 888184832 24579 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29801] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29801/stat : 29801 (java) S 29793 29795 29565 0 -1 64 1 272 0 0 0 0 0 1 18 0 9 0 27362309 888184832 24579 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29802] ppid=29793 vsize=867368 CPUtime=0.21
/proc/29795/task/29802/stat : 29802 (java) S 29793 29795 29565 0 -1 64 542 272 0 0 20 0 0 1 15 0 9 0 27362309 888184832 24579 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29803] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29803/stat : 29803 (java) S 29793 29795 29565 0 -1 64 1 272 0 0 0 0 0 1 19 0 9 0 27362309 888184832 24579 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29804] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29804/stat : 29804 (java) S 29793 29795 29565 0 -1 64 5 272 0 0 0 0 0 1 15 0 9 0 27362309 888184832 24579 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 867368
[startup+12.7014 s]
/proc/loadavg: 1.93 1.95 1.67 3/89 29808
/proc/meminfo: memFree=1719504/2055920 swapFree=4192812/4192956
[pid=29795] ppid=29793 vsize=867368 CPUtime=12.53
/proc/29795/stat : 29795 (java) S 29793 29795 29565 0 -1 0 36016 272 1 0 1237 15 0 1 18 0 9 0 27362301 888184832 24591 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29795/statm: 216842 24591 2659 9 0 211278 0
[pid=29795/tid=29797] ppid=29793 vsize=867368 CPUtime=12.06
/proc/29795/task/29797/stat : 29797 (java) R 29793 29795 29565 0 -1 64 19870 272 1 0 1196 9 0 1 25 0 9 0 27362305 888184832 24591 996147200 134512640 134550932 4294955968 18446744073709551615 4126790261 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29798] ppid=29793 vsize=867368 CPUtime=0.22
/proc/29795/task/29798/stat : 29798 (java) S 29793 29795 29565 0 -1 64 14747 272 0 0 18 3 0 1 17 0 9 0 27362306 888184832 24591 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29799] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29799/stat : 29799 (java) S 29793 29795 29565 0 -1 64 19 272 0 0 0 0 0 1 16 0 9 0 27362307 888184832 24591 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29800] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29800/stat : 29800 (java) S 29793 29795 29565 0 -1 64 8 272 0 0 0 0 0 1 15 0 9 0 27362307 888184832 24591 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29801] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29801/stat : 29801 (java) S 29793 29795 29565 0 -1 64 1 272 0 0 0 0 0 1 18 0 9 0 27362309 888184832 24591 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29802] ppid=29793 vsize=867368 CPUtime=0.24
/proc/29795/task/29802/stat : 29802 (java) S 29793 29795 29565 0 -1 64 556 272 0 0 23 0 0 1 17 0 9 0 27362309 888184832 24591 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29803] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29803/stat : 29803 (java) S 29793 29795 29565 0 -1 64 1 272 0 0 0 0 0 1 19 0 9 0 27362309 888184832 24591 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29804] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29804/stat : 29804 (java) R 29793 29795 29565 0 -1 64 5 272 0 0 0 0 0 1 15 0 9 0 27362309 888184832 24591 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 867368
[startup+25.5027 s]
/proc/loadavg: 1.95 1.96 1.68 3/89 29888
/proc/meminfo: memFree=1721424/2055920 swapFree=4192812/4192956
[pid=29795] ppid=29793 vsize=867368 CPUtime=25.29
/proc/29795/stat : 29795 (java) S 29793 29795 29565 0 -1 0 36046 272 1 0 2513 15 0 1 18 0 9 0 27362301 888184832 24593 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29795/statm: 216842 24593 2659 9 0 211278 0
[pid=29795/tid=29797] ppid=29793 vsize=867368 CPUtime=24.81
/proc/29795/task/29797/stat : 29797 (java) R 29793 29795 29565 0 -1 64 19895 272 1 0 2471 9 0 1 25 0 9 0 27362305 888184832 24593 996147200 134512640 134550932 4294955968 18446744073709551615 4126790204 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29795/tid=29798] ppid=29793 vsize=867368 CPUtime=0.22
/proc/29795/task/29798/stat : 29798 (java) S 29793 29795 29565 0 -1 64 14747 272 0 0 18 3 0 1 16 0 9 0 27362306 888184832 24593 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29799] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29799/stat : 29799 (java) S 29793 29795 29565 0 -1 64 19 272 0 0 0 0 0 1 16 0 9 0 27362307 888184832 24593 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29800] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29800/stat : 29800 (java) S 29793 29795 29565 0 -1 64 8 272 0 0 0 0 0 1 15 0 9 0 27362307 888184832 24593 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29801] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29801/stat : 29801 (java) S 29793 29795 29565 0 -1 64 1 272 0 0 0 0 0 1 18 0 9 0 27362309 888184832 24593 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29802] ppid=29793 vsize=867368 CPUtime=0.24
/proc/29795/task/29802/stat : 29802 (java) S 29793 29795 29565 0 -1 64 561 272 0 0 23 0 0 1 16 0 9 0 27362309 888184832 24593 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29803] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29803/stat : 29803 (java) S 29793 29795 29565 0 -1 64 1 272 0 0 0 0 0 1 19 0 9 0 27362309 888184832 24593 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29804] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29804/stat : 29804 (java) S 29793 29795 29565 0 -1 64 5 272 0 0 0 0 0 1 15 0 9 0 27362309 888184832 24593 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 867368
[startup+51.1024 s]
/proc/loadavg: 1.97 1.96 1.68 3/89 29888
/proc/meminfo: memFree=1721168/2055920 swapFree=4192812/4192956
[pid=29795] ppid=29793 vsize=867368 CPUtime=50.88
/proc/29795/stat : 29795 (java) S 29793 29795 29565 0 -1 0 36066 272 1 0 5071 16 0 1 18 0 9 0 27362301 888184832 24594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29795/statm: 216842 24594 2659 9 0 211278 0
[pid=29795/tid=29797] ppid=29793 vsize=867368 CPUtime=50.4
/proc/29795/task/29797/stat : 29797 (java) R 29793 29795 29565 0 -1 64 19914 272 1 0 5029 10 0 1 25 0 9 0 27362305 888184832 24594 996147200 134512640 134550932 4294955968 18446744073709551615 4126790351 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29795/tid=29798] ppid=29793 vsize=867368 CPUtime=0.22
/proc/29795/task/29798/stat : 29798 (java) S 29793 29795 29565 0 -1 64 14747 272 0 0 18 3 0 1 16 0 9 0 27362306 888184832 24594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29799] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29799/stat : 29799 (java) S 29793 29795 29565 0 -1 64 19 272 0 0 0 0 0 1 16 0 9 0 27362307 888184832 24594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29800] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29800/stat : 29800 (java) S 29793 29795 29565 0 -1 64 8 272 0 0 0 0 0 1 15 0 9 0 27362307 888184832 24594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29801] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29801/stat : 29801 (java) S 29793 29795 29565 0 -1 64 1 272 0 0 0 0 0 1 18 0 9 0 27362309 888184832 24594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29802] ppid=29793 vsize=867368 CPUtime=0.24
/proc/29795/task/29802/stat : 29802 (java) S 29793 29795 29565 0 -1 64 562 272 0 0 23 0 0 1 16 0 9 0 27362309 888184832 24594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29795/tid=29803] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29803/stat : 29803 (java) S 29793 29795 29565 0 -1 64 1 272 0 0 0 0 0 1 19 0 9 0 27362309 888184832 24594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/29795/task/29800/stat : 29800 (java) S 29793 29795 29565 0 -1 64 8 272 0 0 0 0 0 1 15 0 9 0 27362307 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29801] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29801/stat : 29801 (java) S 29793 29795 29565 0 -1 64 1 272 0 0 0 0 0 1 18 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29802] ppid=29793 vsize=867368 CPUtime=0.25
/proc/29795/task/29802/stat : 29802 (java) S 29793 29795 29565 0 -1 64 564 272 0 0 24 0 0 1 16 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29795/tid=29803] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29803/stat : 29803 (java) S 29793 29795 29565 0 -1 64 1 272 0 0 0 0 0 1 19 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29804] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29804/stat : 29804 (java) S 29793 29795 29565 0 -1 64 5 272 0 0 0 0 0 1 15 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.37
Current children cumulated vsize (KiB) 867368
[startup+1602.3 s]
/proc/loadavg: 2.17 2.10 1.95 3/89 29896
/proc/meminfo: memFree=1720216/2055920 swapFree=4192812/4192956
[pid=29795] ppid=29793 vsize=867368 CPUtime=1601.34
/proc/29795/stat : 29795 (java) S 29793 29795 29565 0 -1 0 37816 272 1 0 160113 20 0 1 18 0 9 0 27362301 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29795/statm: 216842 24596 2659 9 0 211278 0
[pid=29795/tid=29797] ppid=29793 vsize=867368 CPUtime=1600.85
/proc/29795/task/29797/stat : 29797 (java) R 29793 29795 29565 0 -1 64 21662 272 1 0 160070 14 0 1 25 0 9 0 27362305 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4126778752 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29795/tid=29798] ppid=29793 vsize=867368 CPUtime=0.22
/proc/29795/task/29798/stat : 29798 (java) S 29793 29795 29565 0 -1 64 14747 272 0 0 18 3 0 1 16 0 9 0 27362306 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29799] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29799/stat : 29799 (java) S 29793 29795 29565 0 -1 64 19 272 0 0 0 0 0 1 16 0 9 0 27362307 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29800] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29800/stat : 29800 (java) S 29793 29795 29565 0 -1 64 8 272 0 0 0 0 0 1 15 0 9 0 27362307 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29801] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29801/stat : 29801 (java) S 29793 29795 29565 0 -1 64 1 272 0 0 0 0 0 1 18 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29802] ppid=29793 vsize=867368 CPUtime=0.25
/proc/29795/task/29802/stat : 29802 (java) S 29793 29795 29565 0 -1 64 564 272 0 0 24 0 0 1 16 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29795/tid=29803] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29803/stat : 29803 (java) S 29793 29795 29565 0 -1 64 1 272 0 0 0 0 0 1 19 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29804] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29804/stat : 29804 (java) S 29793 29795 29565 0 -1 64 5 272 0 0 0 0 0 1 15 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.34
Current children cumulated vsize (KiB) 867368
[startup+1662.3 s]
/proc/loadavg: 2.10 2.10 1.96 3/89 29896
/proc/meminfo: memFree=1720152/2055920 swapFree=4192812/4192956
[pid=29795] ppid=29793 vsize=867368 CPUtime=1661.31
/proc/29795/stat : 29795 (java) S 29793 29795 29565 0 -1 0 37879 272 1 0 166110 20 0 1 18 0 9 0 27362301 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29795/statm: 216842 24596 2659 9 0 211278 0
[pid=29795/tid=29797] ppid=29793 vsize=867368 CPUtime=1660.82
/proc/29795/task/29797/stat : 29797 (java) R 29793 29795 29565 0 -1 64 21725 272 1 0 166067 14 0 1 25 0 9 0 27362305 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4126790235 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29795/tid=29798] ppid=29793 vsize=867368 CPUtime=0.22
/proc/29795/task/29798/stat : 29798 (java) S 29793 29795 29565 0 -1 64 14747 272 0 0 18 3 0 1 16 0 9 0 27362306 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29799] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29799/stat : 29799 (java) S 29793 29795 29565 0 -1 64 19 272 0 0 0 0 0 1 16 0 9 0 27362307 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29800] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29800/stat : 29800 (java) S 29793 29795 29565 0 -1 64 8 272 0 0 0 0 0 1 15 0 9 0 27362307 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29801] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29801/stat : 29801 (java) S 29793 29795 29565 0 -1 64 1 272 0 0 0 0 0 1 18 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29802] ppid=29793 vsize=867368 CPUtime=0.25
/proc/29795/task/29802/stat : 29802 (java) S 29793 29795 29565 0 -1 64 564 272 0 0 24 0 0 1 16 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29795/tid=29803] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29803/stat : 29803 (java) S 29793 29795 29565 0 -1 64 1 272 0 0 0 0 0 1 19 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29804] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29804/stat : 29804 (java) S 29793 29795 29565 0 -1 64 5 272 0 0 0 0 0 1 15 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.31
Current children cumulated vsize (KiB) 867368
[startup+1722.3 s]
/proc/loadavg: 2.07 2.09 1.96 3/89 29896
/proc/meminfo: memFree=1720088/2055920 swapFree=4192812/4192956
[pid=29795] ppid=29793 vsize=867368 CPUtime=1721.28
/proc/29795/stat : 29795 (java) S 29793 29795 29565 0 -1 0 37943 272 1 0 172107 20 0 1 18 0 9 0 27362301 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29795/statm: 216842 24596 2659 9 0 211278 0
[pid=29795/tid=29797] ppid=29793 vsize=867368 CPUtime=1720.8
/proc/29795/task/29797/stat : 29797 (java) R 29793 29795 29565 0 -1 64 21789 272 1 0 172065 14 0 1 25 0 9 0 27362305 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4126778720 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29795/tid=29798] ppid=29793 vsize=867368 CPUtime=0.22
/proc/29795/task/29798/stat : 29798 (java) S 29793 29795 29565 0 -1 64 14747 272 0 0 18 3 0 1 16 0 9 0 27362306 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29799] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29799/stat : 29799 (java) S 29793 29795 29565 0 -1 64 19 272 0 0 0 0 0 1 16 0 9 0 27362307 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29800] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29800/stat : 29800 (java) S 29793 29795 29565 0 -1 64 8 272 0 0 0 0 0 1 15 0 9 0 27362307 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29801] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29801/stat : 29801 (java) S 29793 29795 29565 0 -1 64 1 272 0 0 0 0 0 1 18 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29802] ppid=29793 vsize=867368 CPUtime=0.25
/proc/29795/task/29802/stat : 29802 (java) S 29793 29795 29565 0 -1 64 564 272 0 0 24 0 0 1 16 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29795/tid=29803] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29803/stat : 29803 (java) S 29793 29795 29565 0 -1 64 1 272 0 0 0 0 0 1 19 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29804] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29804/stat : 29804 (java) S 29793 29795 29565 0 -1 64 5 272 0 0 0 0 0 1 15 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.28
Current children cumulated vsize (KiB) 867368
[startup+1782.3 s]
/proc/loadavg: 2.06 2.08 1.97 3/89 29896
/proc/meminfo: memFree=1719960/2055920 swapFree=4192812/4192956
[pid=29795] ppid=29793 vsize=867368 CPUtime=1781.26
/proc/29795/stat : 29795 (java) S 29793 29795 29565 0 -1 0 38018 272 1 0 178104 21 0 1 18 0 9 0 27362301 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29795/statm: 216842 24596 2659 9 0 211278 0
[pid=29795/tid=29797] ppid=29793 vsize=867368 CPUtime=1780.78
/proc/29795/task/29797/stat : 29797 (java) R 29793 29795 29565 0 -1 64 21864 272 1 0 178062 15 0 1 25 0 9 0 27362305 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4126790418 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29795/tid=29798] ppid=29793 vsize=867368 CPUtime=0.22
/proc/29795/task/29798/stat : 29798 (java) S 29793 29795 29565 0 -1 64 14747 272 0 0 18 3 0 1 16 0 9 0 27362306 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29799] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29799/stat : 29799 (java) S 29793 29795 29565 0 -1 64 19 272 0 0 0 0 0 1 16 0 9 0 27362307 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29800] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29800/stat : 29800 (java) S 29793 29795 29565 0 -1 64 8 272 0 0 0 0 0 1 15 0 9 0 27362307 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29801] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29801/stat : 29801 (java) S 29793 29795 29565 0 -1 64 1 272 0 0 0 0 0 1 18 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29802] ppid=29793 vsize=867368 CPUtime=0.25
/proc/29795/task/29802/stat : 29802 (java) S 29793 29795 29565 0 -1 64 564 272 0 0 24 0 0 1 16 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29795/tid=29803] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29803/stat : 29803 (java) S 29793 29795 29565 0 -1 64 1 272 0 0 0 0 0 1 19 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29804] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29804/stat : 29804 (java) S 29793 29795 29565 0 -1 64 5 272 0 0 0 0 0 1 15 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.26
Current children cumulated vsize (KiB) 867368
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.1 s]
/proc/loadavg: 2.10 2.09 1.97 3/89 29896
/proc/meminfo: memFree=1719960/2055920 swapFree=4192812/4192956
[pid=29795] ppid=29793 vsize=867368 CPUtime=1800.06
/proc/29795/stat : 29795 (java) S 29793 29795 29565 0 -1 0 38054 272 1 0 179984 21 0 1 18 0 9 0 27362301 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29795/statm: 216842 24596 2659 9 0 211278 0
[pid=29795/tid=29797] ppid=29793 vsize=867368 CPUtime=1799.57
/proc/29795/task/29797/stat : 29797 (java) R 29793 29795 29565 0 -1 64 21900 272 1 0 179941 15 0 1 25 0 9 0 27362305 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4126790392 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29795/tid=29798] ppid=29793 vsize=867368 CPUtime=0.22
/proc/29795/task/29798/stat : 29798 (java) S 29793 29795 29565 0 -1 64 14747 272 0 0 18 3 0 1 16 0 9 0 27362306 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29799] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29799/stat : 29799 (java) S 29793 29795 29565 0 -1 64 19 272 0 0 0 0 0 1 16 0 9 0 27362307 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29800] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29800/stat : 29800 (java) S 29793 29795 29565 0 -1 64 8 272 0 0 0 0 0 1 15 0 9 0 27362307 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29801] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29801/stat : 29801 (java) S 29793 29795 29565 0 -1 64 1 272 0 0 0 0 0 1 18 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29802] ppid=29793 vsize=867368 CPUtime=0.25
/proc/29795/task/29802/stat : 29802 (java) S 29793 29795 29565 0 -1 64 564 272 0 0 24 0 0 1 16 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29795/tid=29803] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29803/stat : 29803 (java) S 29793 29795 29565 0 -1 64 1 272 0 0 0 0 0 1 19 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29804] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29804/stat : 29804 (java) S 29793 29795 29565 0 -1 64 5 272 0 0 0 0 0 1 15 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 867368
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.1 s]
/proc/loadavg: 2.10 2.09 1.97 3/89 29896
/proc/meminfo: memFree=1719960/2055920 swapFree=4192812/4192956
[pid=29795] ppid=29793 vsize=867368 CPUtime=1800.06
/proc/29795/stat : 29795 (java) S 29793 29795 29565 0 -1 0 38054 272 1 0 179984 21 0 1 18 0 9 0 27362301 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29795/statm: 216842 24596 2659 9 0 211278 0
[pid=29795/tid=29797] ppid=29793 vsize=867368 CPUtime=1799.57
/proc/29795/task/29797/stat : 29797 (java) R 29793 29795 29565 0 -1 64 21900 272 1 0 179941 15 0 1 25 0 9 0 27362305 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4126790392 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29795/tid=29798] ppid=29793 vsize=867368 CPUtime=0.22
/proc/29795/task/29798/stat : 29798 (java) S 29793 29795 29565 0 -1 64 14747 272 0 0 18 3 0 1 16 0 9 0 27362306 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29799] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29799/stat : 29799 (java) S 29793 29795 29565 0 -1 64 19 272 0 0 0 0 0 1 16 0 9 0 27362307 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29800] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29800/stat : 29800 (java) S 29793 29795 29565 0 -1 64 8 272 0 0 0 0 0 1 15 0 9 0 27362307 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29801] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29801/stat : 29801 (java) S 29793 29795 29565 0 -1 64 1 272 0 0 0 0 0 1 18 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29802] ppid=29793 vsize=867368 CPUtime=0.25
/proc/29795/task/29802/stat : 29802 (java) S 29793 29795 29565 0 -1 64 564 272 0 0 24 0 0 1 16 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29795/tid=29803] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29803/stat : 29803 (java) S 29793 29795 29565 0 -1 64 1 272 0 0 0 0 0 1 19 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29795/tid=29804] ppid=29793 vsize=867368 CPUtime=0.01
/proc/29795/task/29804/stat : 29804 (java) S 29793 29795 29565 0 -1 64 5 272 0 0 0 0 0 1 15 0 9 0 27362309 888184832 24596 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 867368
Child status: 143
Real time (s): 1801.15
CPU time (s): 1800.11
CPU user time (s): 1799.87
CPU system time (s): 0.238963
CPU usage (%): 99.9423
Max. virtual memory (cumulated for all children) (KiB): 867368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.238963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38355
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= 37459
involuntary context switches= 41884
runsolver used 2.26166 second user time and 5.9411 second system time
The end
Begin job on node24 at 2009-07-12 14:49:15
IDJOB=2094163
IDBENCH=54004
IDSOLVER=773
FILE ID=node24/2094163-1247402954
PBS_JOBID= 9510596
Free space on /tmp= 66460 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rand-3-24-24/normalized-rand-3-24-24-76-632-10_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2094163-1247402954/watcher-2094163-1247402954 -o /tmp/evaluation-result-2094163-1247402954/solver-2094163-1247402954 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2094163-1247402954.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= bf18611143afc06b8e4788fb89aa7ca2
RANDOM SEED=2083285123
node24.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.287
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.287
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: 1808568 kB
Buffers: 35860 kB
Cached: 102316 kB
SwapCached: 0 kB
Active: 143760 kB
Inactive: 49580 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1808568 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4980 kB
Writeback: 0 kB
Mapped: 75584 kB
Slab: 38968 kB
Committed_AS: 1002108 kB
PageTables: 1940 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= 66460 MiB
End job on node24 at 2009-07-12 15:19:18