0.05/0.08
0.05/0.08 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=esac.xml
0.19/0.27
0.19/0.27 instance
0.19/0.27 name=HOME/instance-1080173-1215212196.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.34 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20 nbTotalValues=400
0.29/0.34 => wckTime=0.099 cpuTime=0.1 mem=7M919
0.29/0.34
0.29/0.34 relations being loaded...
0.48/0.56
0.48/0.56 constraints being loaded...
0.68/0.77 nbConstraints=57 nbRelationTypes=57 nbGlobalConstraints=57 nbExtensionStructures=57
0.68/0.77 nbSharedExtensionStructures=0 nbConflictsStructures=57 nbSharedConflictsStructures=0
0.68/0.77 nbSharedBinaryRepresentations=0 minDegree=3 maxDegree=16 minArity=3 maxArity=3 nbGenerators=0 nbFusions=0
0.68/0.77 symmetryWckTime=0.039 symmetryCpuTime=0.03
0.68/0.77 => wckTime=0.524 cpuTime=0.46 mem=45M512
0.78/0.88
0.78/0.88 solver IterativeSystematicSolver being built...
0.88/0.94
0.88/0.95 INFO : Forward propagation technique limited
0.97/1.02 => wckTime=0.78 cpuTime=0.58 mem=29M15
1.09/1.16
1.09/1.16 preprocessing
1.09/1.16 nbConstraintChecks=0 nbValidityChecks=1267183 nbPropagations=184 nbRevisions=0 nbUselessRevisions=0
1.09/1.16 nbSingletonTests=28 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
1.09/1.16 detectedInconsistency=no
1.09/1.16 => wckTime=0.134 cpuTime=0.11 mem=29M15
1.77/1.89
1.77/1.89 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=30M61)
260.75/263.03
260.75/263.03 search
260.75/263.03 run=20 nbConstraintChecks=1300781 nbValidityChecks=3576075461 minDepth=0 maxDepth=9 nbPropagations=5002750
260.75/263.03 nbRevisions=0 nbUselessRevisions=0 nbAssignments=135178 nbFailedAssignments=88840 nbInferredBacktracks=2
260.75/263.03 nbBacktracks=46252 nbVisitedNodes=255825 nbRestartNogoods=283 nbSEliminables=0.12 nbREliminables=3.42
260.75/263.03 nbIEliminables=11.37 nbDEliminables=0 nbPEliminables=0
260.75/263.03 => wckTime=262.008 cpuTime=259.68 mem=33M850
260.75/263.03
260.75/263.03 global
260.75/263.03 nbConstraintChecks=1300781 nbValidityChecks=3577342644 nbPropagations=5002934 nbRestartNogoods=283
260.75/263.03 solvingWckTime=262.011 solvingCpuTime=259.68 expiredTime=no totalExploration=yes nbFoundSolutions=0
260.75/263.03 globalCpuTime=260.29
260.75/263.03 => wckTime=262.792 cpuTime=260.26 mem=33M850
260.75/263.03
260.75/263.03 s UNSATISFIABLE
260.75/263.03 d NODES 135178
260.75/263.04 d CHECKS 1300781
260.75/263.04
260.75/263.04 totalWckTime=262.858 totalCpuTime=260.29
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1080173-1215212196/watcher-1080173-1215212196 -o /tmp/evaluation-result-1080173-1215212196/solver-1080173-1215212196 -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-1080173-1215212196.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.92 1.99 1.99 4/72 12655
/proc/meminfo: memFree=1777680/2055920 swapFree=4179828/4192956
[pid=12655] ppid=12653 vsize=1616 CPUtime=0
/proc/12655/stat : 12655 (java) D 12653 12655 12618 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 2000193121 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/12655/statm: 404 145 119 9 0 46 0
[startup+0.0665121 s]
/proc/loadavg: 1.92 1.99 1.99 4/72 12655
/proc/meminfo: memFree=1777680/2055920 swapFree=4179828/4192956
[pid=12655] ppid=12653 vsize=865856 CPUtime=0.05
/proc/12655/stat : 12655 (java) S 12653 12655 12618 0 -1 0 2912 0 1 0 4 1 0 0 18 0 9 0 2000193121 886636544 2438 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12655/statm: 216464 2443 1184 9 0 211026 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 865856
[startup+0.102517 s]
/proc/loadavg: 1.92 1.99 1.99 4/72 12655
/proc/meminfo: memFree=1777680/2055920 swapFree=4179828/4192956
[pid=12655] ppid=12653 vsize=865884 CPUtime=0.09
/proc/12655/stat : 12655 (java) S 12653 12655 12618 0 -1 0 3742 0 1 0 7 2 0 0 18 0 9 0 2000193121 886665216 3205 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12655/statm: 216471 3205 1697 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.301546 s]
/proc/loadavg: 1.92 1.99 1.99 4/72 12655
/proc/meminfo: memFree=1777680/2055920 swapFree=4179828/4192956
[pid=12655] ppid=12653 vsize=866284 CPUtime=0.29
/proc/12655/stat : 12655 (java) S 12653 12655 12618 0 -1 0 5995 0 1 0 25 4 0 0 18 0 9 0 2000193121 887074816 5369 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12655/statm: 216571 5369 1956 9 0 211099 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866284
[startup+0.702609 s]
/proc/loadavg: 1.92 1.99 1.99 4/72 12655
/proc/meminfo: memFree=1777680/2055920 swapFree=4179828/4192956
[pid=12655] ppid=12653 vsize=866520 CPUtime=0.68
/proc/12655/stat : 12655 (java) S 12653 12655 12618 0 -1 0 14458 0 1 0 61 7 0 0 18 0 9 0 2000193121 887316480 13818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12655/statm: 216630 13819 1977 9 0 211158 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866520
[startup+1.50174 s]
/proc/loadavg: 1.92 1.99 1.99 5/83 12668
/proc/meminfo: memFree=1714480/2055920 swapFree=4179828/4192956
[pid=12655] ppid=12653 vsize=866932 CPUtime=1.47
/proc/12655/stat : 12655 (java) S 12653 12655 12618 0 -1 0 27291 270 1 0 135 11 0 1 18 0 9 0 2000193121 887738368 18369 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12655/statm: 216733 18369 2631 9 0 211239 0
[pid=12655/tid=12657] ppid=12653 vsize=866932 CPUtime=1.18
/proc/12655/task/12657/stat : 12657 (java) R 12653 12655 12618 0 -1 64 18802 270 1 0 110 7 0 1 20 0 9 0 2000193122 887738368 18369 996147200 134512640 134550740 4294955968 18446744073709551615 4126755650 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12658] ppid=12653 vsize=866932 CPUtime=0.1
/proc/12655/task/12658/stat : 12658 (java) S 12653 12655 12618 0 -1 64 7149 270 0 0 8 1 0 1 17 0 9 0 2000193123 887738368 18369 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12659] ppid=12653 vsize=866932 CPUtime=0.01
/proc/12655/task/12659/stat : 12659 (java) S 12653 12655 12618 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 2000193124 887738368 18369 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12660] ppid=12653 vsize=866932 CPUtime=0.01
/proc/12655/task/12660/stat : 12660 (java) S 12653 12655 12618 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 2000193124 887738368 18369 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12661] ppid=12653 vsize=866932 CPUtime=0.01
/proc/12655/task/12661/stat : 12661 (java) S 12653 12655 12618 0 -1 64 1 270 0 0 0 0 0 1 23 0 9 0 2000193125 887738368 18369 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12662] ppid=12653 vsize=866932 CPUtime=0.17
/proc/12655/task/12662/stat : 12662 (java) S 12653 12655 12618 0 -1 64 505 270 0 0 16 0 0 1 15 0 9 0 2000193126 887738368 18369 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12663] ppid=12653 vsize=866932 CPUtime=0.01
/proc/12655/task/12663/stat : 12663 (java) S 12653 12655 12618 0 -1 64 1 270 0 0 0 0 0 1 24 0 9 0 2000193126 887738368 18369 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12664] ppid=12653 vsize=866932 CPUtime=0.01
/proc/12655/task/12664/stat : 12664 (java) S 12653 12655 12618 0 -1 64 2 270 0 0 0 0 0 1 15 0 9 0 2000193126 887738368 18369 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 866932
[startup+3.10199 s]
/proc/loadavg: 1.93 1.99 1.99 3/81 12668
/proc/meminfo: memFree=1714040/2055920 swapFree=4179828/4192956
[pid=12655] ppid=12653 vsize=866932 CPUtime=3.06
/proc/12655/stat : 12655 (java) S 12653 12655 12618 0 -1 0 27313 270 1 0 294 11 0 1 18 0 9 0 2000193121 887738368 18379 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12655/statm: 216733 18379 2631 9 0 211239 0
[pid=12655/tid=12657] ppid=12653 vsize=866932 CPUtime=2.76
/proc/12655/task/12657/stat : 12657 (java) R 12653 12655 12618 0 -1 64 18812 270 1 0 267 8 0 1 25 0 9 0 2000193122 887738368 18379 996147200 134512640 134550740 4294955968 18446744073709551615 4126755497 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12658] ppid=12653 vsize=866932 CPUtime=0.1
/proc/12655/task/12658/stat : 12658 (java) S 12653 12655 12618 0 -1 64 7149 270 0 0 8 1 0 1 17 0 9 0 2000193123 887738368 18379 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12659] ppid=12653 vsize=866932 CPUtime=0.01
/proc/12655/task/12659/stat : 12659 (java) S 12653 12655 12618 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 2000193124 887738368 18379 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12660] ppid=12653 vsize=866932 CPUtime=0.01
/proc/12655/task/12660/stat : 12660 (java) S 12653 12655 12618 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 2000193124 887738368 18379 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12661] ppid=12653 vsize=866932 CPUtime=0.01
/proc/12655/task/12661/stat : 12661 (java) S 12653 12655 12618 0 -1 64 1 270 0 0 0 0 0 1 23 0 9 0 2000193125 887738368 18379 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12662] ppid=12653 vsize=866932 CPUtime=0.18
/proc/12655/task/12662/stat : 12662 (java) S 12653 12655 12618 0 -1 64 517 270 0 0 17 0 0 1 15 0 9 0 2000193126 887738368 18379 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12663] ppid=12653 vsize=866932 CPUtime=0.01
/proc/12655/task/12663/stat : 12663 (java) S 12653 12655 12618 0 -1 64 1 270 0 0 0 0 0 1 24 0 9 0 2000193126 887738368 18379 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12664] ppid=12653 vsize=866932 CPUtime=0.01
/proc/12655/task/12664/stat : 12664 (java) S 12653 12655 12618 0 -1 64 2 270 0 0 0 0 0 1 15 0 9 0 2000193126 887738368 18379 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 866932
[startup+6.30149 s]
/proc/loadavg: 1.93 1.99 1.99 3/81 12668
/proc/meminfo: memFree=1713848/2055920 swapFree=4179828/4192956
[pid=12655] ppid=12653 vsize=867064 CPUtime=6.23
/proc/12655/stat : 12655 (java) S 12653 12655 12618 0 -1 0 27342 270 1 0 611 11 0 1 18 0 9 0 2000193121 887873536 18393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12655/statm: 216766 18393 2631 9 0 211272 0
[pid=12655/tid=12657] ppid=12653 vsize=867064 CPUtime=5.91
/proc/12655/task/12657/stat : 12657 (java) R 12653 12655 12618 0 -1 64 18825 270 1 0 582 8 0 1 17 0 9 0 2000193122 887873536 18393 996147200 134512640 134550740 4294955968 18446744073709551615 4126755660 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12658] ppid=12653 vsize=867064 CPUtime=0.1
/proc/12655/task/12658/stat : 12658 (java) S 12653 12655 12618 0 -1 64 7149 270 0 0 8 1 0 1 16 0 9 0 2000193123 887873536 18393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12659] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12659/stat : 12659 (java) S 12653 12655 12618 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 2000193124 887873536 18393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12660] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12660/stat : 12660 (java) S 12653 12655 12618 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 2000193124 887873536 18393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12661] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12661/stat : 12661 (java) S 12653 12655 12618 0 -1 64 1 270 0 0 0 0 0 1 23 0 9 0 2000193125 887873536 18393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12662] ppid=12653 vsize=867064 CPUtime=0.21
/proc/12655/task/12662/stat : 12662 (java) S 12653 12655 12618 0 -1 64 533 270 0 0 20 0 0 1 15 0 9 0 2000193126 887873536 18393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12663] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12663/stat : 12663 (java) S 12653 12655 12618 0 -1 64 1 270 0 0 0 0 0 1 24 0 9 0 2000193126 887873536 18393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12664] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12664/stat : 12664 (java) S 12653 12655 12618 0 -1 64 2 270 0 0 0 0 0 1 15 0 9 0 2000193126 887873536 18393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867064
[startup+12.7015 s]
/proc/loadavg: 1.94 1.99 1.99 3/81 12668
/proc/meminfo: memFree=1713656/2055920 swapFree=4179828/4192956
[pid=12655] ppid=12653 vsize=867064 CPUtime=12.57
/proc/12655/stat : 12655 (java) S 12653 12655 12618 0 -1 0 27361 270 1 0 1245 11 0 1 18 0 9 0 2000193121 887873536 18396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12655/statm: 216766 18396 2631 9 0 211272 0
[pid=12655/tid=12657] ppid=12653 vsize=867064 CPUtime=12.25
/proc/12655/task/12657/stat : 12657 (java) R 12653 12655 12618 0 -1 64 18839 270 1 0 1216 8 0 1 25 0 9 0 2000193122 887873536 18396 996147200 134512640 134550740 4294955968 18446744073709551615 4126779678 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12658] ppid=12653 vsize=867064 CPUtime=0.1
/proc/12655/task/12658/stat : 12658 (java) S 12653 12655 12618 0 -1 64 7149 270 0 0 8 1 0 1 16 0 9 0 2000193123 887873536 18396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12659] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12659/stat : 12659 (java) S 12653 12655 12618 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 2000193124 887873536 18396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12660] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12660/stat : 12660 (java) S 12653 12655 12618 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 2000193124 887873536 18396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12661] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12661/stat : 12661 (java) S 12653 12655 12618 0 -1 64 1 270 0 0 0 0 0 1 23 0 9 0 2000193125 887873536 18396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12662] ppid=12653 vsize=867064 CPUtime=0.21
/proc/12655/task/12662/stat : 12662 (java) S 12653 12655 12618 0 -1 64 538 270 0 0 20 0 0 1 15 0 9 0 2000193126 887873536 18396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12663] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12663/stat : 12663 (java) S 12653 12655 12618 0 -1 64 1 270 0 0 0 0 0 1 24 0 9 0 2000193126 887873536 18396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12664] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12664/stat : 12664 (java) S 12653 12655 12618 0 -1 64 2 270 0 0 0 0 0 1 15 0 9 0 2000193126 887873536 18396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867064
[startup+25.5025 s]
/proc/loadavg: 1.95 1.99 1.99 3/81 12668
/proc/meminfo: memFree=1713664/2055920 swapFree=4179828/4192956
[pid=12655] ppid=12653 vsize=867064 CPUtime=25.26
/proc/12655/stat : 12655 (java) S 12653 12655 12618 0 -1 0 27393 270 1 0 2514 11 0 1 18 0 9 0 2000193121 887873536 18396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12655/statm: 216766 18396 2631 9 0 211272 0
[pid=12655/tid=12657] ppid=12653 vsize=867064 CPUtime=24.94
/proc/12655/task/12657/stat : 12657 (java) R 12653 12655 12618 0 -1 64 18871 270 1 0 2485 8 0 1 25 0 9 0 2000193122 887873536 18396 996147200 134512640 134550740 4294955968 18446744073709551615 4126755493 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12658] ppid=12653 vsize=867064 CPUtime=0.1
/proc/12655/task/12658/stat : 12658 (java) S 12653 12655 12618 0 -1 64 7149 270 0 0 8 1 0 1 16 0 9 0 2000193123 887873536 18396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12659] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12659/stat : 12659 (java) S 12653 12655 12618 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 2000193124 887873536 18396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12660] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12660/stat : 12660 (java) S 12653 12655 12618 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 2000193124 887873536 18396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12661] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12661/stat : 12661 (java) S 12653 12655 12618 0 -1 64 1 270 0 0 0 0 0 1 23 0 9 0 2000193125 887873536 18396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12662] ppid=12653 vsize=867064 CPUtime=0.21
/proc/12655/task/12662/stat : 12662 (java) S 12653 12655 12618 0 -1 64 538 270 0 0 20 0 0 1 16 0 9 0 2000193126 887873536 18396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12663] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12663/stat : 12663 (java) S 12653 12655 12618 0 -1 64 1 270 0 0 0 0 0 1 24 0 9 0 2000193126 887873536 18396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12664] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12664/stat : 12664 (java) S 12653 12655 12618 0 -1 64 2 270 0 0 0 0 0 1 15 0 9 0 2000193126 887873536 18396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 867064
[startup+51.1024 s]
/proc/loadavg: 1.96 1.99 1.99 3/81 12668
/proc/meminfo: memFree=1713600/2055920 swapFree=4179828/4192956
[pid=12655] ppid=12653 vsize=867064 CPUtime=50.64
/proc/12655/stat : 12655 (java) S 12653 12655 12618 0 -1 0 27452 270 1 0 5052 11 0 1 18 0 9 0 2000193121 887873536 18396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12655/statm: 216766 18396 2631 9 0 211272 0
[pid=12655/tid=12657] ppid=12653 vsize=867064 CPUtime=50.31
/proc/12655/task/12657/stat : 12657 (java) R 12653 12655 12618 0 -1 64 18930 270 1 0 5022 8 0 1 25 0 9 0 2000193122 887873536 18396 996147200 134512640 134550740 4294955968 18446744073709551615 4126755467 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12658] ppid=12653 vsize=867064 CPUtime=0.1
/proc/12655/task/12658/stat : 12658 (java) S 12653 12655 12618 0 -1 64 7149 270 0 0 8 1 0 1 16 0 9 0 2000193123 887873536 18396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12659] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12659/stat : 12659 (java) S 12653 12655 12618 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 2000193124 887873536 18396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12660] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12660/stat : 12660 (java) S 12653 12655 12618 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 2000193124 887873536 18396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12661] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12661/stat : 12661 (java) S 12653 12655 12618 0 -1 64 1 270 0 0 0 0 0 1 23 0 9 0 2000193125 887873536 18396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12662] ppid=12653 vsize=867064 CPUtime=0.21
/proc/12655/task/12662/stat : 12662 (java) S 12653 12655 12618 0 -1 64 538 270 0 0 20 0 0 1 16 0 9 0 2000193126 887873536 18396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12663] ppid=12653 vsize=867064 CPUtime=0.01
################
# More data... #
################
/proc/12655/stat : 12655 (java) S 12653 12655 12618 0 -1 0 27910 270 1 0 25358 12 0 1 18 0 9 0 2000193121 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12655/statm: 216766 18397 2631 9 0 211272 0
[pid=12655/tid=12657] ppid=12653 vsize=867064 CPUtime=253.38
/proc/12655/task/12657/stat : 12657 (java) R 12653 12655 12618 0 -1 64 19387 270 1 0 25328 9 0 1 25 0 9 0 2000193122 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4126755564 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12658] ppid=12653 vsize=867064 CPUtime=0.1
/proc/12655/task/12658/stat : 12658 (java) S 12653 12655 12618 0 -1 64 7149 270 0 0 8 1 0 1 16 0 9 0 2000193123 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12659] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12659/stat : 12659 (java) S 12653 12655 12618 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 2000193124 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12660] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12660/stat : 12660 (java) S 12653 12655 12618 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 2000193124 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12661] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12661/stat : 12661 (java) S 12653 12655 12618 0 -1 64 1 270 0 0 0 0 0 1 23 0 9 0 2000193125 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12662] ppid=12653 vsize=867064 CPUtime=0.22
/proc/12655/task/12662/stat : 12662 (java) S 12653 12655 12618 0 -1 64 539 270 0 0 21 0 0 1 17 0 9 0 2000193126 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12663] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12663/stat : 12663 (java) S 12653 12655 12618 0 -1 64 1 270 0 0 0 0 0 1 24 0 9 0 2000193126 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12664] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12664/stat : 12664 (java) S 12653 12655 12618 0 -1 64 2 270 0 0 0 0 0 1 15 0 9 0 2000193126 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 253.71
Current children cumulated vsize (KiB) 867064
[startup+259.103 s]
/proc/loadavg: 1.99 1.99 1.99 3/81 12668
/proc/meminfo: memFree=1713408/2055920 swapFree=4179828/4192956
[pid=12655] ppid=12653 vsize=867064 CPUtime=256.88
/proc/12655/stat : 12655 (java) S 12653 12655 12618 0 -1 0 27910 270 1 0 25675 12 0 1 18 0 9 0 2000193121 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12655/statm: 216766 18397 2631 9 0 211272 0
[pid=12655/tid=12657] ppid=12653 vsize=867064 CPUtime=256.55
/proc/12655/task/12657/stat : 12657 (java) R 12653 12655 12618 0 -1 64 19387 270 1 0 25645 9 0 1 25 0 9 0 2000193122 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4126755583 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12658] ppid=12653 vsize=867064 CPUtime=0.1
/proc/12655/task/12658/stat : 12658 (java) S 12653 12655 12618 0 -1 64 7149 270 0 0 8 1 0 1 16 0 9 0 2000193123 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12659] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12659/stat : 12659 (java) S 12653 12655 12618 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 2000193124 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12660] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12660/stat : 12660 (java) S 12653 12655 12618 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 2000193124 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12661] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12661/stat : 12661 (java) S 12653 12655 12618 0 -1 64 1 270 0 0 0 0 0 1 23 0 9 0 2000193125 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12662] ppid=12653 vsize=867064 CPUtime=0.22
/proc/12655/task/12662/stat : 12662 (java) S 12653 12655 12618 0 -1 64 539 270 0 0 21 0 0 1 17 0 9 0 2000193126 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12663] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12663/stat : 12663 (java) S 12653 12655 12618 0 -1 64 1 270 0 0 0 0 0 1 24 0 9 0 2000193126 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12664] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12664/stat : 12664 (java) S 12653 12655 12618 0 -1 64 2 270 0 0 0 0 0 1 15 0 9 0 2000193126 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 256.88
Current children cumulated vsize (KiB) 867064
[startup+260.707 s]
/proc/loadavg: 1.99 1.99 1.99 3/81 12668
/proc/meminfo: memFree=1713408/2055920 swapFree=4179828/4192956
[pid=12655] ppid=12653 vsize=867064 CPUtime=258.47
/proc/12655/stat : 12655 (java) S 12653 12655 12618 0 -1 0 27910 270 1 0 25834 12 0 1 18 0 9 0 2000193121 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12655/statm: 216766 18397 2631 9 0 211272 0
[pid=12655/tid=12657] ppid=12653 vsize=867064 CPUtime=258.14
/proc/12655/task/12657/stat : 12657 (java) R 12653 12655 12618 0 -1 64 19387 270 1 0 25804 9 0 1 25 0 9 0 2000193122 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4126755624 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12658] ppid=12653 vsize=867064 CPUtime=0.1
/proc/12655/task/12658/stat : 12658 (java) S 12653 12655 12618 0 -1 64 7149 270 0 0 8 1 0 1 16 0 9 0 2000193123 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12659] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12659/stat : 12659 (java) S 12653 12655 12618 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 2000193124 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12660] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12660/stat : 12660 (java) S 12653 12655 12618 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 2000193124 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12661] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12661/stat : 12661 (java) S 12653 12655 12618 0 -1 64 1 270 0 0 0 0 0 1 23 0 9 0 2000193125 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12662] ppid=12653 vsize=867064 CPUtime=0.22
/proc/12655/task/12662/stat : 12662 (java) S 12653 12655 12618 0 -1 64 539 270 0 0 21 0 0 1 17 0 9 0 2000193126 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12663] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12663/stat : 12663 (java) S 12653 12655 12618 0 -1 64 1 270 0 0 0 0 0 1 24 0 9 0 2000193126 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12664] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12664/stat : 12664 (java) S 12653 12655 12618 0 -1 64 2 270 0 0 0 0 0 1 15 0 9 0 2000193126 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 258.47
Current children cumulated vsize (KiB) 867064
[startup+262.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/81 12668
/proc/meminfo: memFree=1713408/2055920 swapFree=4179828/4192956
[pid=12655] ppid=12653 vsize=867064 CPUtime=260.05
/proc/12655/stat : 12655 (java) S 12653 12655 12618 0 -1 0 27914 270 1 0 25992 12 0 1 18 0 9 0 2000193121 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12655/statm: 216766 18397 2631 9 0 211272 0
[pid=12655/tid=12657] ppid=12653 vsize=867064 CPUtime=259.72
/proc/12655/task/12657/stat : 12657 (java) R 12653 12655 12618 0 -1 64 19391 270 1 0 25962 9 0 1 25 0 9 0 2000193122 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4126793873 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12658] ppid=12653 vsize=867064 CPUtime=0.1
/proc/12655/task/12658/stat : 12658 (java) S 12653 12655 12618 0 -1 64 7149 270 0 0 8 1 0 1 16 0 9 0 2000193123 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12659] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12659/stat : 12659 (java) S 12653 12655 12618 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 2000193124 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12660] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12660/stat : 12660 (java) S 12653 12655 12618 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 2000193124 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12661] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12661/stat : 12661 (java) S 12653 12655 12618 0 -1 64 1 270 0 0 0 0 0 1 23 0 9 0 2000193125 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12662] ppid=12653 vsize=867064 CPUtime=0.22
/proc/12655/task/12662/stat : 12662 (java) S 12653 12655 12618 0 -1 64 539 270 0 0 21 0 0 1 17 0 9 0 2000193126 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12663] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12663/stat : 12663 (java) S 12653 12655 12618 0 -1 64 1 270 0 0 0 0 0 1 24 0 9 0 2000193126 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12664] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12664/stat : 12664 (java) S 12653 12655 12618 0 -1 64 2 270 0 0 0 0 0 1 15 0 9 0 2000193126 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 260.05
Current children cumulated vsize (KiB) 867064
[startup+262.702 s]
/proc/loadavg: 1.99 1.99 1.99 3/81 12668
/proc/meminfo: memFree=1713408/2055920 swapFree=4179828/4192956
[pid=12655] ppid=12653 vsize=867064 CPUtime=260.45
/proc/12655/stat : 12655 (java) S 12653 12655 12618 0 -1 0 27915 270 1 0 26032 12 0 1 18 0 9 0 2000193121 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12655/statm: 216766 18397 2631 9 0 211272 0
[pid=12655/tid=12657] ppid=12653 vsize=867064 CPUtime=260.12
/proc/12655/task/12657/stat : 12657 (java) R 12653 12655 12618 0 -1 64 19392 270 1 0 26002 9 0 1 25 0 9 0 2000193122 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4126735371 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12658] ppid=12653 vsize=867064 CPUtime=0.1
/proc/12655/task/12658/stat : 12658 (java) S 12653 12655 12618 0 -1 64 7149 270 0 0 8 1 0 1 16 0 9 0 2000193123 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12659] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12659/stat : 12659 (java) S 12653 12655 12618 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 2000193124 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12660] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12660/stat : 12660 (java) S 12653 12655 12618 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 2000193124 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12661] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12661/stat : 12661 (java) S 12653 12655 12618 0 -1 64 1 270 0 0 0 0 0 1 23 0 9 0 2000193125 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12662] ppid=12653 vsize=867064 CPUtime=0.22
/proc/12655/task/12662/stat : 12662 (java) S 12653 12655 12618 0 -1 64 539 270 0 0 21 0 0 1 17 0 9 0 2000193126 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12663] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12663/stat : 12663 (java) S 12653 12655 12618 0 -1 64 1 270 0 0 0 0 0 1 24 0 9 0 2000193126 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12664] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12664/stat : 12664 (java) S 12653 12655 12618 0 -1 64 2 270 0 0 0 0 0 1 15 0 9 0 2000193126 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 260.45
Current children cumulated vsize (KiB) 867064
[startup+262.906 s]
/proc/loadavg: 1.99 1.99 1.99 3/81 12668
/proc/meminfo: memFree=1713408/2055920 swapFree=4179828/4192956
[pid=12655] ppid=12653 vsize=867064 CPUtime=260.65
/proc/12655/stat : 12655 (java) S 12653 12655 12618 0 -1 0 27916 270 1 0 26052 12 0 1 18 0 9 0 2000193121 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12655/statm: 216766 18397 2631 9 0 211272 0
[pid=12655/tid=12657] ppid=12653 vsize=867064 CPUtime=260.32
/proc/12655/task/12657/stat : 12657 (java) R 12653 12655 12618 0 -1 64 19393 270 1 0 26022 9 0 1 25 0 9 0 2000193122 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4126755467 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12658] ppid=12653 vsize=867064 CPUtime=0.1
/proc/12655/task/12658/stat : 12658 (java) S 12653 12655 12618 0 -1 64 7149 270 0 0 8 1 0 1 16 0 9 0 2000193123 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12659] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12659/stat : 12659 (java) S 12653 12655 12618 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 2000193124 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12660] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12660/stat : 12660 (java) S 12653 12655 12618 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 2000193124 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12661] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12661/stat : 12661 (java) S 12653 12655 12618 0 -1 64 1 270 0 0 0 0 0 1 23 0 9 0 2000193125 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12662] ppid=12653 vsize=867064 CPUtime=0.22
/proc/12655/task/12662/stat : 12662 (java) S 12653 12655 12618 0 -1 64 539 270 0 0 21 0 0 1 17 0 9 0 2000193126 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12663] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12663/stat : 12663 (java) S 12653 12655 12618 0 -1 64 1 270 0 0 0 0 0 1 24 0 9 0 2000193126 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12664] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12664/stat : 12664 (java) S 12653 12655 12618 0 -1 64 2 270 0 0 0 0 0 1 15 0 9 0 2000193126 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 260.65
Current children cumulated vsize (KiB) 867064
[startup+263.002 s]
/proc/loadavg: 1.99 1.99 1.99 3/81 12668
/proc/meminfo: memFree=1713408/2055920 swapFree=4179828/4192956
[pid=12655] ppid=12653 vsize=867064 CPUtime=260.75
/proc/12655/stat : 12655 (java) S 12653 12655 12618 0 -1 0 27916 270 1 0 26062 12 0 1 18 0 9 0 2000193121 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12655/statm: 216766 18397 2631 9 0 211272 0
[pid=12655/tid=12657] ppid=12653 vsize=867064 CPUtime=260.41
/proc/12655/task/12657/stat : 12657 (java) R 12653 12655 12618 0 -1 64 19393 270 1 0 26031 9 0 1 25 0 9 0 2000193122 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4126764613 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12658] ppid=12653 vsize=867064 CPUtime=0.1
/proc/12655/task/12658/stat : 12658 (java) S 12653 12655 12618 0 -1 64 7149 270 0 0 8 1 0 1 16 0 9 0 2000193123 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12659] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12659/stat : 12659 (java) S 12653 12655 12618 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 2000193124 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12660] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12660/stat : 12660 (java) S 12653 12655 12618 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 2000193124 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12661] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12661/stat : 12661 (java) S 12653 12655 12618 0 -1 64 1 270 0 0 0 0 0 1 23 0 9 0 2000193125 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12662] ppid=12653 vsize=867064 CPUtime=0.22
/proc/12655/task/12662/stat : 12662 (java) S 12653 12655 12618 0 -1 64 539 270 0 0 21 0 0 1 17 0 9 0 2000193126 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12655/tid=12663] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12663/stat : 12663 (java) S 12653 12655 12618 0 -1 64 1 270 0 0 0 0 0 1 24 0 9 0 2000193126 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12655/tid=12664] ppid=12653 vsize=867064 CPUtime=0.01
/proc/12655/task/12664/stat : 12664 (java) S 12653 12655 12618 0 -1 64 2 270 0 0 0 0 0 1 15 0 9 0 2000193126 887873536 18397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 260.75
Current children cumulated vsize (KiB) 867064
Child status: 0
Real time (s): 263.086
CPU time (s): 260.811
CPU user time (s): 260.657
CPU system time (s): 0.153976
CPU usage (%): 99.1354
Max. virtual memory (cumulated for all children) (KiB): 867064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 260.657
system time used= 0.153976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28285
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= 6422
involuntary context switches= 6723
runsolver used 0.264959 second user time and 0.941856 second system time
The end
Begin job on node34 at 2008-07-05 00:56:36
IDJOB=1080173
IDBENCH=56939
IDSOLVER=364
FILE ID=node34/1080173-1215212196
PBS_JOBID= 7881812
Free space on /tmp= 66504 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/rand-3-20-20/normalized-rand-3-20-20-60-632-45_ext.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-1080173-1215212196/watcher-1080173-1215212196 -o /tmp/evaluation-result-1080173-1215212196/solver-1080173-1215212196 -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-1080173-1215212196.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= e796ae923cb124c016369356469dc7e4
RANDOM SEED=1649354249
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: 1778160 kB
Buffers: 28676 kB
Cached: 183600 kB
SwapCached: 6752 kB
Active: 123488 kB
Inactive: 99820 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1778160 kB
SwapTotal: 4192956 kB
SwapFree: 4179828 kB
Dirty: 3284 kB
Writeback: 0 kB
Mapped: 18412 kB
Slab: 39900 kB
Committed_AS: 3494404 kB
PageTables: 1784 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= 66500 MiB
End job on node34 at 2008-07-05 01:00:59