0.07/0.10
0.07/0.10 Abscon 112 (May, 2008)
0.16/0.25
0.16/0.25 configuration
0.16/0.25 name=esac.xml
0.27/0.33
0.27/0.33 instance
0.27/0.33 name=HOME/instance-1093271-1215249376.xml
0.27/0.37
0.27/0.37 domains being loaded...
0.27/0.38
0.27/0.38 variables being loaded...
0.36/0.40 nbVariables=25 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5 nbTotalValues=125
0.36/0.40 => wckTime=0.144 cpuTime=0.1 mem=7M919
0.36/0.40
0.36/0.40 relations being loaded...
3.93/4.00
3.93/4.00 INFO : Contraction of relations, mem = 105M828
6.11/6.27
6.11/6.27 constraints being loaded...
9.77/9.92 nbConstraints=56 nbRelationTypes=56 nbGlobalConstraints=56 nbExtensionStructures=56
9.77/9.92 nbSharedExtensionStructures=0 nbConflictsStructures=56 nbSharedConflictsStructures=0
9.77/9.92 nbSharedBinaryRepresentations=0 minDegree=11 maxDegree=24 minArity=7 maxArity=7 nbGenerators=0 nbFusions=0
9.77/9.92 symmetryWckTime=0.081 symmetryCpuTime=0.02
9.77/9.92 => wckTime=9.666 cpuTime=8.17 mem=174M215
10.37/10.54
10.37/10.54 solver IterativeSystematicSolver being built...
10.46/10.61
10.46/10.61 INFO : Forward propagation technique limited
10.46/10.68 => wckTime=10.429 cpuTime=8.3 mem=180M860
11.25/11.47
11.25/11.47 preprocessing
11.25/11.47 nbConstraintChecks=0 nbValidityChecks=10943435 nbPropagations=114 nbRevisions=0 nbUselessRevisions=0
11.25/11.47 nbSingletonTests=39 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
11.25/11.47 detectedInconsistency=no
11.25/11.47 => wckTime=0.782 cpuTime=0.74 mem=180M860
13.04/13.25
13.04/13.25 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=181M848)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093271-1215249376/watcher-1093271-1215249376 -o /tmp/evaluation-result-1093271-1215249376/solver-1093271-1215249376 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1093271-1215249376.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.93 3/72 17730
/proc/meminfo: memFree=1665104/2055920 swapFree=4179828/4192956
[pid=17730] ppid=17728 vsize=10616 CPUtime=0
/proc/17730/stat : 17730 (java) S 17728 17730 16666 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 2003911297 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17730/statm: 2654 472 209 9 0 1184 0
[pid=17730/tid=17731] ppid=17728 vsize=10616 CPUtime=0
/proc/17730/task/17731/stat : 17731 (java) R 17728 17730 16666 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 2003911298 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 8568792 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.0443459 s]
/proc/loadavg: 2.00 2.00 1.93 3/72 17730
/proc/meminfo: memFree=1665104/2055920 swapFree=4179828/4192956
[pid=17730] ppid=17728 vsize=861876 CPUtime=0.02
/proc/17730/stat : 17730 (java) S 17728 17730 16666 0 -1 0 2249 0 1 0 1 1 0 0 18 0 5 0 2003911297 882561024 1860 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/17730/statm: 215469 1860 854 9 0 210448 0
[pid=17730/tid=17731] ppid=17728 vsize=861876 CPUtime=0.01
/proc/17730/task/17731/stat : 17731 (java) D 17728 17730 16666 0 -1 64 1557 0 1 0 1 0 0 0 17 0 5 0 2003911298 882561024 1860 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 2147483391 0 16800971 18446744072099781622 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861876
[startup+0.102551 s]
/proc/loadavg: 2.00 2.00 1.93 3/72 17730
/proc/meminfo: memFree=1665104/2055920 swapFree=4179828/4192956
[pid=17730] ppid=17728 vsize=865856 CPUtime=0.07
/proc/17730/stat : 17730 (java) S 17728 17730 16666 0 -1 0 3557 0 1 0 5 2 0 0 18 0 9 0 2003911297 886636544 3047 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17730/statm: 216464 3047 1634 9 0 211026 0
[pid=17730/tid=17731] ppid=17728 vsize=865856 CPUtime=0.05
/proc/17730/task/17731/stat : 17731 (java) R 17728 17730 16666 0 -1 64 2656 0 1 0 4 1 0 0 18 0 9 0 2003911298 886636544 3047 996147200 134512640 134550740 4294955968 18446744073709551615 104252452 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865856
[startup+0.301582 s]
/proc/loadavg: 2.00 2.00 1.93 3/72 17730
/proc/meminfo: memFree=1665104/2055920 swapFree=4179828/4192956
[pid=17730] ppid=17728 vsize=866048 CPUtime=0.27
/proc/17730/stat : 17730 (java) S 17728 17730 16666 0 -1 0 5534 0 1 0 23 4 0 0 18 0 9 0 2003911297 886833152 4957 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17730/statm: 216512 4957 1885 9 0 211060 0
[pid=17730/tid=17731] ppid=17728 vsize=866048 CPUtime=0.23
/proc/17730/task/17731/stat : 17731 (java) R 17728 17730 16666 0 -1 64 4612 0 1 0 20 3 0 0 19 0 9 0 2003911298 886833152 4957 996147200 134512640 134550740 4294955968 18446744073709551615 4159505318 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866048
[startup+0.702641 s]
/proc/loadavg: 2.00 2.00 1.93 3/72 17730
/proc/meminfo: memFree=1665104/2055920 swapFree=4179828/4192956
[pid=17730] ppid=17728 vsize=866408 CPUtime=0.67
/proc/17730/stat : 17730 (java) S 17728 17730 16666 0 -1 0 11726 0 1 0 59 8 0 0 18 0 9 0 2003911297 887201792 11096 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17730/statm: 216602 11096 1969 9 0 211130 0
[pid=17730/tid=17731] ppid=17728 vsize=866408 CPUtime=0.59
/proc/17730/task/17731/stat : 17731 (java) R 17728 17730 16666 0 -1 64 10710 0 1 0 52 7 0 0 20 0 9 0 2003911298 887201792 11096 996147200 134512640 134550740 4294955968 18446744073709551615 4126417538 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 866408
[startup+1.50277 s]
/proc/loadavg: 2.00 2.00 1.93 3/81 17739
/proc/meminfo: memFree=1597320/2055920 swapFree=4179828/4192956
[pid=17730] ppid=17728 vsize=866408 CPUtime=1.46
/proc/17730/stat : 17730 (java) S 17728 17730 16666 0 -1 0 23077 0 1 0 131 15 0 0 18 0 9 0 2003911297 887201792 22444 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17730/statm: 216602 22444 1983 9 0 211130 0
[pid=17730/tid=17731] ppid=17728 vsize=866408 CPUtime=1.27
/proc/17730/task/17731/stat : 17731 (java) R 17728 17730 16666 0 -1 64 15654 0 1 0 117 10 0 0 25 0 9 0 2003911298 887201792 22444 996147200 134512640 134550740 4294955968 18446744073709551615 4126417553 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17733] ppid=17728 vsize=866408 CPUtime=0.1
/proc/17730/task/17733/stat : 17733 (java) S 17728 17730 16666 0 -1 64 6403 0 0 0 7 3 0 0 16 0 9 0 2003911300 887201792 22444 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17734] ppid=17728 vsize=866408 CPUtime=0
/proc/17730/task/17734/stat : 17734 (java) S 17728 17730 16666 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003911300 887201792 22444 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17735] ppid=17728 vsize=866408 CPUtime=0
/proc/17730/task/17735/stat : 17735 (java) S 17728 17730 16666 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003911300 887201792 22444 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17736] ppid=17728 vsize=866408 CPUtime=0
/proc/17730/task/17736/stat : 17736 (java) S 17728 17730 16666 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2003911303 887201792 22444 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17737] ppid=17728 vsize=866408 CPUtime=0.06
/proc/17730/task/17737/stat : 17737 (java) S 17728 17730 16666 0 -1 64 323 0 0 0 6 0 0 0 16 0 9 0 2003911303 887201792 22444 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17738] ppid=17728 vsize=866408 CPUtime=0
/proc/17730/task/17738/stat : 17738 (java) S 17728 17730 16666 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2003911303 887201792 22444 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17739] ppid=17728 vsize=866408 CPUtime=0
/proc/17730/task/17739/stat : 17739 (java) S 17728 17730 16666 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003911303 887201792 22444 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 866408
[startup+3.10202 s]
/proc/loadavg: 2.00 2.00 1.93 3/81 17739
/proc/meminfo: memFree=1574728/2055920 swapFree=4179828/4192956
[pid=17730] ppid=17728 vsize=866540 CPUtime=3.04
/proc/17730/stat : 17730 (java) S 17728 17730 16666 0 -1 0 29548 0 1 0 284 20 0 0 18 0 9 0 2003911297 887336960 28912 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17730/statm: 216635 28912 1983 9 0 211163 0
[pid=17730/tid=17731] ppid=17728 vsize=866540 CPUtime=2.68
/proc/17730/task/17731/stat : 17731 (java) R 17728 17730 16666 0 -1 64 15657 0 1 0 256 12 0 0 25 0 9 0 2003911298 887336960 28912 996147200 134512640 134550740 4294955968 18446744073709551615 4126417553 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17733] ppid=17728 vsize=866540 CPUtime=0.26
/proc/17730/task/17733/stat : 17733 (java) S 17728 17730 16666 0 -1 64 12862 0 0 0 20 6 0 0 16 0 9 0 2003911300 887336960 28912 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17734] ppid=17728 vsize=866540 CPUtime=0
/proc/17730/task/17734/stat : 17734 (java) S 17728 17730 16666 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003911300 887336960 28912 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17735] ppid=17728 vsize=866540 CPUtime=0
/proc/17730/task/17735/stat : 17735 (java) S 17728 17730 16666 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003911300 887336960 28912 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17736] ppid=17728 vsize=866540 CPUtime=0
/proc/17730/task/17736/stat : 17736 (java) S 17728 17730 16666 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2003911303 887336960 28912 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17737] ppid=17728 vsize=866540 CPUtime=0.07
/proc/17730/task/17737/stat : 17737 (java) S 17728 17730 16666 0 -1 64 332 0 0 0 7 0 0 0 16 0 9 0 2003911303 887336960 28912 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17738] ppid=17728 vsize=866540 CPUtime=0
/proc/17730/task/17738/stat : 17738 (java) S 17728 17730 16666 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2003911303 887336960 28912 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17739] ppid=17728 vsize=866540 CPUtime=0
/proc/17730/task/17739/stat : 17739 (java) S 17728 17730 16666 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003911303 887336960 28912 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 866540
[startup+6.30251 s]
/proc/loadavg: 2.00 2.00 1.93 3/81 17739
/proc/meminfo: memFree=1538056/2055920 swapFree=4179828/4192956
[pid=17730] ppid=17728 vsize=867064 CPUtime=6.21
/proc/17730/stat : 17730 (java) S 17728 17730 16666 0 -1 0 35568 0 1 0 596 25 0 0 18 0 9 0 2003911297 887873536 34272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17730/statm: 216766 34272 2608 9 0 211294 0
[pid=17730/tid=17731] ppid=17728 vsize=867064 CPUtime=5.39
/proc/17730/task/17731/stat : 17731 (java) R 17728 17730 16666 0 -1 64 15706 0 1 0 525 14 0 0 25 0 9 0 2003911298 887873536 34272 996147200 134512640 134550740 4294955968 18446744073709551615 4126100544 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17733] ppid=17728 vsize=867064 CPUtime=0.69
/proc/17730/task/17733/stat : 17733 (java) S 17728 17730 16666 0 -1 64 18702 0 0 0 60 9 0 0 16 0 9 0 2003911300 887873536 34272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17734] ppid=17728 vsize=867064 CPUtime=0
/proc/17730/task/17734/stat : 17734 (java) S 17728 17730 16666 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003911300 887873536 34272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17735] ppid=17728 vsize=867064 CPUtime=0
/proc/17730/task/17735/stat : 17735 (java) S 17728 17730 16666 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003911300 887873536 34272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17736] ppid=17728 vsize=867064 CPUtime=0
/proc/17730/task/17736/stat : 17736 (java) S 17728 17730 16666 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2003911303 887873536 34272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17737] ppid=17728 vsize=867064 CPUtime=0.1
/proc/17730/task/17737/stat : 17737 (java) S 17728 17730 16666 0 -1 64 463 0 0 0 10 0 0 0 16 0 9 0 2003911303 887873536 34272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17738] ppid=17728 vsize=867064 CPUtime=0
/proc/17730/task/17738/stat : 17738 (java) S 17728 17730 16666 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2003911303 887873536 34272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17739] ppid=17728 vsize=867064 CPUtime=0
/proc/17730/task/17739/stat : 17739 (java) S 17728 17730 16666 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003911303 887873536 34272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867064
[startup+12.7015 s]
/proc/loadavg: 2.00 2.00 1.93 3/81 17743
/proc/meminfo: memFree=1435464/2055920 swapFree=4179828/4192956
[pid=17730] ppid=17728 vsize=867476 CPUtime=12.54
/proc/17730/stat : 17730 (java) S 17728 17730 16666 0 -1 0 94829 274 1 0 1207 45 0 2 18 0 9 0 2003911297 888295424 59899 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17730/statm: 216869 59899 2635 9 0 211375 0
[pid=17730/tid=17731] ppid=17728 vsize=867476 CPUtime=10.46
/proc/17730/task/17731/stat : 17731 (java) R 17728 17730 16666 0 -1 64 21477 274 1 0 1029 15 0 2 25 0 9 0 2003911298 888295424 59899 996147200 134512640 134550740 4294955968 18446744073709551615 4126846581 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17733] ppid=17728 vsize=867476 CPUtime=1.82
/proc/17730/task/17733/stat : 17733 (java) S 17728 17730 16666 0 -1 64 71881 274 0 0 154 26 0 2 17 0 9 0 2003911300 888295424 59899 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17734] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17734/stat : 17734 (java) S 17728 17730 16666 0 -1 64 19 274 0 0 0 0 0 2 16 0 9 0 2003911300 888295424 59899 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17735] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17735/stat : 17735 (java) S 17728 17730 16666 0 -1 64 11 274 0 0 0 0 0 2 16 0 9 0 2003911300 888295424 59899 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17736] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17736/stat : 17736 (java) S 17728 17730 16666 0 -1 64 0 274 0 0 0 0 0 2 18 0 9 0 2003911303 888295424 59899 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17737] ppid=17728 vsize=867476 CPUtime=0.24
/proc/17730/task/17737/stat : 17737 (java) S 17728 17730 16666 0 -1 64 623 274 0 0 22 0 0 2 15 0 9 0 2003911303 888295424 59899 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17738] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17738/stat : 17738 (java) S 17728 17730 16666 0 -1 64 2 274 0 0 0 0 0 2 19 0 9 0 2003911303 888295424 59899 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17739] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17739/stat : 17739 (java) S 17728 17730 16666 0 -1 64 7 274 0 0 0 0 0 2 15 0 9 0 2003911303 888295424 59899 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 867476
[startup+25.5025 s]
/proc/loadavg: 2.00 2.00 1.93 3/81 17743
/proc/meminfo: memFree=1435464/2055920 swapFree=4179828/4192956
[pid=17730] ppid=17728 vsize=867476 CPUtime=25.23
/proc/17730/stat : 17730 (java) S 17728 17730 16666 0 -1 0 94890 274 1 0 2476 45 0 2 18 0 9 0 2003911297 888295424 59923 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17730/statm: 216869 59923 2635 9 0 211375 0
[pid=17730/tid=17731] ppid=17728 vsize=867476 CPUtime=23.1
/proc/17730/task/17731/stat : 17731 (java) R 17728 17730 16666 0 -1 64 21504 274 1 0 2293 15 0 2 25 0 9 0 2003911298 888295424 59923 996147200 134512640 134550740 4294955968 18446744073709551615 4126846426 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17733] ppid=17728 vsize=867476 CPUtime=1.82
/proc/17730/task/17733/stat : 17733 (java) S 17728 17730 16666 0 -1 64 71881 274 0 0 154 26 0 2 16 0 9 0 2003911300 888295424 59923 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17734] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17734/stat : 17734 (java) S 17728 17730 16666 0 -1 64 19 274 0 0 0 0 0 2 16 0 9 0 2003911300 888295424 59923 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17735] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17735/stat : 17735 (java) S 17728 17730 16666 0 -1 64 11 274 0 0 0 0 0 2 16 0 9 0 2003911300 888295424 59923 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17736] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17736/stat : 17736 (java) S 17728 17730 16666 0 -1 64 0 274 0 0 0 0 0 2 18 0 9 0 2003911303 888295424 59923 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17737] ppid=17728 vsize=867476 CPUtime=0.29
/proc/17730/task/17737/stat : 17737 (java) S 17728 17730 16666 0 -1 64 657 274 0 0 27 0 0 2 16 0 9 0 2003911303 888295424 59923 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17738] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17738/stat : 17738 (java) S 17728 17730 16666 0 -1 64 2 274 0 0 0 0 0 2 19 0 9 0 2003911303 888295424 59923 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17739] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17739/stat : 17739 (java) S 17728 17730 16666 0 -1 64 7 274 0 0 0 0 0 2 15 0 9 0 2003911303 888295424 59923 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867476
[startup+51.1025 s]
/proc/loadavg: 2.00 2.00 1.93 3/81 17743
/proc/meminfo: memFree=1435464/2055920 swapFree=4179828/4192956
[pid=17730] ppid=17728 vsize=867476 CPUtime=50.62
/proc/17730/stat : 17730 (java) S 17728 17730 16666 0 -1 0 94938 274 1 0 5014 46 0 2 18 0 9 0 2003911297 888295424 59925 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17730/statm: 216869 59925 2635 9 0 211375 0
[pid=17730/tid=17731] ppid=17728 vsize=867476 CPUtime=48.47
/proc/17730/task/17731/stat : 17731 (java) R 17728 17730 16666 0 -1 64 21550 274 1 0 4830 15 0 2 25 0 9 0 2003911298 888295424 59925 996147200 134512640 134550740 4294955968 18446744073709551615 4126846539 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17733] ppid=17728 vsize=867476 CPUtime=1.82
################
# More data... #
################
/proc/17730/task/17735/stat : 17735 (java) S 17728 17730 16666 0 -1 64 11 274 0 0 0 0 0 2 16 0 9 0 2003911300 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17736] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17736/stat : 17736 (java) S 17728 17730 16666 0 -1 64 0 274 0 0 0 0 0 2 18 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17737] ppid=17728 vsize=867476 CPUtime=0.3
/proc/17730/task/17737/stat : 17737 (java) S 17728 17730 16666 0 -1 64 660 274 0 0 28 0 0 2 16 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17730/tid=17738] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17738/stat : 17738 (java) S 17728 17730 16666 0 -1 64 2 274 0 0 0 0 0 2 19 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17739] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17739/stat : 17739 (java) S 17728 17730 16666 0 -1 64 7 274 0 0 0 0 0 2 15 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1475.3
Current children cumulated vsize (KiB) 867476
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17821
/proc/meminfo: memFree=1499656/2055920 swapFree=4179828/4192956
[pid=17730] ppid=17728 vsize=867476 CPUtime=1535.26
/proc/17730/stat : 17730 (java) S 17728 17730 16666 0 -1 0 97147 274 1 0 153453 71 0 2 18 0 9 0 2003911297 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17730/statm: 216869 59926 2635 9 0 211375 0
[pid=17730/tid=17731] ppid=17728 vsize=867476 CPUtime=1533.13
/proc/17730/task/17731/stat : 17731 (java) R 17728 17730 16666 0 -1 64 23758 274 1 0 153270 41 0 2 25 0 9 0 2003911298 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4126846732 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17730/tid=17733] ppid=17728 vsize=867476 CPUtime=1.82
/proc/17730/task/17733/stat : 17733 (java) S 17728 17730 16666 0 -1 64 71881 274 0 0 154 26 0 2 16 0 9 0 2003911300 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17734] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17734/stat : 17734 (java) S 17728 17730 16666 0 -1 64 19 274 0 0 0 0 0 2 16 0 9 0 2003911300 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17735] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17735/stat : 17735 (java) S 17728 17730 16666 0 -1 64 11 274 0 0 0 0 0 2 16 0 9 0 2003911300 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17736] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17736/stat : 17736 (java) S 17728 17730 16666 0 -1 64 0 274 0 0 0 0 0 2 18 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17737] ppid=17728 vsize=867476 CPUtime=0.3
/proc/17730/task/17737/stat : 17737 (java) S 17728 17730 16666 0 -1 64 660 274 0 0 28 0 0 2 16 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17730/tid=17738] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17738/stat : 17738 (java) S 17728 17730 16666 0 -1 64 2 274 0 0 0 0 0 2 19 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17739] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17739/stat : 17739 (java) S 17728 17730 16666 0 -1 64 7 274 0 0 0 0 0 2 15 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1535.26
Current children cumulated vsize (KiB) 867476
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17821
/proc/meminfo: memFree=1499464/2055920 swapFree=4179828/4192956
[pid=17730] ppid=17728 vsize=867476 CPUtime=1595.24
/proc/17730/stat : 17730 (java) S 17728 17730 16666 0 -1 0 97247 274 1 0 159451 71 0 2 18 0 9 0 2003911297 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17730/statm: 216869 59926 2635 9 0 211375 0
[pid=17730/tid=17731] ppid=17728 vsize=867476 CPUtime=1593.1
/proc/17730/task/17731/stat : 17731 (java) R 17728 17730 16666 0 -1 64 23858 274 1 0 159267 41 0 2 25 0 9 0 2003911298 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4126846722 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17730/tid=17733] ppid=17728 vsize=867476 CPUtime=1.82
/proc/17730/task/17733/stat : 17733 (java) S 17728 17730 16666 0 -1 64 71881 274 0 0 154 26 0 2 16 0 9 0 2003911300 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17734] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17734/stat : 17734 (java) S 17728 17730 16666 0 -1 64 19 274 0 0 0 0 0 2 16 0 9 0 2003911300 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17735] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17735/stat : 17735 (java) S 17728 17730 16666 0 -1 64 11 274 0 0 0 0 0 2 16 0 9 0 2003911300 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17736] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17736/stat : 17736 (java) S 17728 17730 16666 0 -1 64 0 274 0 0 0 0 0 2 18 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17737] ppid=17728 vsize=867476 CPUtime=0.3
/proc/17730/task/17737/stat : 17737 (java) S 17728 17730 16666 0 -1 64 660 274 0 0 28 0 0 2 16 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17730/tid=17738] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17738/stat : 17738 (java) S 17728 17730 16666 0 -1 64 2 274 0 0 0 0 0 2 19 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17739] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17739/stat : 17739 (java) S 17728 17730 16666 0 -1 64 7 274 0 0 0 0 0 2 15 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1595.24
Current children cumulated vsize (KiB) 867476
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 17821
/proc/meminfo: memFree=1499400/2055920 swapFree=4179828/4192956
[pid=17730] ppid=17728 vsize=867476 CPUtime=1655.21
/proc/17730/stat : 17730 (java) S 17728 17730 16666 0 -1 0 97346 274 1 0 165448 71 0 2 18 0 9 0 2003911297 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17730/statm: 216869 59926 2635 9 0 211375 0
[pid=17730/tid=17731] ppid=17728 vsize=867476 CPUtime=1653.07
/proc/17730/task/17731/stat : 17731 (java) R 17728 17730 16666 0 -1 64 23957 274 1 0 165264 41 0 2 25 0 9 0 2003911298 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4126955226 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17730/tid=17733] ppid=17728 vsize=867476 CPUtime=1.82
/proc/17730/task/17733/stat : 17733 (java) S 17728 17730 16666 0 -1 64 71881 274 0 0 154 26 0 2 16 0 9 0 2003911300 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17734] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17734/stat : 17734 (java) S 17728 17730 16666 0 -1 64 19 274 0 0 0 0 0 2 16 0 9 0 2003911300 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17735] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17735/stat : 17735 (java) S 17728 17730 16666 0 -1 64 11 274 0 0 0 0 0 2 16 0 9 0 2003911300 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17736] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17736/stat : 17736 (java) S 17728 17730 16666 0 -1 64 0 274 0 0 0 0 0 2 18 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17737] ppid=17728 vsize=867476 CPUtime=0.3
/proc/17730/task/17737/stat : 17737 (java) S 17728 17730 16666 0 -1 64 660 274 0 0 28 0 0 2 16 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17730/tid=17738] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17738/stat : 17738 (java) S 17728 17730 16666 0 -1 64 2 274 0 0 0 0 0 2 19 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17739] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17739/stat : 17739 (java) S 17728 17730 16666 0 -1 64 7 274 0 0 0 0 0 2 15 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1655.21
Current children cumulated vsize (KiB) 867476
[startup+1722.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/82 17821
/proc/meminfo: memFree=1499528/2055920 swapFree=4179828/4192956
[pid=17730] ppid=17728 vsize=867476 CPUtime=1715.19
/proc/17730/stat : 17730 (java) S 17728 17730 16666 0 -1 0 97448 274 1 0 171445 72 0 2 18 0 9 0 2003911297 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17730/statm: 216869 59926 2635 9 0 211375 0
[pid=17730/tid=17731] ppid=17728 vsize=867476 CPUtime=1713.04
/proc/17730/task/17731/stat : 17731 (java) R 17728 17730 16666 0 -1 64 24059 274 1 0 171261 41 0 2 25 0 9 0 2003911298 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4126836192 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17730/tid=17733] ppid=17728 vsize=867476 CPUtime=1.82
/proc/17730/task/17733/stat : 17733 (java) S 17728 17730 16666 0 -1 64 71881 274 0 0 154 26 0 2 16 0 9 0 2003911300 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17734] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17734/stat : 17734 (java) S 17728 17730 16666 0 -1 64 19 274 0 0 0 0 0 2 16 0 9 0 2003911300 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17735] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17735/stat : 17735 (java) S 17728 17730 16666 0 -1 64 11 274 0 0 0 0 0 2 16 0 9 0 2003911300 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17736] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17736/stat : 17736 (java) S 17728 17730 16666 0 -1 64 0 274 0 0 0 0 0 2 18 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17737] ppid=17728 vsize=867476 CPUtime=0.3
/proc/17730/task/17737/stat : 17737 (java) S 17728 17730 16666 0 -1 64 660 274 0 0 28 0 0 2 16 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17730/tid=17738] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17738/stat : 17738 (java) S 17728 17730 16666 0 -1 64 2 274 0 0 0 0 0 2 19 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17739] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17739/stat : 17739 (java) S 17728 17730 16666 0 -1 64 7 274 0 0 0 0 0 2 15 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1715.19
Current children cumulated vsize (KiB) 867476
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/82 17821
/proc/meminfo: memFree=1499464/2055920 swapFree=4179828/4192956
[pid=17730] ppid=17728 vsize=867476 CPUtime=1775.16
/proc/17730/stat : 17730 (java) S 17728 17730 16666 0 -1 0 97551 274 1 0 177442 72 0 2 18 0 9 0 2003911297 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17730/statm: 216869 59926 2635 9 0 211375 0
[pid=17730/tid=17731] ppid=17728 vsize=867476 CPUtime=1773.02
/proc/17730/task/17731/stat : 17731 (java) R 17728 17730 16666 0 -1 64 24162 274 1 0 177259 41 0 2 25 0 9 0 2003911298 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4126846722 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17730/tid=17733] ppid=17728 vsize=867476 CPUtime=1.82
/proc/17730/task/17733/stat : 17733 (java) S 17728 17730 16666 0 -1 64 71881 274 0 0 154 26 0 2 16 0 9 0 2003911300 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17734] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17734/stat : 17734 (java) S 17728 17730 16666 0 -1 64 19 274 0 0 0 0 0 2 16 0 9 0 2003911300 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17735] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17735/stat : 17735 (java) S 17728 17730 16666 0 -1 64 11 274 0 0 0 0 0 2 16 0 9 0 2003911300 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17736] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17736/stat : 17736 (java) S 17728 17730 16666 0 -1 64 0 274 0 0 0 0 0 2 18 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17737] ppid=17728 vsize=867476 CPUtime=0.3
/proc/17730/task/17737/stat : 17737 (java) S 17728 17730 16666 0 -1 64 660 274 0 0 28 0 0 2 16 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17730/tid=17738] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17738/stat : 17738 (java) S 17728 17730 16666 0 -1 64 2 274 0 0 0 0 0 2 19 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17739] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17739/stat : 17739 (java) S 17728 17730 16666 0 -1 64 7 274 0 0 0 0 0 2 15 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1775.16
Current children cumulated vsize (KiB) 867476
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.2 s]
/proc/loadavg: 2.02 2.02 2.00 3/82 17821
/proc/meminfo: memFree=1499464/2055920 swapFree=4179828/4192956
[pid=17730] ppid=17728 vsize=867476 CPUtime=1800.06
/proc/17730/stat : 17730 (java) S 17728 17730 16666 0 -1 0 97586 274 1 0 179932 72 0 2 18 0 9 0 2003911297 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17730/statm: 216869 59926 2635 9 0 211375 0
[pid=17730/tid=17731] ppid=17728 vsize=867476 CPUtime=1797.92
/proc/17730/task/17731/stat : 17731 (java) R 17728 17730 16666 0 -1 64 24197 274 1 0 179749 41 0 2 25 0 9 0 2003911298 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4126847212 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17730/tid=17733] ppid=17728 vsize=867476 CPUtime=1.82
/proc/17730/task/17733/stat : 17733 (java) S 17728 17730 16666 0 -1 64 71881 274 0 0 154 26 0 2 16 0 9 0 2003911300 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17734] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17734/stat : 17734 (java) S 17728 17730 16666 0 -1 64 19 274 0 0 0 0 0 2 16 0 9 0 2003911300 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17735] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17735/stat : 17735 (java) S 17728 17730 16666 0 -1 64 11 274 0 0 0 0 0 2 16 0 9 0 2003911300 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17736] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17736/stat : 17736 (java) S 17728 17730 16666 0 -1 64 0 274 0 0 0 0 0 2 18 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17737] ppid=17728 vsize=867476 CPUtime=0.3
/proc/17730/task/17737/stat : 17737 (java) S 17728 17730 16666 0 -1 64 660 274 0 0 28 0 0 2 16 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17730/tid=17738] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17738/stat : 17738 (java) S 17728 17730 16666 0 -1 64 2 274 0 0 0 0 0 2 19 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17730/tid=17739] ppid=17728 vsize=867476 CPUtime=0.02
/proc/17730/task/17739/stat : 17739 (java) S 17728 17730 16666 0 -1 64 7 274 0 0 0 0 0 2 15 0 9 0 2003911303 888295424 59926 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 867476
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): 1807.29
CPU time (s): 1800.16
CPU user time (s): 1799.37
CPU system time (s): 0.78388
CPU usage (%): 99.6055
Max. virtual memory (cumulated for all children) (KiB): 868068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.78388
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97895
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= 37881
involuntary context switches= 63681
runsolver used 2.50962 second user time and 5.72813 second system time
The end
Begin job on node34 at 2008-07-05 11:16:18
IDJOB=1093271
IDBENCH=58694
IDSOLVER=364
FILE ID=node34/1093271-1215249376
PBS_JOBID= 7881982
Free space on /tmp= 66444 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/dag-half/normalized-half-n25-d5-e56-r7-1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093271-1215249376/watcher-1093271-1215249376 -o /tmp/evaluation-result-1093271-1215249376/solver-1093271-1215249376 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1093271-1215249376.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= e314bdf1882217984545160cbeb01d02
RANDOM SEED=718545441
node34.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.259
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.259
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: 1665584 kB
Buffers: 13580 kB
Cached: 185120 kB
SwapCached: 7272 kB
Active: 273712 kB
Inactive: 65544 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1665584 kB
SwapTotal: 4192956 kB
SwapFree: 4179828 kB
Dirty: 32644 kB
Writeback: 0 kB
Mapped: 147404 kB
Slab: 36112 kB
Committed_AS: 3661748 kB
PageTables: 2036 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= 66444 MiB
End job on node34 at 2008-07-05 11:46:27