0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=mac.xml
0.28/0.33
0.28/0.33 instance
0.28/0.33 name=HOME/instance-2097473-1247412538.xml
0.28/0.36
0.28/0.36 domains being loaded...
0.28/0.38
0.28/0.38 variables being loaded...
0.47/0.60 nbVariables=450 nbDomainTypes=89 minDomainSize=1075 maxDomainSize=1173 nbTotalValues=505194
0.47/0.60 => wckTime=0.345 cpuTime=0.26 mem=19M677
0.58/0.60
0.58/0.60 predicates being loaded...
0.58/0.66
0.58/0.66 constraints being loaded...
20.69/20.95
20.69/20.95 INFO : Stopping converting binary constraints (cpu=20.21, mem = 54M665)
21.91/22.16 nbConstraints=5595 nbGlobalConstraints=5136 nbConvertedConstraints=137 nbConvertConstraintsChecks=99619476
21.91/22.16 nbExtensionStructures=79 nbSharedExtensionStructures=58 nbConflictsStructures=79 nbSharedConflictsStructures=58
21.91/22.16 nbUnbuiltConflictsStructures=137 nbSharedBinaryRepresentations=90633 nbEvaluationManagers=137
21.91/22.16 nbSharedEvaluationManagers=185 minDegree=16 maxDegree=34 minArity=2 avgArity=2.04 maxArity=16 nbGenerators=0
21.91/22.16 nbFusions=0 symmetryWckTime=1.109 symmetryCpuTime=0.82 nbCliques=15
21.91/22.16 => wckTime=21.907 cpuTime=21.07 mem=42M786
22.10/22.34
22.10/22.34 solver IterativeSystematicSolver being built...
22.20/22.43
22.20/22.43 INFO : Forward propagation technique limited
22.29/22.53 => wckTime=22.281 cpuTime=21.24 mem=77M635
41.01/41.44
41.01/41.44 preprocessing
41.01/41.45 nbConstraintChecks=100943090 nbValidityChecks=541084 nbPropagations=849 nbRevisions=1702
41.01/41.45 nbUselessRevisions=1120 nbRemovedValues=323484 detectedInconsistency=no
41.01/41.45 => wckTime=18.893 cpuTime=18.63 mem=72M89
47.06/47.60
47.06/47.60 INFO : Stopping use of transposition table (mapSize=0, nbTooLargekeys=101, mem=65M465)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097473-1247412538/watcher-2097473-1247412538 -o /tmp/evaluation-result-2097473-1247412538/solver-2097473-1247412538 -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-2097473-1247412538.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.92 1.98 1.99 4/80 30064
/proc/meminfo: memFree=1366416/2055920 swapFree=4192812/4192956
[pid=30064] ppid=30062 vsize=18576 CPUtime=0
/proc/30064/stat : 30064 (runsolver) R 30062 30064 28551 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 28317569 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 258939088167 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30064/statm: 4644 284 249 26 0 2626 0
[startup+0.105838 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 30064
/proc/meminfo: memFree=1366416/2055920 swapFree=4192812/4192956
[pid=30064] ppid=30062 vsize=865984 CPUtime=0.08
/proc/30064/stat : 30064 (java) S 30062 30064 28551 0 -1 0 3758 0 1 0 6 2 0 0 18 0 9 0 28317569 886767616 3216 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30064/statm: 216496 3216 1697 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.201858 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 30064
/proc/meminfo: memFree=1366416/2055920 swapFree=4192812/4192956
[pid=30064] ppid=30062 vsize=866144 CPUtime=0.18
/proc/30064/stat : 30064 (java) S 30062 30064 28551 0 -1 0 4665 0 1 0 15 3 0 0 18 0 9 0 28317569 886931456 4082 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30064/statm: 216536 4082 1875 9 0 211014 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866144
[startup+0.301874 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 30064
/proc/meminfo: memFree=1366416/2055920 swapFree=4192812/4192956
[pid=30064] ppid=30062 vsize=866144 CPUtime=0.28
/proc/30064/stat : 30064 (java) S 30062 30064 28551 0 -1 0 5658 0 1 0 24 4 0 0 18 0 9 0 28317569 886931456 5061 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30064/statm: 216536 5061 1927 9 0 211014 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866144
[startup+0.701947 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 30064
/proc/meminfo: memFree=1366416/2055920 swapFree=4192812/4192956
[pid=30064] ppid=30062 vsize=867196 CPUtime=0.67
/proc/30064/stat : 30064 (java) S 30062 30064 28551 0 -1 0 10309 0 1 0 61 6 0 0 18 0 9 0 28317569 888008704 9663 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30064/statm: 216799 9663 2032 9 0 211235 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867196
[startup+1.50208 s]
/proc/loadavg: 1.92 1.98 1.99 3/89 30073
/proc/meminfo: memFree=1318984/2055920 swapFree=4192812/4192956
[pid=30064] ppid=30062 vsize=867784 CPUtime=1.47
/proc/30064/stat : 30064 (java) S 30062 30064 28551 0 -1 0 14801 0 1 0 138 9 0 0 18 0 9 0 28317569 888610816 14152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30064/statm: 216946 14152 2041 9 0 211382 0
[pid=30064/tid=30066] ppid=30062 vsize=867784 CPUtime=1.27
/proc/30064/task/30066/stat : 30066 (java) R 30062 30064 28551 0 -1 64 13417 0 1 0 119 8 0 0 25 0 9 0 28317571 888610816 14152 996147200 134512640 134550932 4294955968 18446744073709551615 4126910752 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30067] ppid=30062 vsize=867784 CPUtime=0
/proc/30064/task/30067/stat : 30067 (java) S 30062 30064 28551 0 -1 64 2 0 0 0 0 0 0 0 17 0 9 0 28317573 888610816 14152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30068] ppid=30062 vsize=867784 CPUtime=0
/proc/30064/task/30068/stat : 30068 (java) S 30062 30064 28551 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 28317573 888610816 14152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30069] ppid=30062 vsize=867784 CPUtime=0
/proc/30064/task/30069/stat : 30069 (java) S 30062 30064 28551 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 28317573 888610816 14152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30070] ppid=30062 vsize=867784 CPUtime=0
/proc/30064/task/30070/stat : 30070 (java) S 30062 30064 28551 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28317575 888610816 14152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30071] ppid=30062 vsize=867784 CPUtime=0.18
/proc/30064/task/30071/stat : 30071 (java) S 30062 30064 28551 0 -1 64 686 0 0 0 18 0 0 0 16 0 9 0 28317575 888610816 14152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30072] ppid=30062 vsize=867784 CPUtime=0
/proc/30064/task/30072/stat : 30072 (java) S 30062 30064 28551 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28317575 888610816 14152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30073] ppid=30062 vsize=867784 CPUtime=0
/proc/30064/task/30073/stat : 30073 (java) S 30062 30064 28551 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28317575 888610816 14152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867784
[startup+3.10238 s]
/proc/loadavg: 1.92 1.98 1.99 3/89 30073
/proc/meminfo: memFree=1316168/2055920 swapFree=4192812/4192956
[pid=30064] ppid=30062 vsize=867784 CPUtime=3.05
/proc/30064/stat : 30064 (java) S 30062 30064 28551 0 -1 0 15698 0 1 0 294 11 0 0 18 0 9 0 28317569 888610816 15047 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30064/statm: 216946 15047 2041 9 0 211382 0
[pid=30064/tid=30066] ppid=30062 vsize=867784 CPUtime=2.84
/proc/30064/task/30066/stat : 30066 (java) R 30062 30064 28551 0 -1 64 14299 0 1 0 274 10 0 0 25 0 9 0 28317571 888610816 15047 996147200 134512640 134550932 4294955968 18446744073709551615 4126927863 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30067] ppid=30062 vsize=867784 CPUtime=0
/proc/30064/task/30067/stat : 30067 (java) S 30062 30064 28551 0 -1 64 2 0 0 0 0 0 0 0 17 0 9 0 28317573 888610816 15047 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30068] ppid=30062 vsize=867784 CPUtime=0
/proc/30064/task/30068/stat : 30068 (java) S 30062 30064 28551 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 28317573 888610816 15047 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30069] ppid=30062 vsize=867784 CPUtime=0
/proc/30064/task/30069/stat : 30069 (java) S 30062 30064 28551 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 28317573 888610816 15047 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30070] ppid=30062 vsize=867784 CPUtime=0
/proc/30064/task/30070/stat : 30070 (java) S 30062 30064 28551 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28317575 888610816 15047 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30071] ppid=30062 vsize=867784 CPUtime=0.19
/proc/30064/task/30071/stat : 30071 (java) S 30062 30064 28551 0 -1 64 701 0 0 0 19 0 0 0 16 0 9 0 28317575 888610816 15047 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30072] ppid=30062 vsize=867784 CPUtime=0
/proc/30064/task/30072/stat : 30072 (java) S 30062 30064 28551 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28317575 888610816 15047 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30073] ppid=30062 vsize=867784 CPUtime=0
/proc/30064/task/30073/stat : 30073 (java) S 30062 30064 28551 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28317575 888610816 15047 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867784
[startup+6.30296 s]
/proc/loadavg: 1.93 1.98 1.99 3/89 30073
/proc/meminfo: memFree=1308488/2055920 swapFree=4192812/4192956
[pid=30064] ppid=30062 vsize=867696 CPUtime=6.22
/proc/30064/stat : 30064 (java) S 30062 30064 28551 0 -1 0 22035 0 1 0 606 16 0 0 18 0 9 0 28317569 888520704 21356 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30064/statm: 216924 21356 2029 9 0 211382 0
[pid=30064/tid=30066] ppid=30062 vsize=867696 CPUtime=5.89
/proc/30064/task/30066/stat : 30066 (java) R 30062 30064 28551 0 -1 64 15828 0 1 0 576 13 0 0 25 0 9 0 28317571 888520704 21356 996147200 134512640 134550932 4294955968 18446744073709551615 4126927927 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30067] ppid=30062 vsize=867696 CPUtime=0.1
/proc/30064/task/30067/stat : 30067 (java) S 30062 30064 28551 0 -1 64 4793 0 0 0 8 2 0 0 16 0 9 0 28317573 888520704 21356 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30068] ppid=30062 vsize=867696 CPUtime=0
/proc/30064/task/30068/stat : 30068 (java) S 30062 30064 28551 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28317573 888520704 21356 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30069] ppid=30062 vsize=867696 CPUtime=0
/proc/30064/task/30069/stat : 30069 (java) S 30062 30064 28551 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28317573 888520704 21356 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30070] ppid=30062 vsize=867696 CPUtime=0
/proc/30064/task/30070/stat : 30070 (java) S 30062 30064 28551 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28317575 888520704 21356 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30071] ppid=30062 vsize=867696 CPUtime=0.21
/proc/30064/task/30071/stat : 30071 (java) S 30062 30064 28551 0 -1 64 711 0 0 0 21 0 0 0 16 0 9 0 28317575 888520704 21356 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30072] ppid=30062 vsize=867696 CPUtime=0
/proc/30064/task/30072/stat : 30072 (java) S 30062 30064 28551 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28317575 888520704 21356 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30073] ppid=30062 vsize=867696 CPUtime=0
/proc/30064/task/30073/stat : 30073 (java) S 30062 30064 28551 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28317575 888520704 21356 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867696
[startup+12.7021 s]
/proc/loadavg: 1.93 1.98 1.99 3/89 30073
/proc/meminfo: memFree=1288136/2055920 swapFree=4192812/4192956
[pid=30064] ppid=30062 vsize=867696 CPUtime=12.56
/proc/30064/stat : 30064 (java) S 30062 30064 28551 0 -1 0 22052 0 1 0 1234 22 0 0 18 0 9 0 28317569 888520704 21372 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30064/statm: 216924 21372 2029 9 0 211382 0
[pid=30064/tid=30066] ppid=30062 vsize=867696 CPUtime=12.21
/proc/30064/task/30066/stat : 30066 (java) R 30062 30064 28551 0 -1 64 15830 0 1 0 1202 19 0 0 25 0 9 0 28317571 888520704 21372 996147200 134512640 134550932 4294955968 18446744073709551615 4126904475 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30067] ppid=30062 vsize=867696 CPUtime=0.1
/proc/30064/task/30067/stat : 30067 (java) S 30062 30064 28551 0 -1 64 4793 0 0 0 8 2 0 0 16 0 9 0 28317573 888520704 21372 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30068] ppid=30062 vsize=867696 CPUtime=0
/proc/30064/task/30068/stat : 30068 (java) S 30062 30064 28551 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28317573 888520704 21372 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30069] ppid=30062 vsize=867696 CPUtime=0
/proc/30064/task/30069/stat : 30069 (java) S 30062 30064 28551 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28317573 888520704 21372 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30070] ppid=30062 vsize=867696 CPUtime=0
/proc/30064/task/30070/stat : 30070 (java) S 30062 30064 28551 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28317575 888520704 21372 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30071] ppid=30062 vsize=867696 CPUtime=0.23
/proc/30064/task/30071/stat : 30071 (java) S 30062 30064 28551 0 -1 64 726 0 0 0 23 0 0 0 15 0 9 0 28317575 888520704 21372 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30072] ppid=30062 vsize=867696 CPUtime=0
/proc/30064/task/30072/stat : 30072 (java) S 30062 30064 28551 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28317575 888520704 21372 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30073] ppid=30062 vsize=867696 CPUtime=0
/proc/30064/task/30073/stat : 30073 (java) S 30062 30064 28551 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28317575 888520704 21372 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867696
[startup+25.5014 s]
/proc/loadavg: 1.95 1.98 1.99 3/89 30077
/proc/meminfo: memFree=1256840/2055920 swapFree=4192812/4192956
[pid=30064] ppid=30062 vsize=868432 CPUtime=25.27
/proc/30064/stat : 30064 (java) S 30062 30064 28551 0 -1 0 61694 600 1 0 2482 39 5 1 18 0 9 0 28317569 889274368 29848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30064/statm: 217108 29848 2662 9 0 211544 0
[pid=30064/tid=30066] ppid=30062 vsize=868432 CPUtime=24.44
/proc/30064/task/30066/stat : 30066 (java) R 30062 30064 28551 0 -1 64 27687 600 1 0 2409 29 5 1 25 0 9 0 28317571 889274368 29848 996147200 134512640 134550932 4294955968 18446744073709551615 4127162096 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30067] ppid=30062 vsize=868432 CPUtime=0.53
/proc/30064/task/30067/stat : 30067 (java) S 30062 30064 28551 0 -1 64 32209 600 0 0 39 8 5 1 17 0 9 0 28317573 889274368 29848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30068] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30068/stat : 30068 (java) S 30062 30064 28551 0 -1 64 25 600 0 0 0 0 5 1 16 0 9 0 28317573 889274368 29848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30069] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30069/stat : 30069 (java) S 30062 30064 28551 0 -1 64 17 600 0 0 0 0 5 1 16 0 9 0 28317573 889274368 29848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30070] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30070/stat : 30070 (java) S 30062 30064 28551 0 -1 64 2 600 0 0 0 0 5 1 18 0 9 0 28317575 889274368 29848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30071] ppid=30062 vsize=868432 CPUtime=0.38
/proc/30064/task/30071/stat : 30071 (java) S 30062 30064 28551 0 -1 64 944 600 0 0 32 0 5 1 15 0 9 0 28317575 889274368 29848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30072] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30072/stat : 30072 (java) S 30062 30064 28551 0 -1 64 1 600 0 0 0 0 5 1 19 0 9 0 28317575 889274368 29848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30073] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30073/stat : 30073 (java) S 30062 30064 28551 0 -1 64 11 600 0 0 0 0 5 1 15 0 9 0 28317575 889274368 29848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 868432
[startup+51.1021 s]
/proc/loadavg: 1.96 1.98 1.99 3/89 30077
/proc/meminfo: memFree=1234760/2055920 swapFree=4192812/4192956
[pid=30064] ppid=30062 vsize=868432 CPUtime=50.63
/proc/30064/stat : 30064 (java) S 30062 30064 28551 0 -1 0 70606 600 1 0 5014 43 5 1 18 0 9 0 28317569 889274368 35374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30064/statm: 217108 35374 2662 9 0 211544 0
[pid=30064/tid=30066] ppid=30062 vsize=868432 CPUtime=49.67
/proc/30064/task/30066/stat : 30066 (java) R 30062 30064 28551 0 -1 64 29612 600 1 0 4931 30 5 1 25 0 9 0 28317571 889274368 35374 996147200 134512640 134550932 4294955968 18446744073709551615 4126648664 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30067] ppid=30062 vsize=868432 CPUtime=0.6
/proc/30064/task/30067/stat : 30067 (java) S 30062 30064 28551 0 -1 64 39151 600 0 0 44 10 5 1 16 0 9 0 28317573 889274368 35374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30068] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30068/stat : 30068 (java) S 30062 30064 28551 0 -1 64 25 600 0 0 0 0 5 1 16 0 9 0 28317573 889274368 35374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30069] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30069/stat : 30069 (java) S 30062 30064 28551 0 -1 64 24 600 0 0 0 0 5 1 16 0 9 0 28317573 889274368 35374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30070] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30070/stat : 30070 (java) S 30062 30064 28551 0 -1 64 2 600 0 0 0 0 5 1 18 0 9 0 28317575 889274368 35374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30071] ppid=30062 vsize=868432 CPUtime=0.44
/proc/30064/task/30071/stat : 30071 (java) S 30062 30064 28551 0 -1 64 981 600 0 0 38 0 5 1 16 0 9 0 28317575 889274368 35374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30072] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30072/stat : 30072 (java) S 30062 30064 28551 0 -1 64 1 600 0 0 0 0 5 1 19 0 9 0 28317575 889274368 35374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/30064/task/30069/stat : 30069 (java) S 30062 30064 28551 0 -1 64 24 600 0 0 0 0 5 1 16 0 9 0 28317573 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30070] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30070/stat : 30070 (java) S 30062 30064 28551 0 -1 64 2 600 0 0 0 0 5 1 18 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30071] ppid=30062 vsize=868432 CPUtime=0.48
/proc/30064/task/30071/stat : 30071 (java) S 30062 30064 28551 0 -1 64 1002 600 0 0 42 0 5 1 16 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30064/tid=30072] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30072/stat : 30072 (java) S 30062 30064 28551 0 -1 64 1 600 0 0 0 0 5 1 19 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30073] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30073/stat : 30073 (java) S 30062 30064 28551 0 -1 64 12 600 0 0 0 0 5 1 15 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1534.26
Current children cumulated vsize (KiB) 868432
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/89 30120
/proc/meminfo: memFree=1533400/2055920 swapFree=4192812/4192956
[pid=30064] ppid=30062 vsize=868432 CPUtime=1593.95
/proc/30064/stat : 30064 (java) S 30062 30064 28551 0 -1 0 72229 600 1 0 159328 61 5 1 18 0 9 0 28317569 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30064/statm: 217108 35635 2662 9 0 211544 0
[pid=30064/tid=30066] ppid=30062 vsize=868432 CPUtime=1589.49
/proc/30064/task/30066/stat : 30066 (java) R 30062 30064 28551 0 -1 64 30969 600 1 0 158905 38 5 1 25 0 9 0 28317571 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4126648664 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30064/tid=30067] ppid=30062 vsize=868432 CPUtime=4.07
/proc/30064/task/30067/stat : 30067 (java) S 30062 30064 28551 0 -1 64 39396 600 0 0 381 20 5 1 16 0 9 0 28317573 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30064/tid=30068] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30068/stat : 30068 (java) S 30062 30064 28551 0 -1 64 25 600 0 0 0 0 5 1 16 0 9 0 28317573 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30069] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30069/stat : 30069 (java) S 30062 30064 28551 0 -1 64 24 600 0 0 0 0 5 1 16 0 9 0 28317573 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30070] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30070/stat : 30070 (java) S 30062 30064 28551 0 -1 64 2 600 0 0 0 0 5 1 18 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30071] ppid=30062 vsize=868432 CPUtime=0.48
/proc/30064/task/30071/stat : 30071 (java) S 30062 30064 28551 0 -1 64 1002 600 0 0 42 0 5 1 16 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30064/tid=30072] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30072/stat : 30072 (java) S 30062 30064 28551 0 -1 64 1 600 0 0 0 0 5 1 19 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30073] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30073/stat : 30073 (java) S 30062 30064 28551 0 -1 64 12 600 0 0 0 0 5 1 15 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1593.95
Current children cumulated vsize (KiB) 868432
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/89 30120
/proc/meminfo: memFree=1533336/2055920 swapFree=4192812/4192956
[pid=30064] ppid=30062 vsize=868432 CPUtime=1653.66
/proc/30064/stat : 30064 (java) S 30062 30064 28551 0 -1 0 72282 600 1 0 165298 62 5 1 18 0 9 0 28317569 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30064/statm: 217108 35635 2662 9 0 211544 0
[pid=30064/tid=30066] ppid=30062 vsize=868432 CPUtime=1649.04
/proc/30064/task/30066/stat : 30066 (java) R 30062 30064 28551 0 -1 64 31022 600 1 0 164860 38 5 1 25 0 9 0 28317571 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4126648664 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30064/tid=30067] ppid=30062 vsize=868432 CPUtime=4.2
/proc/30064/task/30067/stat : 30067 (java) S 30062 30064 28551 0 -1 64 39396 600 0 0 394 20 5 1 17 0 9 0 28317573 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30064/tid=30068] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30068/stat : 30068 (java) S 30062 30064 28551 0 -1 64 25 600 0 0 0 0 5 1 16 0 9 0 28317573 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30069] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30069/stat : 30069 (java) S 30062 30064 28551 0 -1 64 24 600 0 0 0 0 5 1 16 0 9 0 28317573 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30070] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30070/stat : 30070 (java) S 30062 30064 28551 0 -1 64 2 600 0 0 0 0 5 1 18 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30071] ppid=30062 vsize=868432 CPUtime=0.48
/proc/30064/task/30071/stat : 30071 (java) S 30062 30064 28551 0 -1 64 1002 600 0 0 42 0 5 1 16 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30064/tid=30072] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30072/stat : 30072 (java) S 30062 30064 28551 0 -1 64 1 600 0 0 0 0 5 1 19 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30073] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30073/stat : 30073 (java) S 30062 30064 28551 0 -1 64 12 600 0 0 0 0 5 1 15 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1653.66
Current children cumulated vsize (KiB) 868432
[startup+1722.3 s]
/proc/loadavg: 2.11 2.02 2.00 3/89 30120
/proc/meminfo: memFree=1533336/2055920 swapFree=4192812/4192956
[pid=30064] ppid=30062 vsize=868432 CPUtime=1713.36
/proc/30064/stat : 30064 (java) S 30062 30064 28551 0 -1 0 72338 600 1 0 171268 62 5 1 18 0 9 0 28317569 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30064/statm: 217108 35635 2662 9 0 211544 0
[pid=30064/tid=30066] ppid=30062 vsize=868432 CPUtime=1708.61
/proc/30064/task/30066/stat : 30066 (java) R 30062 30064 28551 0 -1 64 31078 600 1 0 170817 38 5 1 25 0 9 0 28317571 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4127254097 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30064/tid=30067] ppid=30062 vsize=868432 CPUtime=4.35
/proc/30064/task/30067/stat : 30067 (java) S 30062 30064 28551 0 -1 64 39396 600 0 0 408 21 5 1 16 0 9 0 28317573 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30064/tid=30068] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30068/stat : 30068 (java) S 30062 30064 28551 0 -1 64 25 600 0 0 0 0 5 1 16 0 9 0 28317573 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30069] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30069/stat : 30069 (java) S 30062 30064 28551 0 -1 64 24 600 0 0 0 0 5 1 16 0 9 0 28317573 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30070] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30070/stat : 30070 (java) S 30062 30064 28551 0 -1 64 2 600 0 0 0 0 5 1 18 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30071] ppid=30062 vsize=868432 CPUtime=0.48
/proc/30064/task/30071/stat : 30071 (java) S 30062 30064 28551 0 -1 64 1002 600 0 0 42 0 5 1 16 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30064/tid=30072] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30072/stat : 30072 (java) S 30062 30064 28551 0 -1 64 1 600 0 0 0 0 5 1 19 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30073] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30073/stat : 30073 (java) S 30062 30064 28551 0 -1 64 12 600 0 0 0 0 5 1 15 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1713.36
Current children cumulated vsize (KiB) 868432
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/89 30120
/proc/meminfo: memFree=1533208/2055920 swapFree=4192812/4192956
[pid=30064] ppid=30062 vsize=868432 CPUtime=1773.06
/proc/30064/stat : 30064 (java) S 30062 30064 28551 0 -1 0 72390 600 1 0 177237 63 5 1 18 0 9 0 28317569 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30064/statm: 217108 35635 2662 9 0 211544 0
[pid=30064/tid=30066] ppid=30062 vsize=868432 CPUtime=1768.18
/proc/30064/task/30066/stat : 30066 (java) R 30062 30064 28551 0 -1 64 31130 600 1 0 176773 39 5 1 25 0 9 0 28317571 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4126908698 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30064/tid=30067] ppid=30062 vsize=868432 CPUtime=4.48
/proc/30064/task/30067/stat : 30067 (java) S 30062 30064 28551 0 -1 64 39396 600 0 0 421 21 5 1 16 0 9 0 28317573 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30064/tid=30068] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30068/stat : 30068 (java) S 30062 30064 28551 0 -1 64 25 600 0 0 0 0 5 1 16 0 9 0 28317573 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30069] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30069/stat : 30069 (java) S 30062 30064 28551 0 -1 64 24 600 0 0 0 0 5 1 16 0 9 0 28317573 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30070] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30070/stat : 30070 (java) S 30062 30064 28551 0 -1 64 2 600 0 0 0 0 5 1 18 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30071] ppid=30062 vsize=868432 CPUtime=0.48
/proc/30064/task/30071/stat : 30071 (java) S 30062 30064 28551 0 -1 64 1002 600 0 0 42 0 5 1 16 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30064/tid=30072] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30072/stat : 30072 (java) S 30062 30064 28551 0 -1 64 1 600 0 0 0 0 5 1 19 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30073] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30073/stat : 30073 (java) S 30062 30064 28551 0 -1 64 12 600 0 0 0 0 5 1 15 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1773.06
Current children cumulated vsize (KiB) 868432
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/89 30120
/proc/meminfo: memFree=1533208/2055920 swapFree=4192812/4192956
[pid=30064] ppid=30062 vsize=868432 CPUtime=1800.02
/proc/30064/stat : 30064 (java) S 30062 30064 28551 0 -1 0 72417 600 1 0 179933 63 5 1 18 0 9 0 28317569 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30064/statm: 217108 35635 2662 9 0 211544 0
[pid=30064/tid=30066] ppid=30062 vsize=868432 CPUtime=1795.09
/proc/30064/task/30066/stat : 30066 (java) R 30062 30064 28551 0 -1 64 31157 600 1 0 179464 39 5 1 25 0 9 0 28317571 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4126904452 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30064/tid=30067] ppid=30062 vsize=868432 CPUtime=4.54
/proc/30064/task/30067/stat : 30067 (java) S 30062 30064 28551 0 -1 64 39396 600 0 0 427 21 5 1 17 0 9 0 28317573 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30064/tid=30068] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30068/stat : 30068 (java) S 30062 30064 28551 0 -1 64 25 600 0 0 0 0 5 1 16 0 9 0 28317573 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30069] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30069/stat : 30069 (java) S 30062 30064 28551 0 -1 64 24 600 0 0 0 0 5 1 16 0 9 0 28317573 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30070] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30070/stat : 30070 (java) S 30062 30064 28551 0 -1 64 2 600 0 0 0 0 5 1 18 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30071] ppid=30062 vsize=868432 CPUtime=0.48
/proc/30064/task/30071/stat : 30071 (java) S 30062 30064 28551 0 -1 64 1002 600 0 0 42 0 5 1 16 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30064/tid=30072] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30072/stat : 30072 (java) S 30062 30064 28551 0 -1 64 1 600 0 0 0 0 5 1 19 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30073] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30073/stat : 30073 (java) S 30062 30064 28551 0 -1 64 12 600 0 0 0 0 5 1 15 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 868432
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1809.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/89 30120
/proc/meminfo: memFree=1533208/2055920 swapFree=4192812/4192956
[pid=30064] ppid=30062 vsize=868432 CPUtime=1800.02
/proc/30064/stat : 30064 (java) S 30062 30064 28551 0 -1 0 72417 600 1 0 179933 63 5 1 18 0 9 0 28317569 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30064/statm: 217108 35635 2662 9 0 211544 0
[pid=30064/tid=30066] ppid=30062 vsize=868432 CPUtime=1795.09
/proc/30064/task/30066/stat : 30066 (java) R 30062 30064 28551 0 -1 64 31157 600 1 0 179464 39 5 1 25 0 9 0 28317571 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4126904452 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30064/tid=30067] ppid=30062 vsize=868432 CPUtime=4.54
/proc/30064/task/30067/stat : 30067 (java) S 30062 30064 28551 0 -1 64 39396 600 0 0 427 21 5 1 17 0 9 0 28317573 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30064/tid=30068] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30068/stat : 30068 (java) S 30062 30064 28551 0 -1 64 25 600 0 0 0 0 5 1 16 0 9 0 28317573 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30069] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30069/stat : 30069 (java) S 30062 30064 28551 0 -1 64 24 600 0 0 0 0 5 1 16 0 9 0 28317573 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30070] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30070/stat : 30070 (java) S 30062 30064 28551 0 -1 64 2 600 0 0 0 0 5 1 18 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30071] ppid=30062 vsize=868432 CPUtime=0.48
/proc/30064/task/30071/stat : 30071 (java) S 30062 30064 28551 0 -1 64 1002 600 0 0 42 0 5 1 16 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30064/tid=30072] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30072/stat : 30072 (java) S 30062 30064 28551 0 -1 64 1 600 0 0 0 0 5 1 19 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30064/tid=30073] ppid=30062 vsize=868432 CPUtime=0.06
/proc/30064/task/30073/stat : 30073 (java) S 30062 30064 28551 0 -1 64 12 600 0 0 0 0 5 1 15 0 9 0 28317575 889274368 35635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 868432
Child status: 143
Real time (s): 1809.47
CPU time (s): 1800.11
CPU user time (s): 1799.44
CPU system time (s): 0.677896
CPU usage (%): 99.4828
Max. virtual memory (cumulated for all children) (KiB): 868432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.677896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73044
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= 51619
involuntary context switches= 45603
runsolver used 2.22666 second user time and 6.03108 second system time
The end
Begin job on node45 at 2009-07-12 17:28:58
IDJOB=2097473
IDBENCH=57415
IDSOLVER=773
FILE ID=node45/2097473-1247412538
PBS_JOBID= 9510554
Free space on /tmp= 66456 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/super-js/super-js-taillard-15/normalized-super-js-taillard-15-27.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-2097473-1247412538/watcher-2097473-1247412538 -o /tmp/evaluation-result-2097473-1247412538/solver-2097473-1247412538 -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-2097473-1247412538.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 196a7089ab2131406befbce0951ee5ff
RANDOM SEED=1568569261
node45.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.281
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.281
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: 1366896 kB
Buffers: 41756 kB
Cached: 128448 kB
SwapCached: 0 kB
Active: 558084 kB
Inactive: 73760 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1366896 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2736 kB
Writeback: 0 kB
Mapped: 482092 kB
Slab: 41560 kB
Committed_AS: 1005108 kB
PageTables: 2636 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= 66456 MiB
End job on node45 at 2009-07-12 17:59:09