0.06/0.09
0.06/0.09 Abscon 112 (May, 2008)
0.18/0.26
0.18/0.26 configuration
0.18/0.26 name=mac.xml
0.28/0.30
0.28/0.30 instance
0.28/0.30 name=HOME/instance-1102968-1215300197.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.34
0.28/0.34 variables being loaded...
0.28/0.38 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80 nbTotalValues=3200
0.28/0.38 => wckTime=0.113 cpuTime=0.09 mem=7M919
0.28/0.38
0.28/0.38 relations being loaded...
0.47/0.54
0.47/0.54 constraints being loaded...
0.66/0.70 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.66/0.70 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 minDegree=2
0.66/0.70 maxDegree=10 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0 symmetryWckTime=0.04 symmetryCpuTime=0.03
0.66/0.70 => wckTime=0.432 cpuTime=0.36 mem=26M515
0.66/0.78
0.66/0.78 solver IterativeSystematicSolver being built...
0.86/0.92 => wckTime=0.657 cpuTime=0.47 mem=23M553
0.86/0.93
0.86/0.93 preprocessing
0.86/0.93 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.86/0.93 detectedInconsistency=no
0.86/0.93 => wckTime=0.0040 cpuTime=0.01 mem=23M553
1.05/1.16
1.05/1.16 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=25M441)
93.58/94.60
93.58/94.60 search
93.58/94.60 run=22 nbConstraintChecks=1050233180 minDepth=0 maxDepth=11 nbPropagations=27097747 nbRevisions=128294388
93.58/94.60 nbUselessRevisions=69666270 nbAssignments=262059 nbFailedAssignments=160628 nbInferredBacktracks=4292
93.58/94.60 nbBacktracks=101341 nbVisitedNodes=489144 nbRestartNogoods=283 nbSEliminables=5.23 nbREliminables=2.62
93.58/94.60 nbIEliminables=15.77 nbDEliminables=0 nbPEliminables=0
93.58/94.60 => wckTime=93.67 cpuTime=92.69 mem=25M441
93.58/94.60
93.58/94.60 global
93.58/94.60 nbConstraintChecks=1050233180 nbPropagations=27097787 nbRevisions=128294388 nbUselessRevisions=69666270
93.58/94.60 nbRestartNogoods=283 solvingWckTime=93.674 solvingCpuTime=92.69 expiredTime=no totalExploration=yes
93.58/94.60 nbFoundSolutions=0 globalCpuTime=93.21
93.58/94.60 => wckTime=94.334 cpuTime=93.16 mem=25M441
93.58/94.60
93.58/94.60 s UNSATISFIABLE
93.58/94.60 d NODES 262059
93.58/94.60 d CHECKS 1050233180
93.67/94.60
93.67/94.60 totalWckTime=94.407 totalCpuTime=93.22
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1102968-1215300197/watcher-1102968-1215300197 -o /tmp/evaluation-result-1102968-1215300197/solver-1102968-1215300197 -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-1102968-1215300197.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.99 1.97 1.98 3/84 7168
/proc/meminfo: memFree=1572448/2055920 swapFree=4179776/4192956
[pid=7168] ppid=7166 vsize=18572 CPUtime=0
/proc/7168/stat : 7168 (runsolver) R 7166 7168 6134 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 2008992188 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 221954764071 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/7168/statm: 4643 292 257 25 0 2626 0
[startup+0.0888251 s]
/proc/loadavg: 1.99 1.97 1.98 3/84 7168
/proc/meminfo: memFree=1572448/2055920 swapFree=4179776/4192956
[pid=7168] ppid=7166 vsize=865856 CPUtime=0.06
/proc/7168/stat : 7168 (java) S 7166 7168 6134 0 -1 0 3549 0 1 0 4 2 0 0 18 0 9 0 2008992188 886636544 3039 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7168/statm: 216464 3039 1636 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856
[startup+0.101865 s]
/proc/loadavg: 1.99 1.97 1.98 3/84 7168
/proc/meminfo: memFree=1572448/2055920 swapFree=4179776/4192956
[pid=7168] ppid=7166 vsize=865884 CPUtime=0.08
/proc/7168/stat : 7168 (java) S 7166 7168 6134 0 -1 0 3674 0 1 0 6 2 0 0 18 0 9 0 2008992188 886665216 3149 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7168/statm: 216471 3149 1681 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301844 s]
/proc/loadavg: 1.99 1.97 1.98 3/84 7168
/proc/meminfo: memFree=1572448/2055920 swapFree=4179776/4192956
[pid=7168] ppid=7166 vsize=866284 CPUtime=0.28
/proc/7168/stat : 7168 (java) S 7166 7168 6134 0 -1 0 5737 0 1 0 23 5 0 0 18 0 9 0 2008992188 887074816 5119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7168/statm: 216571 5119 1945 9 0 211099 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866284
[startup+0.701882 s]
/proc/loadavg: 1.99 1.97 1.98 3/84 7168
/proc/meminfo: memFree=1572448/2055920 swapFree=4179776/4192956
[pid=7168] ppid=7166 vsize=867168 CPUtime=0.66
/proc/7168/stat : 7168 (java) S 7166 7168 6134 0 -1 0 11493 147 1 0 58 8 0 0 18 0 10 0 2008992188 887980032 10082 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7168/statm: 216792 10082 1995 9 0 211320 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 867168
[startup+1.50295 s]
/proc/loadavg: 1.99 1.97 1.98 5/95 7181
/proc/meminfo: memFree=1533256/2055920 swapFree=4179776/4192956
[pid=7168] ppid=7166 vsize=867256 CPUtime=1.46
/proc/7168/stat : 7168 (java) S 7166 7168 6134 0 -1 0 19875 270 1 0 135 11 0 0 18 0 9 0 2008992188 888070144 12327 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7168/statm: 216814 12327 2631 9 0 211320 0
[pid=7168/tid=7170] ppid=7166 vsize=867256 CPUtime=1.17
/proc/7168/task/7170/stat : 7170 (java) R 7166 7168 6134 0 -1 64 13827 270 1 0 109 8 0 0 22 0 9 0 2008992190 888070144 12327 996147200 134512640 134550740 4294955968 18446744073709551615 4126765337 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7171] ppid=7166 vsize=867256 CPUtime=0.06
/proc/7168/task/7171/stat : 7171 (java) S 7166 7168 6134 0 -1 64 4689 270 0 0 6 0 0 0 16 0 9 0 2008992191 888070144 12327 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7172] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7172/stat : 7172 (java) S 7166 7168 6134 0 -1 64 14 270 0 0 0 0 0 0 16 0 9 0 2008992192 888070144 12327 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7173] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7173/stat : 7173 (java) S 7166 7168 6134 0 -1 64 8 270 0 0 0 0 0 0 15 0 9 0 2008992192 888070144 12327 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7174] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7174/stat : 7174 (java) S 7166 7168 6134 0 -1 64 1 270 0 0 0 0 0 0 18 0 9 0 2008992194 888070144 12327 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7175] ppid=7166 vsize=867256 CPUtime=0.18
/proc/7168/task/7175/stat : 7175 (java) S 7166 7168 6134 0 -1 64 523 270 0 0 18 0 0 0 15 0 9 0 2008992194 888070144 12327 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7176] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7176/stat : 7176 (java) S 7166 7168 6134 0 -1 64 2 270 0 0 0 0 0 0 19 0 9 0 2008992194 888070144 12327 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7177] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7177/stat : 7177 (java) S 7166 7168 6134 0 -1 64 8 270 0 0 0 0 0 0 15 0 9 0 2008992194 888070144 12327 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867256
[startup+3.10109 s]
/proc/loadavg: 1.99 1.97 1.98 3/93 7181
/proc/meminfo: memFree=1533008/2055920 swapFree=4179776/4192956
[pid=7168] ppid=7166 vsize=867256 CPUtime=3.04
/proc/7168/stat : 7168 (java) S 7166 7168 6134 0 -1 0 19896 270 1 0 293 11 0 0 18 0 9 0 2008992188 888070144 12343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7168/statm: 216814 12343 2631 9 0 211320 0
[pid=7168/tid=7170] ppid=7166 vsize=867256 CPUtime=2.73
/proc/7168/task/7170/stat : 7170 (java) R 7166 7168 6134 0 -1 64 13832 270 1 0 265 8 0 0 25 0 9 0 2008992190 888070144 12343 996147200 134512640 134550740 4294955968 18446744073709551615 4126781927 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7171] ppid=7166 vsize=867256 CPUtime=0.06
/proc/7168/task/7171/stat : 7171 (java) S 7166 7168 6134 0 -1 64 4689 270 0 0 6 0 0 0 17 0 9 0 2008992191 888070144 12343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7172] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7172/stat : 7172 (java) S 7166 7168 6134 0 -1 64 14 270 0 0 0 0 0 0 16 0 9 0 2008992192 888070144 12343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7173] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7173/stat : 7173 (java) S 7166 7168 6134 0 -1 64 8 270 0 0 0 0 0 0 15 0 9 0 2008992192 888070144 12343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7174] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7174/stat : 7174 (java) S 7166 7168 6134 0 -1 64 1 270 0 0 0 0 0 0 18 0 9 0 2008992194 888070144 12343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7175] ppid=7166 vsize=867256 CPUtime=0.2
/proc/7168/task/7175/stat : 7175 (java) S 7166 7168 6134 0 -1 64 539 270 0 0 20 0 0 0 16 0 9 0 2008992194 888070144 12343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7176] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7176/stat : 7176 (java) S 7166 7168 6134 0 -1 64 2 270 0 0 0 0 0 0 19 0 9 0 2008992194 888070144 12343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7177] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7177/stat : 7177 (java) S 7166 7168 6134 0 -1 64 8 270 0 0 0 0 0 0 15 0 9 0 2008992194 888070144 12343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867256
[startup+6.30138 s]
/proc/loadavg: 1.99 1.97 1.98 3/93 7181
/proc/meminfo: memFree=1532816/2055920 swapFree=4179776/4192956
[pid=7168] ppid=7166 vsize=867256 CPUtime=6.21
/proc/7168/stat : 7168 (java) S 7166 7168 6134 0 -1 0 19901 270 1 0 610 11 0 0 18 0 9 0 2008992188 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7168/statm: 216814 12344 2631 9 0 211320 0
[pid=7168/tid=7170] ppid=7166 vsize=867256 CPUtime=5.9
/proc/7168/task/7170/stat : 7170 (java) R 7166 7168 6134 0 -1 64 13836 270 1 0 582 8 0 0 25 0 9 0 2008992190 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4126792972 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7171] ppid=7166 vsize=867256 CPUtime=0.06
/proc/7168/task/7171/stat : 7171 (java) S 7166 7168 6134 0 -1 64 4689 270 0 0 6 0 0 0 17 0 9 0 2008992191 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7172] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7172/stat : 7172 (java) S 7166 7168 6134 0 -1 64 14 270 0 0 0 0 0 0 16 0 9 0 2008992192 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7173] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7173/stat : 7173 (java) S 7166 7168 6134 0 -1 64 8 270 0 0 0 0 0 0 15 0 9 0 2008992192 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7174] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7174/stat : 7174 (java) S 7166 7168 6134 0 -1 64 1 270 0 0 0 0 0 0 18 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7175] ppid=7166 vsize=867256 CPUtime=0.21
/proc/7168/task/7175/stat : 7175 (java) S 7166 7168 6134 0 -1 64 540 270 0 0 21 0 0 0 15 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7176] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7176/stat : 7176 (java) S 7166 7168 6134 0 -1 64 2 270 0 0 0 0 0 0 19 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7177] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7177/stat : 7177 (java) S 7166 7168 6134 0 -1 64 8 270 0 0 0 0 0 0 15 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867256
[startup+12.7019 s]
/proc/loadavg: 1.99 1.97 1.98 3/93 7181
/proc/meminfo: memFree=1532752/2055920 swapFree=4179776/4192956
[pid=7168] ppid=7166 vsize=867256 CPUtime=12.54
/proc/7168/stat : 7168 (java) S 7166 7168 6134 0 -1 0 19904 270 1 0 1243 11 0 0 18 0 9 0 2008992188 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7168/statm: 216814 12344 2631 9 0 211320 0
[pid=7168/tid=7170] ppid=7166 vsize=867256 CPUtime=12.25
/proc/7168/task/7170/stat : 7170 (java) R 7166 7168 6134 0 -1 64 13839 270 1 0 1216 9 0 0 25 0 9 0 2008992190 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4126741446 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7171] ppid=7166 vsize=867256 CPUtime=0.06
/proc/7168/task/7171/stat : 7171 (java) S 7166 7168 6134 0 -1 64 4689 270 0 0 6 0 0 0 16 0 9 0 2008992191 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7172] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7172/stat : 7172 (java) S 7166 7168 6134 0 -1 64 14 270 0 0 0 0 0 0 16 0 9 0 2008992192 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7173] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7173/stat : 7173 (java) S 7166 7168 6134 0 -1 64 8 270 0 0 0 0 0 0 15 0 9 0 2008992192 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7174] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7174/stat : 7174 (java) S 7166 7168 6134 0 -1 64 1 270 0 0 0 0 0 0 18 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7175] ppid=7166 vsize=867256 CPUtime=0.21
/proc/7168/task/7175/stat : 7175 (java) S 7166 7168 6134 0 -1 64 540 270 0 0 21 0 0 0 15 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7176] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7176/stat : 7176 (java) S 7166 7168 6134 0 -1 64 2 270 0 0 0 0 0 0 19 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7177] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7177/stat : 7177 (java) S 7166 7168 6134 0 -1 64 8 270 0 0 0 0 0 0 15 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 867256
[startup+25.5021 s]
/proc/loadavg: 1.99 1.97 1.98 3/93 7181
/proc/meminfo: memFree=1532816/2055920 swapFree=4179776/4192956
[pid=7168] ppid=7166 vsize=867256 CPUtime=25.22
/proc/7168/stat : 7168 (java) S 7166 7168 6134 0 -1 0 19905 270 1 0 2511 11 0 0 18 0 9 0 2008992188 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7168/statm: 216814 12344 2631 9 0 211320 0
[pid=7168/tid=7170] ppid=7166 vsize=867256 CPUtime=24.92
/proc/7168/task/7170/stat : 7170 (java) R 7166 7168 6134 0 -1 64 13840 270 1 0 2483 9 0 0 25 0 9 0 2008992190 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4126766920 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7171] ppid=7166 vsize=867256 CPUtime=0.06
/proc/7168/task/7171/stat : 7171 (java) S 7166 7168 6134 0 -1 64 4689 270 0 0 6 0 0 0 16 0 9 0 2008992191 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7172] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7172/stat : 7172 (java) S 7166 7168 6134 0 -1 64 14 270 0 0 0 0 0 0 16 0 9 0 2008992192 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7173] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7173/stat : 7173 (java) S 7166 7168 6134 0 -1 64 8 270 0 0 0 0 0 0 15 0 9 0 2008992192 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7174] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7174/stat : 7174 (java) S 7166 7168 6134 0 -1 64 1 270 0 0 0 0 0 0 18 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7175] ppid=7166 vsize=867256 CPUtime=0.21
/proc/7168/task/7175/stat : 7175 (java) S 7166 7168 6134 0 -1 64 540 270 0 0 21 0 0 0 15 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7176] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7176/stat : 7176 (java) S 7166 7168 6134 0 -1 64 2 270 0 0 0 0 0 0 19 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7177] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7177/stat : 7177 (java) S 7166 7168 6134 0 -1 64 8 270 0 0 0 0 0 0 15 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 867256
[startup+51.1024 s]
/proc/loadavg: 1.99 1.97 1.98 3/93 7181
/proc/meminfo: memFree=1532752/2055920 swapFree=4179776/4192956
[pid=7168] ppid=7166 vsize=867256 CPUtime=50.59
/proc/7168/stat : 7168 (java) S 7166 7168 6134 0 -1 0 19907 270 1 0 5047 12 0 0 18 0 9 0 2008992188 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7168/statm: 216814 12344 2631 9 0 211320 0
[pid=7168/tid=7170] ppid=7166 vsize=867256 CPUtime=50.28
/proc/7168/task/7170/stat : 7170 (java) R 7166 7168 6134 0 -1 64 13842 270 1 0 5019 9 0 0 25 0 9 0 2008992190 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4126778510 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7171] ppid=7166 vsize=867256 CPUtime=0.06
/proc/7168/task/7171/stat : 7171 (java) S 7166 7168 6134 0 -1 64 4689 270 0 0 6 0 0 0 16 0 9 0 2008992191 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7172] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7172/stat : 7172 (java) S 7166 7168 6134 0 -1 64 14 270 0 0 0 0 0 0 16 0 9 0 2008992192 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7173] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7173/stat : 7173 (java) S 7166 7168 6134 0 -1 64 8 270 0 0 0 0 0 0 15 0 9 0 2008992192 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7174] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7174/stat : 7174 (java) S 7166 7168 6134 0 -1 64 1 270 0 0 0 0 0 0 18 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7175] ppid=7166 vsize=867256 CPUtime=0.21
/proc/7168/task/7175/stat : 7175 (java) S 7166 7168 6134 0 -1 64 540 270 0 0 21 0 0 0 15 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7176] ppid=7166 vsize=867256 CPUtime=0
################
# More data... #
################
/proc/7168/stat : 7168 (java) S 7166 7168 6134 0 -1 0 19908 270 1 0 8217 12 0 0 18 0 9 0 2008992188 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7168/statm: 216814 12344 2631 9 0 211320 0
[pid=7168/tid=7170] ppid=7166 vsize=867256 CPUtime=81.98
/proc/7168/task/7170/stat : 7170 (java) R 7166 7168 6134 0 -1 64 13843 270 1 0 8189 9 0 0 25 0 9 0 2008992190 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4126765262 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7171] ppid=7166 vsize=867256 CPUtime=0.06
/proc/7168/task/7171/stat : 7171 (java) S 7166 7168 6134 0 -1 64 4689 270 0 0 6 0 0 0 16 0 9 0 2008992191 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7172] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7172/stat : 7172 (java) S 7166 7168 6134 0 -1 64 14 270 0 0 0 0 0 0 16 0 9 0 2008992192 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7173] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7173/stat : 7173 (java) S 7166 7168 6134 0 -1 64 8 270 0 0 0 0 0 0 15 0 9 0 2008992192 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7174] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7174/stat : 7174 (java) S 7166 7168 6134 0 -1 64 1 270 0 0 0 0 0 0 18 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7175] ppid=7166 vsize=867256 CPUtime=0.21
/proc/7168/task/7175/stat : 7175 (java) S 7166 7168 6134 0 -1 64 540 270 0 0 21 0 0 0 15 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7176] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7176/stat : 7176 (java) S 7166 7168 6134 0 -1 64 2 270 0 0 0 0 0 0 19 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7177] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7177/stat : 7177 (java) S 7166 7168 6134 0 -1 64 8 270 0 0 0 0 0 0 15 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 82.29
Current children cumulated vsize (KiB) 867256
[startup+89.5019 s]
/proc/loadavg: 2.05 1.99 1.98 3/93 7181
/proc/meminfo: memFree=1532688/2055920 swapFree=4179776/4192956
[pid=7168] ppid=7166 vsize=867256 CPUtime=88.62
/proc/7168/stat : 7168 (java) S 7166 7168 6134 0 -1 0 19909 270 1 0 8850 12 0 0 18 0 9 0 2008992188 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7168/statm: 216814 12344 2631 9 0 211320 0
[pid=7168/tid=7170] ppid=7166 vsize=867256 CPUtime=88.32
/proc/7168/task/7170/stat : 7170 (java) R 7166 7168 6134 0 -1 64 13844 270 1 0 8823 9 0 0 25 0 9 0 2008992190 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4126768612 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7171] ppid=7166 vsize=867256 CPUtime=0.06
/proc/7168/task/7171/stat : 7171 (java) S 7166 7168 6134 0 -1 64 4689 270 0 0 6 0 0 0 16 0 9 0 2008992191 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7172] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7172/stat : 7172 (java) S 7166 7168 6134 0 -1 64 14 270 0 0 0 0 0 0 16 0 9 0 2008992192 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7173] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7173/stat : 7173 (java) S 7166 7168 6134 0 -1 64 8 270 0 0 0 0 0 0 15 0 9 0 2008992192 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7174] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7174/stat : 7174 (java) S 7166 7168 6134 0 -1 64 1 270 0 0 0 0 0 0 18 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7175] ppid=7166 vsize=867256 CPUtime=0.21
/proc/7168/task/7175/stat : 7175 (java) S 7166 7168 6134 0 -1 64 540 270 0 0 21 0 0 0 15 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7176] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7176/stat : 7176 (java) S 7166 7168 6134 0 -1 64 2 270 0 0 0 0 0 0 19 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7177] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7177/stat : 7177 (java) S 7166 7168 6134 0 -1 64 8 270 0 0 0 0 0 0 15 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 88.62
Current children cumulated vsize (KiB) 867256
[startup+92.7011 s]
/proc/loadavg: 2.05 1.99 1.98 3/93 7181
/proc/meminfo: memFree=1532624/2055920 swapFree=4179776/4192956
[pid=7168] ppid=7166 vsize=867256 CPUtime=91.79
/proc/7168/stat : 7168 (java) S 7166 7168 6134 0 -1 0 19909 270 1 0 9167 12 0 0 18 0 9 0 2008992188 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7168/statm: 216814 12344 2631 9 0 211320 0
[pid=7168/tid=7170] ppid=7166 vsize=867256 CPUtime=91.48
/proc/7168/task/7170/stat : 7170 (java) R 7166 7168 6134 0 -1 64 13844 270 1 0 9139 9 0 0 25 0 9 0 2008992190 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4126768179 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7171] ppid=7166 vsize=867256 CPUtime=0.06
/proc/7168/task/7171/stat : 7171 (java) S 7166 7168 6134 0 -1 64 4689 270 0 0 6 0 0 0 16 0 9 0 2008992191 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7172] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7172/stat : 7172 (java) S 7166 7168 6134 0 -1 64 14 270 0 0 0 0 0 0 16 0 9 0 2008992192 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7173] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7173/stat : 7173 (java) S 7166 7168 6134 0 -1 64 8 270 0 0 0 0 0 0 15 0 9 0 2008992192 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7174] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7174/stat : 7174 (java) S 7166 7168 6134 0 -1 64 1 270 0 0 0 0 0 0 18 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7175] ppid=7166 vsize=867256 CPUtime=0.21
/proc/7168/task/7175/stat : 7175 (java) S 7166 7168 6134 0 -1 64 540 270 0 0 21 0 0 0 15 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7176] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7176/stat : 7176 (java) S 7166 7168 6134 0 -1 64 2 270 0 0 0 0 0 0 19 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7177] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7177/stat : 7177 (java) S 7166 7168 6134 0 -1 64 8 270 0 0 0 0 0 0 15 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 91.79
Current children cumulated vsize (KiB) 867256
[startup+93.5062 s]
/proc/loadavg: 2.05 1.99 1.98 3/93 7181
/proc/meminfo: memFree=1532624/2055920 swapFree=4179776/4192956
[pid=7168] ppid=7166 vsize=867256 CPUtime=92.59
/proc/7168/stat : 7168 (java) S 7166 7168 6134 0 -1 0 19909 270 1 0 9247 12 0 0 18 0 9 0 2008992188 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7168/statm: 216814 12344 2631 9 0 211320 0
[pid=7168/tid=7170] ppid=7166 vsize=867256 CPUtime=92.28
/proc/7168/task/7170/stat : 7170 (java) R 7166 7168 6134 0 -1 64 13844 270 1 0 9219 9 0 0 25 0 9 0 2008992190 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4126750963 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7171] ppid=7166 vsize=867256 CPUtime=0.06
/proc/7168/task/7171/stat : 7171 (java) S 7166 7168 6134 0 -1 64 4689 270 0 0 6 0 0 0 16 0 9 0 2008992191 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7172] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7172/stat : 7172 (java) S 7166 7168 6134 0 -1 64 14 270 0 0 0 0 0 0 16 0 9 0 2008992192 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7173] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7173/stat : 7173 (java) S 7166 7168 6134 0 -1 64 8 270 0 0 0 0 0 0 15 0 9 0 2008992192 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7174] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7174/stat : 7174 (java) S 7166 7168 6134 0 -1 64 1 270 0 0 0 0 0 0 18 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7175] ppid=7166 vsize=867256 CPUtime=0.21
/proc/7168/task/7175/stat : 7175 (java) S 7166 7168 6134 0 -1 64 540 270 0 0 21 0 0 0 15 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7176] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7176/stat : 7176 (java) S 7166 7168 6134 0 -1 64 2 270 0 0 0 0 0 0 19 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7177] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7177/stat : 7177 (java) S 7166 7168 6134 0 -1 64 8 270 0 0 0 0 0 0 15 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 92.59
Current children cumulated vsize (KiB) 867256
[startup+94.3023 s]
/proc/loadavg: 2.05 1.99 1.98 3/93 7181
/proc/meminfo: memFree=1532624/2055920 swapFree=4179776/4192956
[pid=7168] ppid=7166 vsize=867256 CPUtime=93.38
/proc/7168/stat : 7168 (java) S 7166 7168 6134 0 -1 0 19909 270 1 0 9326 12 0 0 18 0 9 0 2008992188 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7168/statm: 216814 12344 2631 9 0 211320 0
[pid=7168/tid=7170] ppid=7166 vsize=867256 CPUtime=93.07
/proc/7168/task/7170/stat : 7170 (java) R 7166 7168 6134 0 -1 64 13844 270 1 0 9298 9 0 0 25 0 9 0 2008992190 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4126750555 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7171] ppid=7166 vsize=867256 CPUtime=0.06
/proc/7168/task/7171/stat : 7171 (java) S 7166 7168 6134 0 -1 64 4689 270 0 0 6 0 0 0 16 0 9 0 2008992191 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7172] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7172/stat : 7172 (java) S 7166 7168 6134 0 -1 64 14 270 0 0 0 0 0 0 16 0 9 0 2008992192 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7173] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7173/stat : 7173 (java) S 7166 7168 6134 0 -1 64 8 270 0 0 0 0 0 0 15 0 9 0 2008992192 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7174] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7174/stat : 7174 (java) S 7166 7168 6134 0 -1 64 1 270 0 0 0 0 0 0 18 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7175] ppid=7166 vsize=867256 CPUtime=0.21
/proc/7168/task/7175/stat : 7175 (java) S 7166 7168 6134 0 -1 64 540 270 0 0 21 0 0 0 15 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7176] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7176/stat : 7176 (java) S 7166 7168 6134 0 -1 64 2 270 0 0 0 0 0 0 19 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7177] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7177/stat : 7177 (java) S 7166 7168 6134 0 -1 64 8 270 0 0 0 0 0 0 15 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 93.38
Current children cumulated vsize (KiB) 867256
[startup+94.5023 s]
/proc/loadavg: 2.05 1.99 1.98 3/93 7181
/proc/meminfo: memFree=1532624/2055920 swapFree=4179776/4192956
[pid=7168] ppid=7166 vsize=867256 CPUtime=93.58
/proc/7168/stat : 7168 (java) S 7166 7168 6134 0 -1 0 19909 270 1 0 9346 12 0 0 18 0 9 0 2008992188 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7168/statm: 216814 12344 2631 9 0 211320 0
[pid=7168/tid=7170] ppid=7166 vsize=867256 CPUtime=93.27
/proc/7168/task/7170/stat : 7170 (java) R 7166 7168 6134 0 -1 64 13844 270 1 0 9318 9 0 0 25 0 9 0 2008992190 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4126767054 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7171] ppid=7166 vsize=867256 CPUtime=0.06
/proc/7168/task/7171/stat : 7171 (java) S 7166 7168 6134 0 -1 64 4689 270 0 0 6 0 0 0 16 0 9 0 2008992191 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7172] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7172/stat : 7172 (java) S 7166 7168 6134 0 -1 64 14 270 0 0 0 0 0 0 16 0 9 0 2008992192 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7173] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7173/stat : 7173 (java) S 7166 7168 6134 0 -1 64 8 270 0 0 0 0 0 0 15 0 9 0 2008992192 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7174] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7174/stat : 7174 (java) S 7166 7168 6134 0 -1 64 1 270 0 0 0 0 0 0 18 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7175] ppid=7166 vsize=867256 CPUtime=0.21
/proc/7168/task/7175/stat : 7175 (java) S 7166 7168 6134 0 -1 64 540 270 0 0 21 0 0 0 15 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7176] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7176/stat : 7176 (java) S 7166 7168 6134 0 -1 64 2 270 0 0 0 0 0 0 19 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7177] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7177/stat : 7177 (java) S 7166 7168 6134 0 -1 64 8 270 0 0 0 0 0 0 15 0 9 0 2008992194 888070144 12344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 93.58
Current children cumulated vsize (KiB) 867256
[startup+94.6063 s]
/proc/loadavg: 2.05 1.99 1.98 3/93 7181
/proc/meminfo: memFree=1532624/2055920 swapFree=4179776/4192956
[pid=7168] ppid=7166 vsize=867256 CPUtime=93.67
/proc/7168/stat : 7168 (java) S 7166 7168 6134 0 -1 0 19926 270 1 0 9355 12 0 0 18 0 9 0 2008992188 888070144 12346 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7168/statm: 216814 12346 2631 9 0 211320 0
[pid=7168/tid=7170] ppid=7166 vsize=867256 CPUtime=93.37
/proc/7168/task/7170/stat : 7170 (java) R 7166 7168 6134 0 -1 64 13860 270 1 0 9328 9 0 0 22 0 9 0 2008992190 888070144 12346 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 2147483391 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7171] ppid=7166 vsize=867256 CPUtime=0.06
/proc/7168/task/7171/stat : 7171 (java) S 7166 7168 6134 0 -1 64 4689 270 0 0 6 0 0 0 16 0 9 0 2008992191 888070144 12346 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7172] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7172/stat : 7172 (java) S 7166 7168 6134 0 -1 64 14 270 0 0 0 0 0 0 16 0 9 0 2008992192 888070144 12346 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7173] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7173/stat : 7173 (java) S 7166 7168 6134 0 -1 64 8 270 0 0 0 0 0 0 15 0 9 0 2008992192 888070144 12346 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7174] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7174/stat : 7174 (java) S 7166 7168 6134 0 -1 64 1 270 0 0 0 0 0 0 18 0 9 0 2008992194 888070144 12346 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7175] ppid=7166 vsize=867256 CPUtime=0.21
/proc/7168/task/7175/stat : 7175 (java) S 7166 7168 6134 0 -1 64 541 270 0 0 21 0 0 0 16 0 9 0 2008992194 888070144 12346 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7176] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7176/stat : 7176 (java) S 7166 7168 6134 0 -1 64 2 270 0 0 0 0 0 0 19 0 9 0 2008992194 888070144 12346 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7168/tid=7177] ppid=7166 vsize=867256 CPUtime=0
/proc/7168/task/7177/stat : 7177 (java) S 7166 7168 6134 0 -1 64 8 270 0 0 0 0 0 0 15 0 9 0 2008992194 888070144 12346 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 93.67
Current children cumulated vsize (KiB) 867256
Child status: 0
Real time (s): 94.6363
CPU time (s): 93.7018
CPU user time (s): 93.5638
CPU system time (s): 0.137979
CPU usage (%): 99.0125
Max. virtual memory (cumulated for all children) (KiB): 867300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 93.5638
system time used= 0.137979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20294
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= 3126
involuntary context switches= 5155
runsolver used 0.132979 second user time and 0.315951 second system time
The end
Begin job on node43 at 2008-07-06 01:23:17
IDJOB=1102968
IDBENCH=60256
IDSOLVER=363
FILE ID=node43/1102968-1215300197
PBS_JOBID= 7882357
Free space on /tmp= 66508 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/tightness0.8/normalized-rand-2-40-80-103-800-94_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-1102968-1215300197/watcher-1102968-1215300197 -o /tmp/evaluation-result-1102968-1215300197/solver-1102968-1215300197 -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-1102968-1215300197.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= ff582e16aee3eb55b2d45d7d6abdcec0
RANDOM SEED=1051248891
node43.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.230
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.230
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: 1572864 kB
Buffers: 56688 kB
Cached: 180820 kB
SwapCached: 6816 kB
Active: 343912 kB
Inactive: 84400 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1572864 kB
SwapTotal: 4192956 kB
SwapFree: 4179776 kB
Dirty: 2764 kB
Writeback: 0 kB
Mapped: 202380 kB
Slab: 39496 kB
Committed_AS: 4500576 kB
PageTables: 2228 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= 66508 MiB
End job on node43 at 2008-07-06 01:24:52