0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.20/0.24
0.20/0.24 configuration
0.20/0.24 name=mac.xml
0.20/0.27
0.20/0.27 instance
0.20/0.27 name=HOME/instance-1076337-1215186536.xml
0.29/0.31
0.29/0.31 domains being loaded...
0.29/0.32
0.29/0.32 variables being loaded...
0.29/0.35 nbVariables=64 nbDomainTypes=1 minDomainSize=26 maxDomainSize=26 nbTotalValues=1664
0.29/0.35 => wckTime=0.111 cpuTime=0.1 mem=7M919
0.29/0.35
0.29/0.35 relations being loaded...
0.50/0.53
0.50/0.53 constraints being loaded...
0.60/0.64 Too large in ConstraintConflictsSTructure
0.68/0.73 nbConstraints=17 nbRelationTypes=1 nbGlobalConstraints=17 nbExtensionStructures=1
0.68/0.73 nbSharedExtensionStructures=15 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=0 minDegree=2
0.68/0.73 maxDegree=3 minArity=8 avgArity=10.82 maxArity=56 nbGenerators=1 nbFusions=0 symmetryWckTime=0.066
0.68/0.73 symmetryCpuTime=0.03
0.68/0.73 => wckTime=0.487 cpuTime=0.4 mem=43M926
0.78/0.83
0.78/0.83 solver IterativeSystematicSolver being built...
0.78/0.89
0.89/0.91 INFO : Forward propagation technique limited
0.89/0.97 => wckTime=0.734 cpuTime=0.53 mem=31M162
1.08/1.19
1.08/1.19 preprocessing
1.08/1.19 nbConstraintChecks=0 nbValidityChecks=1862046 nbPropagations=65 nbRevisions=0 nbUselessRevisions=0
1.08/1.19 nbRemovedValues=30 detectedInconsistency=no
1.08/1.19 => wckTime=0.212 cpuTime=0.19 mem=32M7
4.26/4.35
4.26/4.35 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=33M0)
85.47/86.33
85.47/86.33 search
85.47/86.33 run=14 nbConstraintChecks=36691 nbValidityChecks=580951111 minDepth=2 maxDepth=64 nbPropagations=1760710
85.47/86.33 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19214 nbFailedAssignments=8386 nbBacktracks=10525
85.47/86.33 nbVisitedNodes=32815 nbRestartNogoods=107 nbFoundSolutions=1 nbSEliminables=0.11 nbREliminables=3.22
85.47/86.33 nbIEliminables=44.26 nbDEliminables=0 nbPEliminables=0
85.47/86.33 => wckTime=85.351 cpuTime=84.4 mem=33M0
85.47/86.33
85.47/86.33 global
85.47/86.33 nbConstraintChecks=36691 nbValidityChecks=582813157 nbPropagations=1760775 nbRestartNogoods=107
85.47/86.33 solvingWckTime=85.354 solvingCpuTime=84.4 expiredTime=no totalExploration=no nbFoundSolutions=1
85.47/86.33 firstSolutionCpuTime=84.94 globalCpuTime=84.98
85.47/86.33 => wckTime=86.092 cpuTime=84.94 mem=33M0
85.47/86.33
85.47/86.33 s SATISFIABLE
85.47/86.33 v 0 1 0 19 0 17 3 8 1 14 20 17 6 8 4 13 0 20 17 8 11 11 0 2 19 17 8 1 0 11 11 4 0 6 11 0 19 8 4 13 17 8 11 11 8 0 17 3 3 4 0 11 4 17 0 8 8 13 2 4 13 3 8 0
85.47/86.33 d NODES 19214
85.47/86.33 d CHECKS 36691
85.47/86.34
85.47/86.34 totalWckTime=86.16 totalCpuTime=84.99
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1076337-1215186536/watcher-1076337-1215186536 -o /tmp/evaluation-result-1076337-1215186536/solver-1076337-1215186536 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1076337-1215186536.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: 1.28 1.46 1.69 3/73 2751
/proc/meminfo: memFree=1578224/2055920 swapFree=4121380/4192956
[pid=2751] ppid=2749 vsize=861876 CPUtime=0.02
/proc/2751/stat : 2751 (java) S 2749 2751 29922 0 -1 0 1880 0 1 0 1 1 0 0 18 0 5 0 1548327686 882561024 1567 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/2751/statm: 215469 1567 695 9 0 210448 0
[pid=2751/tid=2752] ppid=2749 vsize=861876 CPUtime=0
/proc/2751/task/2752/stat : 2752 (java) S 2749 2751 29922 0 -1 64 1190 0 1 0 0 0 0 0 19 0 5 0 1548327687 882561024 1567 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16784584 0 0 0 -1 1 0 0
[pid=2751/tid=2753] ppid=2749 vsize=861876 CPUtime=0
/proc/2751/task/2753/stat : 2753 (java) S 2749 2751 29922 0 -1 64 4 0 0 0 0 0 0 0 19 0 5 0 1548327688 882561024 1567 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16784584 0 0 0 -1 1 0 0
[pid=2751/tid=2754] ppid=2749 vsize=861876 CPUtime=0
/proc/2751/task/2754/stat : 2754 (java) S 2749 2751 29922 0 -1 64 10 0 0 0 0 0 0 0 19 0 5 0 1548327688 882561024 1567 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16784584 0 0 0 -1 1 0 0
[pid=2751/tid=2755] ppid=2749 vsize=861876 CPUtime=0
/proc/2751/task/2755/stat : 2755 (java) R 2749 2751 29922 0 -1 64 0 0 0 0 0 0 0 0 20 0 5 0 1548327688 882561024 1567 996147200 134512640 134550740 4294955968 18446744073709551615 7774168 0 4 0 16784584 0 0 0 -1 1 0 0
[startup+0.089853 s]
/proc/loadavg: 1.28 1.46 1.69 3/73 2751
/proc/meminfo: memFree=1578224/2055920 swapFree=4121380/4192956
[pid=2751] ppid=2749 vsize=865884 CPUtime=0.08
/proc/2751/stat : 2751 (java) S 2749 2751 29922 0 -1 0 3630 0 1 0 6 2 0 0 18 0 9 0 1548327686 886665216 3118 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2751/statm: 216471 3118 1672 9 0 211026 0
[pid=2751/tid=2752] ppid=2749 vsize=865884 CPUtime=0.06
/proc/2751/task/2752/stat : 2752 (java) R 2749 2751 29922 0 -1 64 2721 0 1 0 5 1 0 0 18 0 9 0 1548327687 886665216 3118 996147200 134512640 134550740 4294955968 18446744073709551615 104454905 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2751/tid=2753] ppid=2749 vsize=865884 CPUtime=0
/proc/2751/task/2753/stat : 2753 (java) S 2749 2751 29922 0 -1 64 4 0 0 0 0 0 0 0 19 0 9 0 1548327688 886665216 3118 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2754] ppid=2749 vsize=865884 CPUtime=0
/proc/2751/task/2754/stat : 2754 (java) S 2749 2751 29922 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1548327688 886665216 3118 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2755] ppid=2749 vsize=865884 CPUtime=0
/proc/2751/task/2755/stat : 2755 (java) S 2749 2751 29922 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1548327688 886665216 3118 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.103224 s]
/proc/loadavg: 1.28 1.46 1.69 3/73 2751
/proc/meminfo: memFree=1578224/2055920 swapFree=4121380/4192956
[pid=2751] ppid=2749 vsize=865884 CPUtime=0.1
/proc/2751/stat : 2751 (java) S 2749 2751 29922 0 -1 0 3831 0 1 0 8 2 0 0 18 0 9 0 1548327686 886665216 3282 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2751/statm: 216471 3282 1735 9 0 211026 0
[pid=2751/tid=2752] ppid=2749 vsize=865884 CPUtime=0.07
/proc/2751/task/2752/stat : 2752 (java) R 2749 2751 29922 0 -1 64 2912 0 1 0 6 1 0 0 17 0 9 0 1548327687 886665216 3282 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2751/tid=2753] ppid=2749 vsize=865884 CPUtime=0
/proc/2751/task/2753/stat : 2753 (java) S 2749 2751 29922 0 -1 64 4 0 0 0 0 0 0 0 19 0 9 0 1548327688 886665216 3282 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2754] ppid=2749 vsize=865884 CPUtime=0
/proc/2751/task/2754/stat : 2754 (java) S 2749 2751 29922 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1548327688 886665216 3284 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2755] ppid=2749 vsize=865884 CPUtime=0
/proc/2751/task/2755/stat : 2755 (java) S 2749 2751 29922 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1548327688 886665216 3285 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 865884
[startup+0.301244 s]
/proc/loadavg: 1.28 1.46 1.69 3/73 2751
/proc/meminfo: memFree=1578224/2055920 swapFree=4121380/4192956
[pid=2751] ppid=2749 vsize=866284 CPUtime=0.29
/proc/2751/stat : 2751 (java) S 2749 2751 29922 0 -1 0 5997 0 1 0 24 5 0 0 18 0 9 0 1548327686 887074816 5372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2751/statm: 216571 5372 1956 9 0 211099 0
[pid=2751/tid=2752] ppid=2749 vsize=866284 CPUtime=0.24
/proc/2751/task/2752/stat : 2752 (java) R 2749 2751 29922 0 -1 64 5027 0 1 0 20 4 0 0 18 0 9 0 1548327687 887074816 5372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2751/tid=2753] ppid=2749 vsize=866284 CPUtime=0
/proc/2751/task/2753/stat : 2753 (java) S 2749 2751 29922 0 -1 64 4 0 0 0 0 0 0 0 19 0 9 0 1548327688 887074816 5372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2754] ppid=2749 vsize=866284 CPUtime=0
/proc/2751/task/2754/stat : 2754 (java) S 2749 2751 29922 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1548327688 887074816 5372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2755] ppid=2749 vsize=866284 CPUtime=0
/proc/2751/task/2755/stat : 2755 (java) S 2749 2751 29922 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1548327688 887074816 5372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866284
[startup+0.701311 s]
/proc/loadavg: 1.28 1.46 1.69 3/73 2751
/proc/meminfo: memFree=1578224/2055920 swapFree=4121380/4192956
[pid=2751] ppid=2749 vsize=866844 CPUtime=0.68
/proc/2751/stat : 2751 (java) S 2749 2751 29922 0 -1 0 15466 153 1 0 57 11 0 0 18 0 10 0 1548327686 887648256 14196 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2751/statm: 216711 14196 1992 9 0 211239 0
[pid=2751/tid=2752] ppid=2749 vsize=866844 CPUtime=0.57
/proc/2751/task/2752/stat : 2752 (java) R 2749 2751 29922 0 -1 64 14289 153 1 0 48 9 0 0 16 0 10 0 1548327687 887648256 14196 996147200 134512640 134550740 4294955968 18446744073709551615 4126403200 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2753] ppid=2749 vsize=866844 CPUtime=0
/proc/2751/task/2753/stat : 2753 (java) S 2749 2751 29922 0 -1 64 4 153 0 0 0 0 0 0 19 0 10 0 1548327688 887648256 14196 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2754] ppid=2749 vsize=866844 CPUtime=0
/proc/2751/task/2754/stat : 2754 (java) S 2749 2751 29922 0 -1 64 10 153 0 0 0 0 0 0 19 0 10 0 1548327688 887648256 14196 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2755] ppid=2749 vsize=866844 CPUtime=0
/proc/2751/task/2755/stat : 2755 (java) S 2749 2751 29922 0 -1 64 4 153 0 0 0 0 0 0 20 0 10 0 1548327688 887648256 14196 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866844
[startup+1.50146 s]
/proc/loadavg: 1.28 1.46 1.69 5/84 2764
/proc/meminfo: memFree=1515032/2055920 swapFree=4121380/4192956
[pid=2751] ppid=2749 vsize=866932 CPUtime=1.48
/proc/2751/stat : 2751 (java) S 2749 2751 29922 0 -1 0 26318 276 1 0 131 16 0 1 18 0 9 0 1548327686 887738368 18365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2751/statm: 216733 18365 2631 9 0 211239 0
[pid=2751/tid=2752] ppid=2749 vsize=866932 CPUtime=1.2
/proc/2751/task/2752/stat : 2752 (java) R 2749 2751 29922 0 -1 64 18557 276 1 0 108 11 0 1 21 0 9 0 1548327687 887738368 18365 996147200 134512640 134550740 4294955968 18446744073709551615 4126761538 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2753] ppid=2749 vsize=866932 CPUtime=0.09
/proc/2751/task/2753/stat : 2753 (java) S 2749 2751 29922 0 -1 64 6387 276 0 0 6 2 0 1 16 0 9 0 1548327688 887738368 18365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2754] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2754/stat : 2754 (java) S 2749 2751 29922 0 -1 64 16 276 0 0 0 0 0 1 15 0 9 0 1548327688 887738368 18365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2755] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2755/stat : 2755 (java) S 2749 2751 29922 0 -1 64 9 276 0 0 0 0 0 1 15 0 9 0 1548327688 887738368 18365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2757] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2757/stat : 2757 (java) S 2749 2751 29922 0 -1 64 1 276 0 0 0 0 0 1 18 0 9 0 1548327690 887738368 18365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2758] ppid=2749 vsize=866932 CPUtime=0.17
/proc/2751/task/2758/stat : 2758 (java) S 2749 2751 29922 0 -1 64 540 276 0 0 16 0 0 1 16 0 9 0 1548327690 887738368 18365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2759] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2759/stat : 2759 (java) S 2749 2751 29922 0 -1 64 1 276 0 0 0 0 0 1 19 0 9 0 1548327691 887738368 18365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2760] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2760/stat : 2760 (java) S 2749 2751 29922 0 -1 64 6 276 0 0 0 0 0 1 15 0 9 0 1548327691 887738368 18365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 866932
[startup+3.10273 s]
/proc/loadavg: 1.28 1.46 1.69 3/82 2764
/proc/meminfo: memFree=1514720/2055920 swapFree=4121380/4192956
[pid=2751] ppid=2749 vsize=866932 CPUtime=3.07
/proc/2751/stat : 2751 (java) S 2749 2751 29922 0 -1 0 26336 276 1 0 290 16 0 1 18 0 9 0 1548327686 887738368 18381 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2751/statm: 216733 18381 2631 9 0 211239 0
[pid=2751/tid=2752] ppid=2749 vsize=866932 CPUtime=2.76
/proc/2751/task/2752/stat : 2752 (java) R 2749 2751 29922 0 -1 64 18559 276 1 0 264 11 0 1 25 0 9 0 1548327687 887738368 18381 996147200 134512640 134550740 4294955968 18446744073709551615 4126750993 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2753] ppid=2749 vsize=866932 CPUtime=0.09
/proc/2751/task/2753/stat : 2753 (java) S 2749 2751 29922 0 -1 64 6387 276 0 0 6 2 0 1 17 0 9 0 1548327688 887738368 18381 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2754] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2754/stat : 2754 (java) S 2749 2751 29922 0 -1 64 16 276 0 0 0 0 0 1 15 0 9 0 1548327688 887738368 18381 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2755] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2755/stat : 2755 (java) S 2749 2751 29922 0 -1 64 9 276 0 0 0 0 0 1 15 0 9 0 1548327688 887738368 18381 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2757] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2757/stat : 2757 (java) S 2749 2751 29922 0 -1 64 1 276 0 0 0 0 0 1 18 0 9 0 1548327690 887738368 18381 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2758] ppid=2749 vsize=866932 CPUtime=0.19
/proc/2751/task/2758/stat : 2758 (java) S 2749 2751 29922 0 -1 64 556 276 0 0 18 0 0 1 15 0 9 0 1548327690 887738368 18381 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2759] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2759/stat : 2759 (java) S 2749 2751 29922 0 -1 64 1 276 0 0 0 0 0 1 19 0 9 0 1548327691 887738368 18381 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2760] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2760/stat : 2760 (java) S 2749 2751 29922 0 -1 64 6 276 0 0 0 0 0 1 15 0 9 0 1548327691 887738368 18381 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 866932
[startup+6.30129 s]
/proc/loadavg: 1.34 1.47 1.69 3/82 2764
/proc/meminfo: memFree=1514592/2055920 swapFree=4121380/4192956
[pid=2751] ppid=2749 vsize=866932 CPUtime=6.24
/proc/2751/stat : 2751 (java) S 2749 2751 29922 0 -1 0 26346 276 1 0 606 17 0 1 18 0 9 0 1548327686 887738368 18387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2751/statm: 216733 18387 2631 9 0 211239 0
[pid=2751/tid=2752] ppid=2749 vsize=866932 CPUtime=5.93
/proc/2751/task/2752/stat : 2752 (java) R 2749 2751 29922 0 -1 64 18561 276 1 0 580 12 0 1 25 0 9 0 1548327687 887738368 18387 996147200 134512640 134550740 4294955968 18446744073709551615 4126761961 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2753] ppid=2749 vsize=866932 CPUtime=0.09
/proc/2751/task/2753/stat : 2753 (java) S 2749 2751 29922 0 -1 64 6387 276 0 0 6 2 0 1 17 0 9 0 1548327688 887738368 18387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2754] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2754/stat : 2754 (java) S 2749 2751 29922 0 -1 64 16 276 0 0 0 0 0 1 15 0 9 0 1548327688 887738368 18387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2755] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2755/stat : 2755 (java) S 2749 2751 29922 0 -1 64 9 276 0 0 0 0 0 1 15 0 9 0 1548327688 887738368 18387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2757] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2757/stat : 2757 (java) S 2749 2751 29922 0 -1 64 1 276 0 0 0 0 0 1 18 0 9 0 1548327690 887738368 18387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2758] ppid=2749 vsize=866932 CPUtime=0.2
/proc/2751/task/2758/stat : 2758 (java) S 2749 2751 29922 0 -1 64 564 276 0 0 19 0 0 1 15 0 9 0 1548327690 887738368 18387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2759] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2759/stat : 2759 (java) S 2749 2751 29922 0 -1 64 1 276 0 0 0 0 0 1 19 0 9 0 1548327691 887738368 18387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2760] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2760/stat : 2760 (java) S 2749 2751 29922 0 -1 64 6 276 0 0 0 0 0 1 15 0 9 0 1548327691 887738368 18387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 866932
[startup+12.7024 s]
/proc/loadavg: 1.39 1.48 1.69 3/82 2764
/proc/meminfo: memFree=1514336/2055920 swapFree=4121380/4192956
[pid=2751] ppid=2749 vsize=866932 CPUtime=12.58
/proc/2751/stat : 2751 (java) S 2749 2751 29922 0 -1 0 26360 276 1 0 1240 17 0 1 18 0 9 0 1548327686 887738368 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2751/statm: 216733 18397 2631 9 0 211239 0
[pid=2751/tid=2752] ppid=2749 vsize=866932 CPUtime=12.24
/proc/2751/task/2752/stat : 2752 (java) R 2749 2751 29922 0 -1 64 18563 276 1 0 1211 12 0 1 25 0 9 0 1548327687 887738368 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4126761538 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2753] ppid=2749 vsize=866932 CPUtime=0.09
/proc/2751/task/2753/stat : 2753 (java) S 2749 2751 29922 0 -1 64 6387 276 0 0 6 2 0 1 17 0 9 0 1548327688 887738368 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2754] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2754/stat : 2754 (java) S 2749 2751 29922 0 -1 64 16 276 0 0 0 0 0 1 15 0 9 0 1548327688 887738368 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2755] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2755/stat : 2755 (java) S 2749 2751 29922 0 -1 64 9 276 0 0 0 0 0 1 15 0 9 0 1548327688 887738368 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2757] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2757/stat : 2757 (java) S 2749 2751 29922 0 -1 64 1 276 0 0 0 0 0 1 18 0 9 0 1548327690 887738368 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2758] ppid=2749 vsize=866932 CPUtime=0.22
/proc/2751/task/2758/stat : 2758 (java) S 2749 2751 29922 0 -1 64 576 276 0 0 21 0 0 1 16 0 9 0 1548327690 887738368 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2759] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2759/stat : 2759 (java) S 2749 2751 29922 0 -1 64 1 276 0 0 0 0 0 1 19 0 9 0 1548327691 887738368 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2760] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2760/stat : 2760 (java) S 2749 2751 29922 0 -1 64 6 276 0 0 0 0 0 1 15 0 9 0 1548327691 887738368 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 866932
[startup+25.5026 s]
/proc/loadavg: 1.52 1.50 1.70 3/82 2764
/proc/meminfo: memFree=1514400/2055920 swapFree=4121380/4192956
[pid=2751] ppid=2749 vsize=866932 CPUtime=25.25
################
# More data... #
################
/proc/2751/stat : 2751 (java) S 2749 2751 29922 0 -1 0 26391 276 1 0 6310 17 0 1 18 0 9 0 1548327686 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2751/statm: 216733 18405 2631 9 0 211239 0
[pid=2751/tid=2752] ppid=2749 vsize=866932 CPUtime=62.92
/proc/2751/task/2752/stat : 2752 (java) R 2749 2751 29922 0 -1 64 18581 276 1 0 6279 12 0 1 25 0 9 0 1548327687 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4126761538 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2753] ppid=2749 vsize=866932 CPUtime=0.09
/proc/2751/task/2753/stat : 2753 (java) S 2749 2751 29922 0 -1 64 6387 276 0 0 6 2 0 1 16 0 9 0 1548327688 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2754] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2754/stat : 2754 (java) S 2749 2751 29922 0 -1 64 16 276 0 0 0 0 0 1 15 0 9 0 1548327688 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2755] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2755/stat : 2755 (java) S 2749 2751 29922 0 -1 64 9 276 0 0 0 0 0 1 15 0 9 0 1548327688 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2757] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2757/stat : 2757 (java) S 2749 2751 29922 0 -1 64 1 276 0 0 0 0 0 1 18 0 9 0 1548327690 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2758] ppid=2749 vsize=866932 CPUtime=0.24
/proc/2751/task/2758/stat : 2758 (java) S 2749 2751 29922 0 -1 64 589 276 0 0 23 0 0 1 16 0 9 0 1548327690 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2759] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2759/stat : 2759 (java) S 2749 2751 29922 0 -1 64 1 276 0 0 0 0 0 1 19 0 9 0 1548327691 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2760] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2760/stat : 2760 (java) S 2749 2751 29922 0 -1 64 6 276 0 0 0 0 0 1 15 0 9 0 1548327691 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 63.28
Current children cumulated vsize (KiB) 866932
[startup+76.7015 s]
/proc/loadavg: 1.91 1.61 1.72 3/82 2764
/proc/meminfo: memFree=1514400/2055920 swapFree=4121380/4192956
[pid=2751] ppid=2749 vsize=866932 CPUtime=75.96
/proc/2751/stat : 2751 (java) S 2749 2751 29922 0 -1 0 26402 276 1 0 7578 17 0 1 18 0 9 0 1548327686 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2751/statm: 216733 18405 2631 9 0 211239 0
[pid=2751/tid=2752] ppid=2749 vsize=866932 CPUtime=75.6
/proc/2751/task/2752/stat : 2752 (java) R 2749 2751 29922 0 -1 64 18592 276 1 0 7547 12 0 1 25 0 9 0 1548327687 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4126761355 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2753] ppid=2749 vsize=866932 CPUtime=0.09
/proc/2751/task/2753/stat : 2753 (java) S 2749 2751 29922 0 -1 64 6387 276 0 0 6 2 0 1 16 0 9 0 1548327688 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2754] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2754/stat : 2754 (java) S 2749 2751 29922 0 -1 64 16 276 0 0 0 0 0 1 15 0 9 0 1548327688 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2755] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2755/stat : 2755 (java) S 2749 2751 29922 0 -1 64 9 276 0 0 0 0 0 1 15 0 9 0 1548327688 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2757] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2757/stat : 2757 (java) S 2749 2751 29922 0 -1 64 1 276 0 0 0 0 0 1 18 0 9 0 1548327690 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2758] ppid=2749 vsize=866932 CPUtime=0.24
/proc/2751/task/2758/stat : 2758 (java) S 2749 2751 29922 0 -1 64 589 276 0 0 23 0 0 1 16 0 9 0 1548327690 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2759] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2759/stat : 2759 (java) S 2749 2751 29922 0 -1 64 1 276 0 0 0 0 0 1 19 0 9 0 1548327691 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2760] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2760/stat : 2760 (java) S 2749 2751 29922 0 -1 64 6 276 0 0 0 0 0 1 15 0 9 0 1548327691 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 75.96
Current children cumulated vsize (KiB) 866932
[startup+83.1016 s]
/proc/loadavg: 1.92 1.62 1.72 3/82 2764
/proc/meminfo: memFree=1514336/2055920 swapFree=4121380/4192956
[pid=2751] ppid=2749 vsize=866932 CPUtime=82.3
/proc/2751/stat : 2751 (java) S 2749 2751 29922 0 -1 0 26409 276 1 0 8212 17 0 1 18 0 9 0 1548327686 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2751/statm: 216733 18405 2631 9 0 211239 0
[pid=2751/tid=2752] ppid=2749 vsize=866932 CPUtime=81.94
/proc/2751/task/2752/stat : 2752 (java) R 2749 2751 29922 0 -1 64 18599 276 1 0 8181 12 0 1 25 0 9 0 1548327687 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4126761359 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2753] ppid=2749 vsize=866932 CPUtime=0.09
/proc/2751/task/2753/stat : 2753 (java) S 2749 2751 29922 0 -1 64 6387 276 0 0 6 2 0 1 16 0 9 0 1548327688 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2754] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2754/stat : 2754 (java) S 2749 2751 29922 0 -1 64 16 276 0 0 0 0 0 1 15 0 9 0 1548327688 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2755] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2755/stat : 2755 (java) S 2749 2751 29922 0 -1 64 9 276 0 0 0 0 0 1 15 0 9 0 1548327688 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2757] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2757/stat : 2757 (java) S 2749 2751 29922 0 -1 64 1 276 0 0 0 0 0 1 18 0 9 0 1548327690 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2758] ppid=2749 vsize=866932 CPUtime=0.24
/proc/2751/task/2758/stat : 2758 (java) S 2749 2751 29922 0 -1 64 589 276 0 0 23 0 0 1 16 0 9 0 1548327690 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2759] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2759/stat : 2759 (java) S 2749 2751 29922 0 -1 64 1 276 0 0 0 0 0 1 19 0 9 0 1548327691 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2760] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2760/stat : 2760 (java) S 2749 2751 29922 0 -1 64 6 276 0 0 0 0 0 1 15 0 9 0 1548327691 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 82.3
Current children cumulated vsize (KiB) 866932
[startup+84.7079 s]
/proc/loadavg: 1.92 1.62 1.73 3/82 2764
/proc/meminfo: memFree=1514336/2055920 swapFree=4121380/4192956
[pid=2751] ppid=2749 vsize=866932 CPUtime=83.89
/proc/2751/stat : 2751 (java) S 2749 2751 29922 0 -1 0 26411 276 1 0 8371 17 0 1 18 0 9 0 1548327686 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2751/statm: 216733 18405 2631 9 0 211239 0
[pid=2751/tid=2752] ppid=2749 vsize=866932 CPUtime=83.53
/proc/2751/task/2752/stat : 2752 (java) R 2749 2751 29922 0 -1 64 18601 276 1 0 8340 12 0 1 25 0 9 0 1548327687 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4126821761 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2753] ppid=2749 vsize=866932 CPUtime=0.09
/proc/2751/task/2753/stat : 2753 (java) S 2749 2751 29922 0 -1 64 6387 276 0 0 6 2 0 1 16 0 9 0 1548327688 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2754] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2754/stat : 2754 (java) S 2749 2751 29922 0 -1 64 16 276 0 0 0 0 0 1 15 0 9 0 1548327688 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2755] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2755/stat : 2755 (java) S 2749 2751 29922 0 -1 64 9 276 0 0 0 0 0 1 15 0 9 0 1548327688 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2757] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2757/stat : 2757 (java) S 2749 2751 29922 0 -1 64 1 276 0 0 0 0 0 1 18 0 9 0 1548327690 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2758] ppid=2749 vsize=866932 CPUtime=0.24
/proc/2751/task/2758/stat : 2758 (java) S 2749 2751 29922 0 -1 64 589 276 0 0 23 0 0 1 16 0 9 0 1548327690 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2759] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2759/stat : 2759 (java) S 2749 2751 29922 0 -1 64 1 276 0 0 0 0 0 1 19 0 9 0 1548327691 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2760] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2760/stat : 2760 (java) S 2749 2751 29922 0 -1 64 6 276 0 0 0 0 0 1 15 0 9 0 1548327691 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 83.89
Current children cumulated vsize (KiB) 866932
[startup+85.503 s]
/proc/loadavg: 1.92 1.62 1.73 3/82 2764
/proc/meminfo: memFree=1514336/2055920 swapFree=4121380/4192956
[pid=2751] ppid=2749 vsize=866932 CPUtime=84.68
/proc/2751/stat : 2751 (java) S 2749 2751 29922 0 -1 0 26411 276 1 0 8450 17 0 1 18 0 9 0 1548327686 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2751/statm: 216733 18405 2631 9 0 211239 0
[pid=2751/tid=2752] ppid=2749 vsize=866932 CPUtime=84.32
/proc/2751/task/2752/stat : 2752 (java) R 2749 2751 29922 0 -1 64 18601 276 1 0 8419 12 0 1 25 0 9 0 1548327687 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4126761538 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2753] ppid=2749 vsize=866932 CPUtime=0.09
/proc/2751/task/2753/stat : 2753 (java) S 2749 2751 29922 0 -1 64 6387 276 0 0 6 2 0 1 16 0 9 0 1548327688 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2754] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2754/stat : 2754 (java) S 2749 2751 29922 0 -1 64 16 276 0 0 0 0 0 1 15 0 9 0 1548327688 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2755] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2755/stat : 2755 (java) S 2749 2751 29922 0 -1 64 9 276 0 0 0 0 0 1 15 0 9 0 1548327688 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2757] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2757/stat : 2757 (java) S 2749 2751 29922 0 -1 64 1 276 0 0 0 0 0 1 18 0 9 0 1548327690 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2758] ppid=2749 vsize=866932 CPUtime=0.24
/proc/2751/task/2758/stat : 2758 (java) S 2749 2751 29922 0 -1 64 589 276 0 0 23 0 0 1 16 0 9 0 1548327690 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2759] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2759/stat : 2759 (java) S 2749 2751 29922 0 -1 64 1 276 0 0 0 0 0 1 19 0 9 0 1548327691 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2760] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2760/stat : 2760 (java) S 2749 2751 29922 0 -1 64 6 276 0 0 0 0 0 1 15 0 9 0 1548327691 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 84.68
Current children cumulated vsize (KiB) 866932
[startup+85.9021 s]
/proc/loadavg: 1.92 1.62 1.73 3/82 2764
/proc/meminfo: memFree=1514336/2055920 swapFree=4121380/4192956
[pid=2751] ppid=2749 vsize=866932 CPUtime=85.07
/proc/2751/stat : 2751 (java) S 2749 2751 29922 0 -1 0 26412 276 1 0 8489 17 0 1 18 0 9 0 1548327686 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2751/statm: 216733 18405 2631 9 0 211239 0
[pid=2751/tid=2752] ppid=2749 vsize=866932 CPUtime=84.72
/proc/2751/task/2752/stat : 2752 (java) R 2749 2751 29922 0 -1 64 18602 276 1 0 8459 12 0 1 25 0 9 0 1548327687 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4126761538 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2753] ppid=2749 vsize=866932 CPUtime=0.09
/proc/2751/task/2753/stat : 2753 (java) S 2749 2751 29922 0 -1 64 6387 276 0 0 6 2 0 1 16 0 9 0 1548327688 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2754] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2754/stat : 2754 (java) S 2749 2751 29922 0 -1 64 16 276 0 0 0 0 0 1 15 0 9 0 1548327688 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2755] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2755/stat : 2755 (java) S 2749 2751 29922 0 -1 64 9 276 0 0 0 0 0 1 15 0 9 0 1548327688 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2757] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2757/stat : 2757 (java) S 2749 2751 29922 0 -1 64 1 276 0 0 0 0 0 1 18 0 9 0 1548327690 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2758] ppid=2749 vsize=866932 CPUtime=0.24
/proc/2751/task/2758/stat : 2758 (java) S 2749 2751 29922 0 -1 64 589 276 0 0 23 0 0 1 16 0 9 0 1548327690 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2759] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2759/stat : 2759 (java) S 2749 2751 29922 0 -1 64 1 276 0 0 0 0 0 1 19 0 9 0 1548327691 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2760] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2760/stat : 2760 (java) S 2749 2751 29922 0 -1 64 6 276 0 0 0 0 0 1 15 0 9 0 1548327691 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 85.07
Current children cumulated vsize (KiB) 866932
[startup+86.3021 s]
/proc/loadavg: 1.92 1.62 1.73 3/82 2764
/proc/meminfo: memFree=1514336/2055920 swapFree=4121380/4192956
[pid=2751] ppid=2749 vsize=866932 CPUtime=85.47
/proc/2751/stat : 2751 (java) S 2749 2751 29922 0 -1 0 26412 276 1 0 8529 17 0 1 18 0 9 0 1548327686 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2751/statm: 216733 18405 2631 9 0 211239 0
[pid=2751/tid=2752] ppid=2749 vsize=866932 CPUtime=85.11
/proc/2751/task/2752/stat : 2752 (java) R 2749 2751 29922 0 -1 64 18602 276 1 0 8498 12 0 1 25 0 9 0 1548327687 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4126761558 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2753] ppid=2749 vsize=866932 CPUtime=0.09
/proc/2751/task/2753/stat : 2753 (java) S 2749 2751 29922 0 -1 64 6387 276 0 0 6 2 0 1 16 0 9 0 1548327688 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2754] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2754/stat : 2754 (java) S 2749 2751 29922 0 -1 64 16 276 0 0 0 0 0 1 15 0 9 0 1548327688 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2755] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2755/stat : 2755 (java) S 2749 2751 29922 0 -1 64 9 276 0 0 0 0 0 1 15 0 9 0 1548327688 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2757] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2757/stat : 2757 (java) S 2749 2751 29922 0 -1 64 1 276 0 0 0 0 0 1 18 0 9 0 1548327690 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2758] ppid=2749 vsize=866932 CPUtime=0.24
/proc/2751/task/2758/stat : 2758 (java) S 2749 2751 29922 0 -1 64 589 276 0 0 23 0 0 1 16 0 9 0 1548327690 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2759] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2759/stat : 2759 (java) S 2749 2751 29922 0 -1 64 1 276 0 0 0 0 0 1 19 0 9 0 1548327691 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2751/tid=2760] ppid=2749 vsize=866932 CPUtime=0.01
/proc/2751/task/2760/stat : 2760 (java) S 2749 2751 29922 0 -1 64 6 276 0 0 0 0 0 1 15 0 9 0 1548327691 887738368 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 85.47
Current children cumulated vsize (KiB) 866932
Child status: 0
Real time (s): 86.3808
CPU time (s): 85.533
CPU user time (s): 85.329
CPU system time (s): 0.203968
CPU usage (%): 99.0185
Max. virtual memory (cumulated for all children) (KiB): 866976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 85.329
system time used= 0.203968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26817
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= 2835
involuntary context switches= 4731
runsolver used 0.155976 second user time and 0.250961 second system time
The end
Begin job on node14 at 2008-07-04 17:48:56
IDJOB=1076337
IDBENCH=56582
IDSOLVER=363
FILE ID=node14/1076337-1215186536
PBS_JOBID= 7881442
Free space on /tmp= 66472 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/ogdVg/normalized-crossword-m1c-ogd-vg8-8_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1076337-1215186536/watcher-1076337-1215186536 -o /tmp/evaluation-result-1076337-1215186536/solver-1076337-1215186536 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1076337-1215186536.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 34494afd1f551fdba706a85e20b0d836
RANDOM SEED=78439067
node14.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.267
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 : 5931.00
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.267
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: 1578704 kB
Buffers: 54240 kB
Cached: 225944 kB
SwapCached: 65664 kB
Active: 301228 kB
Inactive: 118012 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1578704 kB
SwapTotal: 4192956 kB
SwapFree: 4121380 kB
Dirty: 18876 kB
Writeback: 0 kB
Mapped: 146428 kB
Slab: 42932 kB
Committed_AS: 3105924 kB
PageTables: 2092 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= 66468 MiB
End job on node14 at 2008-07-04 17:50:23