0.00/0.10
0.00/0.10 Abscon 112 (May, 2008)
0.18/0.27
0.18/0.27 configuration
0.18/0.27 name=esac.xml
0.28/0.30
0.28/0.30 instance
0.28/0.30 name=HOME/instance-2097330-1247412074.xml
0.28/0.34
0.28/0.34 domains being loaded...
0.28/0.35
0.28/0.35 variables being loaded...
0.48/0.53 nbVariables=1156 nbDomainTypes=1 minDomainSize=34 maxDomainSize=34 nbTotalValues=39304
0.48/0.53 => wckTime=0.257 cpuTime=0.19 mem=11M793
0.48/0.53
0.48/0.53 predicates being loaded...
0.48/0.59
0.48/0.59 constraints being loaded...
34.54/34.92 nbConstraints=20076 nbGlobalConstraints=969 nbConvertedConstraints=19107 nbConvertConstraintsChecks=10533472
34.54/34.92 nbExtensionStructures=9112 nbSharedExtensionStructures=19102 nbConflictsStructures=10045
34.54/34.92 nbSharedConflictsStructures=19102 nbSharedBinaryRepresentations=619411 minDegree=34 maxDegree=36 minArity=2
34.54/34.92 avgArity=2.05 maxArity=34 nbGenerators=935 nbFusions=935 symmetryWckTime=27.033 symmetryCpuTime=6.36
34.54/34.92 nbCliques=34
34.54/34.92 => wckTime=34.647 cpuTime=13.38 mem=35M213
34.74/35.17
34.74/35.17 solver IterativeSystematicSolver being built...
34.84/35.27
34.84/35.27 INFO : Forward propagation technique limited
34.94/35.39 => wckTime=35.125 cpuTime=13.56 mem=48M301
47.52/48.06
47.52/48.06 preprocessing
47.52/48.06 nbConstraintChecks=1319161 nbPropagations=36054 nbRevisions=461250 nbUselessRevisions=437566
47.52/48.06 nbSingletonTests=5101 nbEffectiveSingletonTests=6 nbACRemovals=30796 nbFoundSingletons=0 nbRemovedValues=30808
47.52/48.06 nbRemovedTuples=1122 detectedInconsistency=no
47.52/48.06 => wckTime=12.656 cpuTime=12.48 mem=49M300
50.69/51.24
50.69/51.24 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=56M308)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097330-1247412074/watcher-2097330-1247412074 -o /tmp/evaluation-result-2097330-1247412074/solver-2097330-1247412074 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097330-1247412074.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: 2.01 2.06 2.00 4/80 27940
/proc/meminfo: memFree=1722512/2055920 swapFree=4192812/4192956
[pid=27940] ppid=27938 vsize=18576 CPUtime=0
/proc/27940/stat : 27940 (runsolver) R 27938 27940 26827 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 28273972 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 273952599335 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/27940/statm: 4644 284 249 26 0 2626 0
[startup+0.0182629 s]
/proc/loadavg: 2.01 2.06 2.00 4/80 27940
/proc/meminfo: memFree=1722512/2055920 swapFree=4192812/4192956
[pid=27940] ppid=27938 vsize=10764 CPUtime=0
/proc/27940/stat : 27940 (java) S 27938 27940 26827 0 -1 0 740 0 0 0 0 0 0 0 18 0 2 0 28273972 11022336 520 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/27940/statm: 2691 520 240 9 0 1196 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10764
[startup+0.100755 s]
/proc/loadavg: 2.01 2.06 2.00 4/80 27940
/proc/meminfo: memFree=1722512/2055920 swapFree=4192812/4192956
[pid=27940] ppid=27938 vsize=865984 CPUtime=0.08
/proc/27940/stat : 27940 (java) S 27938 27940 26827 0 -1 0 3664 0 1 0 6 2 0 0 18 0 9 0 28273972 886767616 3147 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27940/statm: 216496 3147 1680 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301782 s]
/proc/loadavg: 2.01 2.06 2.00 4/80 27940
/proc/meminfo: memFree=1722512/2055920 swapFree=4192812/4192956
[pid=27940] ppid=27938 vsize=866380 CPUtime=0.28
/proc/27940/stat : 27940 (java) S 27938 27940 26827 0 -1 0 5714 0 1 0 24 4 0 0 18 0 9 0 28273972 887173120 5117 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27940/statm: 216595 5117 1928 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.701827 s]
/proc/loadavg: 2.01 2.06 2.00 4/80 27940
/proc/meminfo: memFree=1722512/2055920 swapFree=4192812/4192956
[pid=27940] ppid=27938 vsize=867772 CPUtime=0.67
/proc/27940/stat : 27940 (java) S 27938 27940 26827 0 -1 0 8809 0 1 0 61 6 0 0 18 0 9 0 28273972 888598528 8163 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27940/statm: 216943 8163 2038 9 0 211379 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867772
[startup+1.50192 s]
/proc/loadavg: 2.01 2.06 2.00 4/89 27949
/proc/meminfo: memFree=1682504/2055920 swapFree=4192812/4192956
[pid=27940] ppid=27938 vsize=867684 CPUtime=1.47
/proc/27940/stat : 27940 (java) S 27938 27940 26827 0 -1 0 19156 0 1 0 134 13 0 0 18 0 9 0 28273972 888508416 18484 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27940/statm: 216921 18484 2028 9 0 211379 0
[pid=27940/tid=27942] ppid=27938 vsize=867684 CPUtime=1.19
/proc/27940/task/27942/stat : 27942 (java) R 27938 27940 26827 0 -1 64 15800 0 1 0 108 11 0 0 25 0 9 0 28273974 888508416 18484 996147200 134512640 134550932 4294955968 18446744073709551615 4126574668 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27943] ppid=27938 vsize=867684 CPUtime=0.08
/proc/27940/task/27943/stat : 27943 (java) S 27938 27940 26827 0 -1 64 1985 0 0 0 8 0 0 0 16 0 9 0 28273975 888508416 18484 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27944] ppid=27938 vsize=867684 CPUtime=0
/proc/27940/task/27944/stat : 27944 (java) S 27938 27940 26827 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28273975 888508416 18484 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27945] ppid=27938 vsize=867684 CPUtime=0
/proc/27940/task/27945/stat : 27945 (java) S 27938 27940 26827 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28273975 888508416 18484 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27946] ppid=27938 vsize=867684 CPUtime=0
/proc/27940/task/27946/stat : 27946 (java) S 27938 27940 26827 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28273977 888508416 18484 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27947] ppid=27938 vsize=867684 CPUtime=0.17
/proc/27940/task/27947/stat : 27947 (java) S 27938 27940 26827 0 -1 64 670 0 0 0 17 0 0 0 16 0 9 0 28273977 888508416 18484 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27948] ppid=27938 vsize=867684 CPUtime=0
/proc/27940/task/27948/stat : 27948 (java) S 27938 27940 26827 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28273978 888508416 18484 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27949] ppid=27938 vsize=867684 CPUtime=0
/proc/27940/task/27949/stat : 27949 (java) S 27938 27940 26827 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28273978 888508416 18484 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) 867684
[startup+3.1011 s]
/proc/loadavg: 2.01 2.06 2.00 3/89 27949
/proc/meminfo: memFree=1655880/2055920 swapFree=4192812/4192956
[pid=27940] ppid=27938 vsize=867684 CPUtime=3.05
/proc/27940/stat : 27940 (java) S 27938 27940 26827 0 -1 0 19257 0 1 0 274 31 0 0 18 0 9 0 28273972 888508416 18582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27940/statm: 216921 18582 2031 9 0 211379 0
[pid=27940/tid=27942] ppid=27938 vsize=867684 CPUtime=2.68
/proc/27940/task/27942/stat : 27942 (java) R 27938 27940 26827 0 -1 64 15832 0 1 0 240 28 0 0 25 0 9 0 28273974 888508416 18582 996147200 134512640 134550932 4294955968 18446744073709551615 4126919876 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27943] ppid=27938 vsize=867684 CPUtime=0.08
/proc/27940/task/27943/stat : 27943 (java) S 27938 27940 26827 0 -1 64 1985 0 0 0 8 0 0 0 16 0 9 0 28273975 888508416 18582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27944] ppid=27938 vsize=867684 CPUtime=0
/proc/27940/task/27944/stat : 27944 (java) S 27938 27940 26827 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28273975 888508416 18582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27945] ppid=27938 vsize=867684 CPUtime=0
/proc/27940/task/27945/stat : 27945 (java) S 27938 27940 26827 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28273975 888508416 18582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27946] ppid=27938 vsize=867684 CPUtime=0
/proc/27940/task/27946/stat : 27946 (java) S 27938 27940 26827 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28273977 888508416 18582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27947] ppid=27938 vsize=867684 CPUtime=0.25
/proc/27940/task/27947/stat : 27947 (java) S 27938 27940 26827 0 -1 64 739 0 0 0 25 0 0 0 16 0 9 0 28273977 888508416 18582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27948] ppid=27938 vsize=867684 CPUtime=0
/proc/27940/task/27948/stat : 27948 (java) S 27938 27940 26827 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28273978 888508416 18582 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27949] ppid=27938 vsize=867684 CPUtime=0
/proc/27940/task/27949/stat : 27949 (java) S 27938 27940 26827 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28273978 888508416 18582 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) 867684
[startup+6.30248 s]
/proc/loadavg: 2.01 2.06 2.00 3/89 27949
/proc/meminfo: memFree=1644104/2055920 swapFree=4192812/4192956
[pid=27940] ppid=27938 vsize=867684 CPUtime=6.23
/proc/27940/stat : 27940 (java) S 27938 27940 26827 0 -1 0 22289 0 1 0 552 71 0 0 18 0 9 0 28273972 888508416 21610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27940/statm: 216921 21610 2031 9 0 211379 0
[pid=27940/tid=27942] ppid=27938 vsize=867684 CPUtime=5.73
/proc/27940/task/27942/stat : 27942 (java) R 27938 27940 26827 0 -1 64 15836 0 1 0 506 67 0 0 25 0 9 0 28273974 888508416 21610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27943] ppid=27938 vsize=867684 CPUtime=0.22
/proc/27940/task/27943/stat : 27943 (java) R 27938 27940 26827 0 -1 64 5012 0 0 0 20 2 0 0 16 0 9 0 28273975 888508416 21610 996147200 134512640 134550932 4294955968 18446744073709551615 102549400 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27944] ppid=27938 vsize=867684 CPUtime=0
/proc/27940/task/27944/stat : 27944 (java) S 27938 27940 26827 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28273975 888508416 21610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27945] ppid=27938 vsize=867684 CPUtime=0
/proc/27940/task/27945/stat : 27945 (java) S 27938 27940 26827 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28273975 888508416 21610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27946] ppid=27938 vsize=867684 CPUtime=0
/proc/27940/task/27946/stat : 27946 (java) S 27938 27940 26827 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28273977 888508416 21610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27947] ppid=27938 vsize=867684 CPUtime=0.25
/proc/27940/task/27947/stat : 27947 (java) S 27938 27940 26827 0 -1 64 740 0 0 0 25 0 0 0 16 0 9 0 28273977 888508416 21610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27948] ppid=27938 vsize=867684 CPUtime=0
/proc/27940/task/27948/stat : 27948 (java) S 27938 27940 26827 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28273978 888508416 21610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27949] ppid=27938 vsize=867684 CPUtime=0
/proc/27940/task/27949/stat : 27949 (java) S 27938 27940 26827 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28273978 888508416 21610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867684
[startup+12.7022 s]
/proc/loadavg: 2.01 2.05 2.00 3/91 27951
/proc/meminfo: memFree=1631224/2055920 swapFree=4192812/4192956
[pid=27940] ppid=27938 vsize=868008 CPUtime=7.95
/proc/27940/stat : 27940 (java) S 27938 27940 26827 0 -1 0 24265 0 1 0 704 91 0 0 18 0 10 0 28273972 888840192 22932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27940/statm: 217002 22932 2035 9 0 211460 0
[pid=27951] ppid=27940 vsize=8188 CPUtime=4.6
/proc/27951/stat : 27951 (saucy) R 27940 27940 26827 0 -1 4194304 1504 0 0 0 459 1 0 0 25 0 1 0 28274775 8384512 1466 996147200 134512640 134531332 4294956000 18446744073709551615 134523179 0 4 0 0 0 0 0 17 1 0 0
/proc/27951/statm: 2047 1466 104 4 0 1723 0
[pid=27940/tid=27942] ppid=27938 vsize=868008 CPUtime=7.36
/proc/27940/task/27942/stat : 27942 (java) S 27938 27940 26827 0 -1 64 16350 0 1 0 650 86 0 0 15 0 10 0 28273974 888840192 22932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=27940/tid=27943] ppid=27938 vsize=868008 CPUtime=0.3
/proc/27940/task/27943/stat : 27943 (java) S 27938 27940 26827 0 -1 64 6346 0 0 0 27 3 0 0 16 0 10 0 28273975 888840192 22932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27944] ppid=27938 vsize=868008 CPUtime=0
/proc/27940/task/27944/stat : 27944 (java) S 27938 27940 26827 0 -1 64 16 0 0 0 0 0 0 0 16 0 10 0 28273975 888840192 22932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27945] ppid=27938 vsize=868008 CPUtime=0
/proc/27940/task/27945/stat : 27945 (java) S 27938 27940 26827 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 28273975 888840192 22932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27946] ppid=27938 vsize=868008 CPUtime=0
/proc/27940/task/27946/stat : 27946 (java) S 27938 27940 26827 0 -1 64 2 0 0 0 0 0 0 0 18 0 10 0 28273977 888840192 22932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27947] ppid=27938 vsize=868008 CPUtime=0.27
/proc/27940/task/27947/stat : 27947 (java) S 27938 27940 26827 0 -1 64 791 0 0 0 27 0 0 0 15 0 10 0 28273977 888840192 22932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27948] ppid=27938 vsize=868008 CPUtime=0
/proc/27940/task/27948/stat : 27948 (java) S 27938 27940 26827 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 28273978 888840192 22932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27949] ppid=27938 vsize=868008 CPUtime=0
/proc/27940/task/27949/stat : 27949 (java) S 27938 27940 26827 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 28273978 888840192 22932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27950] ppid=27938 vsize=868008 CPUtime=0
/proc/27940/task/27950/stat : 27950 (java) S 27938 27940 26827 0 -1 64 64 0 0 0 0 0 0 0 25 0 10 0 28274775 888840192 22932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 876196
[startup+25.5017 s]
/proc/loadavg: 2.01 2.05 2.00 3/91 27951
/proc/meminfo: memFree=1623736/2055920 swapFree=4192812/4192956
[pid=27940] ppid=27938 vsize=868008 CPUtime=8.09
/proc/27940/stat : 27940 (java) S 27938 27940 26827 0 -1 0 35074 0 1 0 716 93 0 0 18 0 10 0 28273972 888840192 24545 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27940/statm: 217002 24545 2036 9 0 211460 0
[pid=27951] ppid=27940 vsize=9244 CPUtime=17.13
/proc/27951/stat : 27951 (saucy) R 27940 27940 26827 0 -1 4194304 1767 0 0 0 1712 1 0 0 25 0 1 0 28274775 9465856 1729 996147200 134512640 134531332 4294956000 18446744073709551615 134524764 0 4 0 0 0 0 0 17 1 0 0
/proc/27951/statm: 2311 1729 104 4 0 1987 0
[pid=27940/tid=27942] ppid=27938 vsize=868008 CPUtime=7.38
/proc/27940/task/27942/stat : 27942 (java) S 27938 27940 26827 0 -1 64 16717 0 1 0 652 86 0 0 15 0 10 0 28273974 888840192 24545 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=27940/tid=27943] ppid=27938 vsize=868008 CPUtime=0.41
/proc/27940/task/27943/stat : 27943 (java) S 27938 27940 26827 0 -1 64 16771 0 0 0 37 4 0 0 16 0 10 0 28273975 888840192 24545 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27944] ppid=27938 vsize=868008 CPUtime=0
/proc/27940/task/27944/stat : 27944 (java) S 27938 27940 26827 0 -1 64 23 0 0 0 0 0 0 0 16 0 10 0 28273975 888840192 24545 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27945] ppid=27938 vsize=868008 CPUtime=0
/proc/27940/task/27945/stat : 27945 (java) S 27938 27940 26827 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 28273975 888840192 24545 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27946] ppid=27938 vsize=868008 CPUtime=0
/proc/27940/task/27946/stat : 27946 (java) S 27938 27940 26827 0 -1 64 2 0 0 0 0 0 0 0 18 0 10 0 28273977 888840192 24545 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27947] ppid=27938 vsize=868008 CPUtime=0.27
/proc/27940/task/27947/stat : 27947 (java) S 27938 27940 26827 0 -1 64 796 0 0 0 27 0 0 0 16 0 10 0 28273977 888840192 24545 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27948] ppid=27938 vsize=868008 CPUtime=0
/proc/27940/task/27948/stat : 27948 (java) S 27938 27940 26827 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 28273978 888840192 24545 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27949] ppid=27938 vsize=868008 CPUtime=0
/proc/27940/task/27949/stat : 27949 (java) S 27938 27940 26827 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 28273978 888840192 24545 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27950] ppid=27938 vsize=868008 CPUtime=0
/proc/27940/task/27950/stat : 27950 (java) S 27938 27940 26827 0 -1 64 64 0 0 0 0 0 0 0 25 0 10 0 28274775 888840192 24545 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 877252
[startup+51.1017 s]
/proc/loadavg: 2.06 2.06 2.01 3/89 27953
/proc/meminfo: memFree=1626360/2055920 swapFree=4192812/4192956
[pid=27940] ppid=27938 vsize=868420 CPUtime=50.59
/proc/27940/stat : 27940 (java) S 27938 27940 26827 0 -1 0 52621 1939 1 0 2936 100 2021 2 18 0 9 0 28273972 889262080 26507 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27940/statm: 217105 26507 2662 9 0 211541 0
[pid=27940/tid=27942] ppid=27938 vsize=868420 CPUtime=49.42
/proc/27940/task/27942/stat : 27942 (java) R 27938 27940 26827 0 -1 64 26877 1939 1 0 2829 90 2021 2 25 0 9 0 28273974 889262080 26507 996147200 134512640 134550932 4294955968 18446744073709551615 4127532087 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27943] ppid=27938 vsize=868420 CPUtime=20.89
/proc/27940/task/27943/stat : 27943 (java) S 27938 27940 26827 0 -1 64 23744 1939 0 0 60 6 2021 2 17 0 9 0 28273975 889262080 26507 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/27940/task/27945/stat : 27945 (java) S 27938 27940 26827 0 -1 64 19 1939 0 0 0 0 2021 2 16 0 9 0 28273975 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27946] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27946/stat : 27946 (java) S 27938 27940 26827 0 -1 64 2 1939 0 0 0 0 2021 2 18 0 9 0 28273977 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27947] ppid=27938 vsize=868420 CPUtime=20.71
/proc/27940/task/27947/stat : 27947 (java) S 27938 27940 26827 0 -1 64 1142 1939 0 0 47 1 2021 2 17 0 9 0 28273977 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27948] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27948/stat : 27948 (java) S 27938 27940 26827 0 -1 64 0 1939 0 0 0 0 2021 2 19 0 9 0 28273978 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27949] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27949/stat : 27949 (java) S 27938 27940 26827 0 -1 64 16 1939 0 0 0 0 2021 2 15 0 9 0 28273978 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1468.38
Current children cumulated vsize (KiB) 868420
[startup+1542.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/89 27953
/proc/meminfo: memFree=1625464/2055920 swapFree=4192812/4192956
[pid=27940] ppid=27938 vsize=868420 CPUtime=1527.81
/proc/27940/stat : 27940 (java) S 27938 27940 26827 0 -1 0 52784 1939 1 0 150656 102 2021 2 18 0 9 0 28273972 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27940/statm: 217105 26512 2662 9 0 211541 0
[pid=27940/tid=27942] ppid=27938 vsize=868420 CPUtime=1526.63
/proc/27940/task/27942/stat : 27942 (java) R 27938 27940 26827 0 -1 64 27033 1939 1 0 150548 92 2021 2 25 0 9 0 28273974 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4127241341 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27943] ppid=27938 vsize=868420 CPUtime=20.89
/proc/27940/task/27943/stat : 27943 (java) S 27938 27940 26827 0 -1 64 23744 1939 0 0 60 6 2021 2 16 0 9 0 28273975 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27944] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27944/stat : 27944 (java) S 27938 27940 26827 0 -1 64 28 1939 0 0 0 0 2021 2 17 0 9 0 28273975 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27945] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27945/stat : 27945 (java) S 27938 27940 26827 0 -1 64 19 1939 0 0 0 0 2021 2 16 0 9 0 28273975 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27946] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27946/stat : 27946 (java) S 27938 27940 26827 0 -1 64 2 1939 0 0 0 0 2021 2 18 0 9 0 28273977 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27947] ppid=27938 vsize=868420 CPUtime=20.71
/proc/27940/task/27947/stat : 27947 (java) S 27938 27940 26827 0 -1 64 1142 1939 0 0 47 1 2021 2 17 0 9 0 28273977 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27948] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27948/stat : 27948 (java) S 27938 27940 26827 0 -1 64 0 1939 0 0 0 0 2021 2 19 0 9 0 28273978 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27949] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27949/stat : 27949 (java) S 27938 27940 26827 0 -1 64 16 1939 0 0 0 0 2021 2 15 0 9 0 28273978 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1527.81
Current children cumulated vsize (KiB) 868420
[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/89 27953
/proc/meminfo: memFree=1625464/2055920 swapFree=4192812/4192956
[pid=27940] ppid=27938 vsize=868420 CPUtime=1587.25
/proc/27940/stat : 27940 (java) S 27938 27940 26827 0 -1 0 52784 1939 1 0 156600 102 2021 2 18 0 9 0 28273972 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27940/statm: 217105 26512 2662 9 0 211541 0
[pid=27940/tid=27942] ppid=27938 vsize=868420 CPUtime=1586.07
/proc/27940/task/27942/stat : 27942 (java) R 27938 27940 26827 0 -1 64 27033 1939 1 0 156492 92 2021 2 25 0 9 0 28273974 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4127415928 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27943] ppid=27938 vsize=868420 CPUtime=20.89
/proc/27940/task/27943/stat : 27943 (java) S 27938 27940 26827 0 -1 64 23744 1939 0 0 60 6 2021 2 16 0 9 0 28273975 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27944] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27944/stat : 27944 (java) S 27938 27940 26827 0 -1 64 28 1939 0 0 0 0 2021 2 17 0 9 0 28273975 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27945] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27945/stat : 27945 (java) S 27938 27940 26827 0 -1 64 19 1939 0 0 0 0 2021 2 16 0 9 0 28273975 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27946] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27946/stat : 27946 (java) S 27938 27940 26827 0 -1 64 2 1939 0 0 0 0 2021 2 18 0 9 0 28273977 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27947] ppid=27938 vsize=868420 CPUtime=20.71
/proc/27940/task/27947/stat : 27947 (java) S 27938 27940 26827 0 -1 64 1142 1939 0 0 47 1 2021 2 17 0 9 0 28273977 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27948] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27948/stat : 27948 (java) S 27938 27940 26827 0 -1 64 0 1939 0 0 0 0 2021 2 19 0 9 0 28273978 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27949] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27949/stat : 27949 (java) S 27938 27940 26827 0 -1 64 16 1939 0 0 0 0 2021 2 15 0 9 0 28273978 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1587.25
Current children cumulated vsize (KiB) 868420
[startup+1662.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/89 27953
/proc/meminfo: memFree=1625464/2055920 swapFree=4192812/4192956
[pid=27940] ppid=27938 vsize=868420 CPUtime=1646.69
/proc/27940/stat : 27940 (java) S 27938 27940 26827 0 -1 0 52784 1939 1 0 162544 102 2021 2 18 0 9 0 28273972 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27940/statm: 217105 26512 2662 9 0 211541 0
[pid=27940/tid=27942] ppid=27938 vsize=868420 CPUtime=1645.51
/proc/27940/task/27942/stat : 27942 (java) R 27938 27940 26827 0 -1 64 27033 1939 1 0 162436 92 2021 2 25 0 9 0 28273974 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4127416824 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27943] ppid=27938 vsize=868420 CPUtime=20.89
/proc/27940/task/27943/stat : 27943 (java) S 27938 27940 26827 0 -1 64 23744 1939 0 0 60 6 2021 2 16 0 9 0 28273975 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27944] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27944/stat : 27944 (java) S 27938 27940 26827 0 -1 64 28 1939 0 0 0 0 2021 2 17 0 9 0 28273975 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27945] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27945/stat : 27945 (java) S 27938 27940 26827 0 -1 64 19 1939 0 0 0 0 2021 2 16 0 9 0 28273975 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27946] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27946/stat : 27946 (java) S 27938 27940 26827 0 -1 64 2 1939 0 0 0 0 2021 2 18 0 9 0 28273977 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27947] ppid=27938 vsize=868420 CPUtime=20.71
/proc/27940/task/27947/stat : 27947 (java) S 27938 27940 26827 0 -1 64 1142 1939 0 0 47 1 2021 2 17 0 9 0 28273977 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27948] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27948/stat : 27948 (java) S 27938 27940 26827 0 -1 64 0 1939 0 0 0 0 2021 2 19 0 9 0 28273978 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27949] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27949/stat : 27949 (java) S 27938 27940 26827 0 -1 64 16 1939 0 0 0 0 2021 2 15 0 9 0 28273978 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1646.69
Current children cumulated vsize (KiB) 868420
[startup+1722.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/89 27953
/proc/meminfo: memFree=1625336/2055920 swapFree=4192812/4192956
[pid=27940] ppid=27938 vsize=868420 CPUtime=1706.13
/proc/27940/stat : 27940 (java) S 27938 27940 26827 0 -1 0 52784 1939 1 0 168488 102 2021 2 18 0 9 0 28273972 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27940/statm: 217105 26512 2662 9 0 211541 0
[pid=27940/tid=27942] ppid=27938 vsize=868420 CPUtime=1704.95
/proc/27940/task/27942/stat : 27942 (java) R 27938 27940 26827 0 -1 64 27033 1939 1 0 168380 92 2021 2 25 0 9 0 28273974 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4127429976 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27943] ppid=27938 vsize=868420 CPUtime=20.89
/proc/27940/task/27943/stat : 27943 (java) S 27938 27940 26827 0 -1 64 23744 1939 0 0 60 6 2021 2 16 0 9 0 28273975 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27944] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27944/stat : 27944 (java) S 27938 27940 26827 0 -1 64 28 1939 0 0 0 0 2021 2 17 0 9 0 28273975 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27945] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27945/stat : 27945 (java) S 27938 27940 26827 0 -1 64 19 1939 0 0 0 0 2021 2 16 0 9 0 28273975 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27946] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27946/stat : 27946 (java) S 27938 27940 26827 0 -1 64 2 1939 0 0 0 0 2021 2 18 0 9 0 28273977 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27947] ppid=27938 vsize=868420 CPUtime=20.71
/proc/27940/task/27947/stat : 27947 (java) S 27938 27940 26827 0 -1 64 1142 1939 0 0 47 1 2021 2 17 0 9 0 28273977 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27948] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27948/stat : 27948 (java) S 27938 27940 26827 0 -1 64 0 1939 0 0 0 0 2021 2 19 0 9 0 28273978 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27949] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27949/stat : 27949 (java) S 27938 27940 26827 0 -1 64 16 1939 0 0 0 0 2021 2 15 0 9 0 28273978 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1706.13
Current children cumulated vsize (KiB) 868420
[startup+1782.3 s]
/proc/loadavg: 2.18 2.11 2.02 3/89 28152
/proc/meminfo: memFree=1663736/2055920 swapFree=4192812/4192956
[pid=27940] ppid=27938 vsize=868420 CPUtime=1765.99
/proc/27940/stat : 27940 (java) S 27938 27940 26827 0 -1 0 52784 1939 1 0 174472 104 2021 2 18 0 9 0 28273972 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27940/statm: 217105 26512 2662 9 0 211541 0
[pid=27940/tid=27942] ppid=27938 vsize=868420 CPUtime=1764.81
/proc/27940/task/27942/stat : 27942 (java) R 27938 27940 26827 0 -1 64 27033 1939 1 0 174364 94 2021 2 25 0 9 0 28273974 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4127429961 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27940/tid=27943] ppid=27938 vsize=868420 CPUtime=20.89
/proc/27940/task/27943/stat : 27943 (java) S 27938 27940 26827 0 -1 64 23744 1939 0 0 60 6 2021 2 16 0 9 0 28273975 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27944] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27944/stat : 27944 (java) S 27938 27940 26827 0 -1 64 28 1939 0 0 0 0 2021 2 17 0 9 0 28273975 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27945] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27945/stat : 27945 (java) S 27938 27940 26827 0 -1 64 19 1939 0 0 0 0 2021 2 16 0 9 0 28273975 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27946] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27946/stat : 27946 (java) S 27938 27940 26827 0 -1 64 2 1939 0 0 0 0 2021 2 18 0 9 0 28273977 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27947] ppid=27938 vsize=868420 CPUtime=20.71
/proc/27940/task/27947/stat : 27947 (java) S 27938 27940 26827 0 -1 64 1142 1939 0 0 47 1 2021 2 17 0 9 0 28273977 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27948] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27948/stat : 27948 (java) S 27938 27940 26827 0 -1 64 0 1939 0 0 0 0 2021 2 19 0 9 0 28273978 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27949] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27949/stat : 27949 (java) S 27938 27940 26827 0 -1 64 16 1939 0 0 0 0 2021 2 15 0 9 0 28273978 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1765.99
Current children cumulated vsize (KiB) 868420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.4 s]
/proc/loadavg: 2.10 2.10 2.02 3/89 28152
/proc/meminfo: memFree=1641336/2055920 swapFree=4192812/4192956
[pid=27940] ppid=27938 vsize=868420 CPUtime=1800.08
/proc/27940/stat : 27940 (java) S 27938 27940 26827 0 -1 0 52784 1939 1 0 177881 104 2021 2 18 0 9 0 28273972 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27940/statm: 217105 26512 2662 9 0 211541 0
[pid=27940/tid=27942] ppid=27938 vsize=868420 CPUtime=1798.9
/proc/27940/task/27942/stat : 27942 (java) R 27938 27940 26827 0 -1 64 27033 1939 1 0 177773 94 2021 2 25 0 9 0 28273974 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4127425024 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27940/tid=27943] ppid=27938 vsize=868420 CPUtime=20.89
/proc/27940/task/27943/stat : 27943 (java) S 27938 27940 26827 0 -1 64 23744 1939 0 0 60 6 2021 2 16 0 9 0 28273975 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27944] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27944/stat : 27944 (java) S 27938 27940 26827 0 -1 64 28 1939 0 0 0 0 2021 2 17 0 9 0 28273975 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27945] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27945/stat : 27945 (java) S 27938 27940 26827 0 -1 64 19 1939 0 0 0 0 2021 2 16 0 9 0 28273975 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27946] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27946/stat : 27946 (java) S 27938 27940 26827 0 -1 64 2 1939 0 0 0 0 2021 2 18 0 9 0 28273977 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27947] ppid=27938 vsize=868420 CPUtime=20.71
/proc/27940/task/27947/stat : 27947 (java) S 27938 27940 26827 0 -1 64 1142 1939 0 0 47 1 2021 2 17 0 9 0 28273977 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27948] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27948/stat : 27948 (java) S 27938 27940 26827 0 -1 64 0 1939 0 0 0 0 2021 2 19 0 9 0 28273978 889262080 26512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27940/tid=27949] ppid=27938 vsize=868420 CPUtime=20.23
/proc/27940/task/27949/stat : 27949 (java) S 27938 27940 26827 0 -1 64 16 1939 0 0 0 0 2021 2 15 0 9 0 28273978 889262080 26512 996147200 134512640 134550932 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) 868420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1816.45
CPU time (s): 1800.14
CPU user time (s): 1799.05
CPU system time (s): 1.08983
CPU usage (%): 99.1024
Max. virtual memory (cumulated for all children) (KiB): 877384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 1.08983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54756
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= 39334
involuntary context switches= 75535
runsolver used 2.43163 second user time and 5.84611 second system time
The end
Begin job on node20 at 2009-07-12 17:21:14
IDJOB=2097330
IDBENCH=57139
IDSOLVER=774
FILE ID=node20/2097330-1247412074
PBS_JOBID= 9510603
Free space on /tmp= 66300 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/haystacks/normalized-haystacks-34.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= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097330-1247412074/watcher-2097330-1247412074 -o /tmp/evaluation-result-2097330-1247412074/solver-2097330-1247412074 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097330-1247412074.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 723eb8728800019647d26dc95e15d2c3
RANDOM SEED=496852376
node20.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.236
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.236
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: 1722992 kB
Buffers: 36400 kB
Cached: 129792 kB
SwapCached: 0 kB
Active: 177440 kB
Inactive: 99908 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1722992 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4384 kB
Writeback: 0 kB
Mapped: 131612 kB
Slab: 40548 kB
Committed_AS: 997012 kB
PageTables: 1992 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= 66300 MiB
End job on node20 at 2009-07-12 17:51:32