0.02/0.08
0.02/0.08 Abscon 112 (May, 2008)
0.19/0.22
0.19/0.22 configuration
0.19/0.22 name=mac.xml
0.19/0.28
0.19/0.28 instance
0.19/0.28 name=HOME/instance-2095035-1247406049.xml
0.29/0.32
0.29/0.32 domains being loaded...
0.29/0.33
0.29/0.33 variables being loaded...
0.29/0.38 nbVariables=230 nbDomainTypes=2 minDomainSize=1 maxDomainSize=2 nbTotalValues=406
0.29/0.38 => wckTime=0.158 cpuTime=0.14 mem=8M868
0.29/0.38
0.29/0.38 predicates being loaded...
0.48/0.55
0.48/0.55 constraints being loaded...
0.77/0.82 nbConstraints=6 nbMergedConstraints=6 nbSingletonDomainVariables=54 nbUnbuiltConflictsStructures=6
0.77/0.82 nbSharedBinaryRepresentations=0 nbEvaluationManagers=6 nbSharedEvaluationManagers=0 minDegree=1 maxDegree=6
0.77/0.82 minArity=80 maxArity=80 nbGenerators=0 nbFusions=0 symmetryWckTime=0.069 symmetryCpuTime=0.04
0.77/0.82 => wckTime=0.598 cpuTime=0.45 mem=22M545
0.77/0.88
0.77/0.88 solver IterativeSystematicSolver being built...
0.87/0.96
0.87/0.96 INFO : Forward propagation technique limited
0.97/1.04 => wckTime=0.809 cpuTime=0.58 mem=22M908
0.97/1.04
0.97/1.04 preprocessing
0.97/1.04 nbConstraintChecks=0 nbPropagations=230 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.97/1.04 detectedInconsistency=no
0.97/1.04 => wckTime=0.0050 cpuTime=0.01 mem=23M916
73.40/74.06
73.40/74.06 search
73.40/74.06 run=0 nbConstraintChecks=7208524 nbValidityChecks=2312 minDepth=231 maxDepth=230 nbPropagations=524
73.40/74.06 nbRevisions=1260 nbUselessRevisions=1196 nbAssignments=230 nbFailedAssignments=0 nbBacktracks=0
73.40/74.06 nbVisitedNodes=231 nbRestartNogoods=0 nbFoundSolutions=1 mapSize=0 nbInferences=0 nbTooLargeKeys=0
73.40/74.06 nbSEliminables=0 nbREliminables=148.82 nbIEliminables=0 nbDEliminables=0 nbPEliminables=0
73.40/74.06 => wckTime=73.022 cpuTime=72.42 mem=24M892
73.40/74.06
73.40/74.06 global
73.40/74.06 nbConstraintChecks=7208524 nbValidityChecks=2312 nbPropagations=754 nbRevisions=1260 nbUselessRevisions=1196
73.40/74.06 nbRestartNogoods=0 solvingWckTime=73.024 solvingCpuTime=72.43 expiredTime=no totalExploration=no
73.40/74.06 nbFoundSolutions=1 firstSolutionCpuTime=73.0 globalCpuTime=73.06
73.40/74.06 => wckTime=73.835 cpuTime=73.01 mem=24M892
73.40/74.06
73.40/74.06 s SATISFIABLE
73.40/74.06 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
73.40/74.06 d NODES 230
73.40/74.06 d CHECKS 7208524
73.40/74.06
73.40/74.06 totalWckTime=73.889 totalCpuTime=73.06
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2095035-1247406049/watcher-2095035-1247406049 -o /tmp/evaluation-result-2095035-1247406049/solver-2095035-1247406049 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2095035-1247406049.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 4/81 29752
/proc/meminfo: memFree=1764992/2055920 swapFree=4192812/4192956
[pid=29752] ppid=29750 vsize=308 CPUtime=0
/proc/29752/stat : 29752 (java) R 29750 29752 29154 0 -1 0 55 0 0 0 0 0 0 0 18 0 1 0 27669571 315392 39 996147200 134512640 134550932 4294956128 18446744073709551615 11629348 0 0 4096 0 0 0 0 17 0 0 0
/proc/29752/statm: 77 39 29 9 0 6 0
[startup+0.0416029 s]
/proc/loadavg: 2.00 2.00 1.91 4/81 29752
/proc/meminfo: memFree=1764992/2055920 swapFree=4192812/4192956
[pid=29752] ppid=29750 vsize=861936 CPUtime=0.02
/proc/29752/stat : 29752 (java) S 29750 29752 29154 0 -1 0 2274 0 1 0 1 1 0 0 18 0 5 0 27669571 882622464 1877 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/29752/statm: 215484 1877 861 9 0 210399 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861936
[startup+0.102608 s]
/proc/loadavg: 2.00 2.00 1.91 4/81 29752
/proc/meminfo: memFree=1764992/2055920 swapFree=4192812/4192956
[pid=29752] ppid=29750 vsize=865984 CPUtime=0.08
/proc/29752/stat : 29752 (java) S 29750 29752 29154 0 -1 0 3852 0 1 0 7 1 0 0 18 0 9 0 27669571 886767616 3295 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29752/statm: 216496 3295 1730 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301627 s]
/proc/loadavg: 2.00 2.00 1.91 4/81 29752
/proc/meminfo: memFree=1764992/2055920 swapFree=4192812/4192956
[pid=29752] ppid=29750 vsize=866340 CPUtime=0.29
/proc/29752/stat : 29752 (java) S 29750 29752 29154 0 -1 0 5920 0 1 0 25 4 0 0 18 0 9 0 27669571 887132160 5286 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29752/statm: 216585 5286 1983 9 0 211043 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866340
[startup+0.701671 s]
/proc/loadavg: 2.00 2.00 1.91 4/81 29752
/proc/meminfo: memFree=1764992/2055920 swapFree=4192812/4192956
[pid=29752] ppid=29750 vsize=866724 CPUtime=0.68
/proc/29752/stat : 29752 (java) S 29750 29752 29154 0 -1 0 8756 0 1 0 62 6 0 0 18 0 9 0 27669571 887525376 8110 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29752/statm: 216681 8110 2033 9 0 211117 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866724
[startup+1.50275 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 29765
/proc/meminfo: memFree=1733168/2055920 swapFree=4192812/4192956
[pid=29752] ppid=29750 vsize=867048 CPUtime=1.47
/proc/29752/stat : 29752 (java) S 29750 29752 29154 0 -1 0 18145 281 1 0 137 10 0 0 18 0 9 0 27669571 887857152 11173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29752/statm: 216762 11173 2658 9 0 211198 0
[pid=29752/tid=29754] ppid=29750 vsize=867048 CPUtime=1.22
/proc/29752/task/29754/stat : 29754 (java) R 29750 29752 29154 0 -1 64 13762 281 1 0 114 8 0 0 22 0 9 0 27669572 887857152 11173 996147200 134512640 134550932 4294955968 18446744073709551615 4126917978 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29755] ppid=29750 vsize=867048 CPUtime=0.04
/proc/29752/task/29755/stat : 29755 (java) S 29750 29752 29154 0 -1 64 2982 281 0 0 4 0 0 0 17 0 9 0 27669573 887857152 11173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29756] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29756/stat : 29756 (java) S 29750 29752 29154 0 -1 64 17 281 0 0 0 0 0 0 16 0 9 0 27669574 887857152 11173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29757] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29757/stat : 29757 (java) S 29750 29752 29154 0 -1 64 12 281 0 0 0 0 0 0 16 0 9 0 27669574 887857152 11173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29758] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29758/stat : 29758 (java) S 29750 29752 29154 0 -1 64 2 281 0 0 0 0 0 0 18 0 9 0 27669576 887857152 11173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29759] ppid=29750 vsize=867048 CPUtime=0.17
/proc/29752/task/29759/stat : 29759 (java) S 29750 29752 29154 0 -1 64 564 281 0 0 17 0 0 0 16 0 9 0 27669576 887857152 11173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29760] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29760/stat : 29760 (java) S 29750 29752 29154 0 -1 64 1 281 0 0 0 0 0 0 19 0 9 0 27669576 887857152 11173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29761] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29761/stat : 29761 (java) S 29750 29752 29154 0 -1 64 5 281 0 0 0 0 0 0 15 0 9 0 27669576 887857152 11173 996147200 134512640 134550932 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) 867048
[startup+3.10193 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 29765
/proc/meminfo: memFree=1730288/2055920 swapFree=4192812/4192956
[pid=29752] ppid=29750 vsize=867048 CPUtime=3.05
/proc/29752/stat : 29752 (java) S 29750 29752 29154 0 -1 0 18145 281 1 0 295 10 0 0 18 0 9 0 27669571 887857152 11173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29752/statm: 216762 11173 2658 9 0 211198 0
[pid=29752/tid=29754] ppid=29750 vsize=867048 CPUtime=2.81
/proc/29752/task/29754/stat : 29754 (java) R 29750 29752 29154 0 -1 64 13762 281 1 0 273 8 0 0 25 0 9 0 27669572 887857152 11173 996147200 134512640 134550932 4294955968 18446744073709551615 4126917975 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29755] ppid=29750 vsize=867048 CPUtime=0.04
/proc/29752/task/29755/stat : 29755 (java) S 29750 29752 29154 0 -1 64 2982 281 0 0 4 0 0 0 16 0 9 0 27669573 887857152 11173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29756] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29756/stat : 29756 (java) S 29750 29752 29154 0 -1 64 17 281 0 0 0 0 0 0 16 0 9 0 27669574 887857152 11173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29757] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29757/stat : 29757 (java) S 29750 29752 29154 0 -1 64 12 281 0 0 0 0 0 0 16 0 9 0 27669574 887857152 11173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29758] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29758/stat : 29758 (java) S 29750 29752 29154 0 -1 64 2 281 0 0 0 0 0 0 18 0 9 0 27669576 887857152 11173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29759] ppid=29750 vsize=867048 CPUtime=0.17
/proc/29752/task/29759/stat : 29759 (java) S 29750 29752 29154 0 -1 64 564 281 0 0 17 0 0 0 16 0 9 0 27669576 887857152 11173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29760] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29760/stat : 29760 (java) S 29750 29752 29154 0 -1 64 1 281 0 0 0 0 0 0 19 0 9 0 27669576 887857152 11173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29761] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29761/stat : 29761 (java) S 29750 29752 29154 0 -1 64 5 281 0 0 0 0 0 0 15 0 9 0 27669576 887857152 11173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867048
[startup+6.30129 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 29765
/proc/meminfo: memFree=1730096/2055920 swapFree=4192812/4192956
[pid=29752] ppid=29750 vsize=867048 CPUtime=6.23
/proc/29752/stat : 29752 (java) S 29750 29752 29154 0 -1 0 18147 281 1 0 613 10 0 0 18 0 9 0 27669571 887857152 11174 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29752/statm: 216762 11174 2658 9 0 211198 0
[pid=29752/tid=29754] ppid=29750 vsize=867048 CPUtime=5.98
/proc/29752/task/29754/stat : 29754 (java) R 29750 29752 29154 0 -1 64 13763 281 1 0 590 8 0 0 25 0 9 0 27669572 887857152 11174 996147200 134512640 134550932 4294955968 18446744073709551615 4126918013 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29755] ppid=29750 vsize=867048 CPUtime=0.04
/proc/29752/task/29755/stat : 29755 (java) S 29750 29752 29154 0 -1 64 2982 281 0 0 4 0 0 0 16 0 9 0 27669573 887857152 11174 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29752/tid=29756] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29756/stat : 29756 (java) S 29750 29752 29154 0 -1 64 17 281 0 0 0 0 0 0 16 0 9 0 27669574 887857152 11174 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29757] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29757/stat : 29757 (java) S 29750 29752 29154 0 -1 64 12 281 0 0 0 0 0 0 16 0 9 0 27669574 887857152 11174 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29758] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29758/stat : 29758 (java) S 29750 29752 29154 0 -1 64 2 281 0 0 0 0 0 0 18 0 9 0 27669576 887857152 11174 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29759] ppid=29750 vsize=867048 CPUtime=0.17
/proc/29752/task/29759/stat : 29759 (java) S 29750 29752 29154 0 -1 64 565 281 0 0 17 0 0 0 16 0 9 0 27669576 887857152 11174 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29760] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29760/stat : 29760 (java) S 29750 29752 29154 0 -1 64 1 281 0 0 0 0 0 0 19 0 9 0 27669576 887857152 11174 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29761] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29761/stat : 29761 (java) S 29750 29752 29154 0 -1 64 5 281 0 0 0 0 0 0 15 0 9 0 27669576 887857152 11174 996147200 134512640 134550932 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) 867048
[startup+12.702 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 29765
/proc/meminfo: memFree=1729912/2055920 swapFree=4192812/4192956
[pid=29752] ppid=29750 vsize=867048 CPUtime=12.58
/proc/29752/stat : 29752 (java) S 29750 29752 29154 0 -1 0 18151 281 1 0 1248 10 0 0 18 0 9 0 27669571 887857152 11177 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29752/statm: 216762 11177 2658 9 0 211198 0
[pid=29752/tid=29754] ppid=29750 vsize=867048 CPUtime=12.33
/proc/29752/task/29754/stat : 29754 (java) R 29750 29752 29154 0 -1 64 13766 281 1 0 1225 8 0 0 20 0 9 0 27669572 887857152 11177 996147200 134512640 134550932 4294955968 18446744073709551615 4126922392 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29755] ppid=29750 vsize=867048 CPUtime=0.04
/proc/29752/task/29755/stat : 29755 (java) S 29750 29752 29154 0 -1 64 2982 281 0 0 4 0 0 0 16 0 9 0 27669573 887857152 11177 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29752/tid=29756] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29756/stat : 29756 (java) S 29750 29752 29154 0 -1 64 17 281 0 0 0 0 0 0 16 0 9 0 27669574 887857152 11177 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29757] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29757/stat : 29757 (java) S 29750 29752 29154 0 -1 64 12 281 0 0 0 0 0 0 16 0 9 0 27669574 887857152 11177 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29758] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29758/stat : 29758 (java) S 29750 29752 29154 0 -1 64 2 281 0 0 0 0 0 0 18 0 9 0 27669576 887857152 11177 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29759] ppid=29750 vsize=867048 CPUtime=0.18
/proc/29752/task/29759/stat : 29759 (java) S 29750 29752 29154 0 -1 64 566 281 0 0 18 0 0 0 16 0 9 0 27669576 887857152 11177 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29760] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29760/stat : 29760 (java) S 29750 29752 29154 0 -1 64 1 281 0 0 0 0 0 0 19 0 9 0 27669576 887857152 11177 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29761] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29761/stat : 29761 (java) S 29750 29752 29154 0 -1 64 5 281 0 0 0 0 0 0 15 0 9 0 27669576 887857152 11177 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 867048
[startup+25.5024 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 29765
/proc/meminfo: memFree=1729912/2055920 swapFree=4192812/4192956
[pid=29752] ppid=29750 vsize=867048 CPUtime=25.28
/proc/29752/stat : 29752 (java) S 29750 29752 29154 0 -1 0 18154 281 1 0 2518 10 0 0 18 0 9 0 27669571 887857152 11180 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29752/statm: 216762 11180 2658 9 0 211198 0
[pid=29752/tid=29754] ppid=29750 vsize=867048 CPUtime=25.03
/proc/29752/task/29754/stat : 29754 (java) R 29750 29752 29154 0 -1 64 13769 281 1 0 2495 8 0 0 25 0 9 0 27669572 887857152 11180 996147200 134512640 134550932 4294955968 18446744073709551615 4126918020 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29755] ppid=29750 vsize=867048 CPUtime=0.04
/proc/29752/task/29755/stat : 29755 (java) S 29750 29752 29154 0 -1 64 2982 281 0 0 4 0 0 0 16 0 9 0 27669573 887857152 11180 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29752/tid=29756] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29756/stat : 29756 (java) S 29750 29752 29154 0 -1 64 17 281 0 0 0 0 0 0 16 0 9 0 27669574 887857152 11180 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29757] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29757/stat : 29757 (java) S 29750 29752 29154 0 -1 64 12 281 0 0 0 0 0 0 16 0 9 0 27669574 887857152 11180 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29758] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29758/stat : 29758 (java) S 29750 29752 29154 0 -1 64 2 281 0 0 0 0 0 0 18 0 9 0 27669576 887857152 11180 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29759] ppid=29750 vsize=867048 CPUtime=0.18
/proc/29752/task/29759/stat : 29759 (java) S 29750 29752 29154 0 -1 64 566 281 0 0 18 0 0 0 16 0 9 0 27669576 887857152 11180 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29760] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29760/stat : 29760 (java) S 29750 29752 29154 0 -1 64 1 281 0 0 0 0 0 0 19 0 9 0 27669576 887857152 11180 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29761] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29761/stat : 29761 (java) S 29750 29752 29154 0 -1 64 5 281 0 0 0 0 0 0 15 0 9 0 27669576 887857152 11180 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 867048
[startup+51.1023 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 29765
/proc/meminfo: memFree=1729848/2055920 swapFree=4192812/4192956
[pid=29752] ppid=29750 vsize=867048 CPUtime=50.68
/proc/29752/stat : 29752 (java) S 29750 29752 29154 0 -1 0 18167 281 1 0 5058 10 0 0 18 0 9 0 27669571 887857152 11191 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29752/statm: 216762 11191 2658 9 0 211198 0
[pid=29752/tid=29754] ppid=29750 vsize=867048 CPUtime=50.42
/proc/29752/task/29754/stat : 29754 (java) R 29750 29752 29154 0 -1 64 13777 281 1 0 5034 8 0 0 25 0 9 0 27669572 887857152 11191 996147200 134512640 134550932 4294955968 18446744073709551615 4126862583 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29755] ppid=29750 vsize=867048 CPUtime=0.04
/proc/29752/task/29755/stat : 29755 (java) S 29750 29752 29154 0 -1 64 2982 281 0 0 4 0 0 0 16 0 9 0 27669573 887857152 11191 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29752/tid=29756] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29756/stat : 29756 (java) S 29750 29752 29154 0 -1 64 17 281 0 0 0 0 0 0 16 0 9 0 27669574 887857152 11191 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29757] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29757/stat : 29757 (java) S 29750 29752 29154 0 -1 64 12 281 0 0 0 0 0 0 16 0 9 0 27669574 887857152 11191 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29758] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29758/stat : 29758 (java) S 29750 29752 29154 0 -1 64 2 281 0 0 0 0 0 0 18 0 9 0 27669576 887857152 11191 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29759] ppid=29750 vsize=867048 CPUtime=0.18
/proc/29752/task/29759/stat : 29759 (java) S 29750 29752 29154 0 -1 64 571 281 0 0 18 0 0 0 16 0 9 0 27669576 887857152 11191 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29760] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29760/stat : 29760 (java) S 29750 29752 29154 0 -1 64 1 281 0 0 0 0 0 0 19 0 9 0 27669576 887857152 11191 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/29752/stat : 29752 (java) S 29750 29752 29154 0 -1 0 18171 281 1 0 6328 10 0 0 18 0 9 0 27669571 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29752/statm: 216762 11195 2658 9 0 211198 0
[pid=29752/tid=29754] ppid=29750 vsize=867048 CPUtime=63.12
/proc/29752/task/29754/stat : 29754 (java) R 29750 29752 29154 0 -1 64 13781 281 1 0 6304 8 0 0 25 0 9 0 27669572 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4126922864 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29755] ppid=29750 vsize=867048 CPUtime=0.04
/proc/29752/task/29755/stat : 29755 (java) S 29750 29752 29154 0 -1 64 2982 281 0 0 4 0 0 0 16 0 9 0 27669573 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29752/tid=29756] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29756/stat : 29756 (java) S 29750 29752 29154 0 -1 64 17 281 0 0 0 0 0 0 16 0 9 0 27669574 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29757] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29757/stat : 29757 (java) S 29750 29752 29154 0 -1 64 12 281 0 0 0 0 0 0 16 0 9 0 27669574 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29758] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29758/stat : 29758 (java) S 29750 29752 29154 0 -1 64 2 281 0 0 0 0 0 0 18 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29759] ppid=29750 vsize=867048 CPUtime=0.18
/proc/29752/task/29759/stat : 29759 (java) S 29750 29752 29154 0 -1 64 571 281 0 0 18 0 0 0 16 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29760] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29760/stat : 29760 (java) S 29750 29752 29154 0 -1 64 1 281 0 0 0 0 0 0 19 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29761] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29761/stat : 29761 (java) S 29750 29752 29154 0 -1 64 5 281 0 0 0 0 0 0 15 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 63.38
Current children cumulated vsize (KiB) 867048
[startup+70.3024 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 29765
/proc/meminfo: memFree=1729848/2055920 swapFree=4192812/4192956
[pid=29752] ppid=29750 vsize=867048 CPUtime=69.73
/proc/29752/stat : 29752 (java) S 29750 29752 29154 0 -1 0 18171 281 1 0 6963 10 0 0 18 0 9 0 27669571 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29752/statm: 216762 11195 2658 9 0 211198 0
[pid=29752/tid=29754] ppid=29750 vsize=867048 CPUtime=69.47
/proc/29752/task/29754/stat : 29754 (java) R 29750 29752 29154 0 -1 64 13781 281 1 0 6939 8 0 0 25 0 9 0 27669572 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4126921405 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29755] ppid=29750 vsize=867048 CPUtime=0.04
/proc/29752/task/29755/stat : 29755 (java) S 29750 29752 29154 0 -1 64 2982 281 0 0 4 0 0 0 16 0 9 0 27669573 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29752/tid=29756] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29756/stat : 29756 (java) S 29750 29752 29154 0 -1 64 17 281 0 0 0 0 0 0 16 0 9 0 27669574 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29757] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29757/stat : 29757 (java) S 29750 29752 29154 0 -1 64 12 281 0 0 0 0 0 0 16 0 9 0 27669574 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29758] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29758/stat : 29758 (java) S 29750 29752 29154 0 -1 64 2 281 0 0 0 0 0 0 18 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29759] ppid=29750 vsize=867048 CPUtime=0.18
/proc/29752/task/29759/stat : 29759 (java) S 29750 29752 29154 0 -1 64 571 281 0 0 18 0 0 0 16 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29760] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29760/stat : 29760 (java) S 29750 29752 29154 0 -1 64 1 281 0 0 0 0 0 0 19 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29761] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29761/stat : 29761 (java) S 29750 29752 29154 0 -1 64 5 281 0 0 0 0 0 0 15 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 69.73
Current children cumulated vsize (KiB) 867048
[startup+71.9016 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 29765
/proc/meminfo: memFree=1729848/2055920 swapFree=4192812/4192956
[pid=29752] ppid=29750 vsize=867048 CPUtime=71.32
/proc/29752/stat : 29752 (java) S 29750 29752 29154 0 -1 0 18171 281 1 0 7122 10 0 0 18 0 9 0 27669571 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29752/statm: 216762 11195 2658 9 0 211198 0
[pid=29752/tid=29754] ppid=29750 vsize=867048 CPUtime=71.06
/proc/29752/task/29754/stat : 29754 (java) R 29750 29752 29154 0 -1 64 13781 281 1 0 7098 8 0 0 25 0 9 0 27669572 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4126862589 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29755] ppid=29750 vsize=867048 CPUtime=0.04
/proc/29752/task/29755/stat : 29755 (java) S 29750 29752 29154 0 -1 64 2982 281 0 0 4 0 0 0 16 0 9 0 27669573 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29752/tid=29756] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29756/stat : 29756 (java) S 29750 29752 29154 0 -1 64 17 281 0 0 0 0 0 0 16 0 9 0 27669574 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29757] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29757/stat : 29757 (java) S 29750 29752 29154 0 -1 64 12 281 0 0 0 0 0 0 16 0 9 0 27669574 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29758] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29758/stat : 29758 (java) S 29750 29752 29154 0 -1 64 2 281 0 0 0 0 0 0 18 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29759] ppid=29750 vsize=867048 CPUtime=0.18
/proc/29752/task/29759/stat : 29759 (java) S 29750 29752 29154 0 -1 64 571 281 0 0 18 0 0 0 16 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29760] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29760/stat : 29760 (java) S 29750 29752 29154 0 -1 64 1 281 0 0 0 0 0 0 19 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29761] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29761/stat : 29761 (java) S 29750 29752 29154 0 -1 64 5 281 0 0 0 0 0 0 15 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 71.32
Current children cumulated vsize (KiB) 867048
[startup+72.7017 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 29765
/proc/meminfo: memFree=1729848/2055920 swapFree=4192812/4192956
[pid=29752] ppid=29750 vsize=867048 CPUtime=72.11
/proc/29752/stat : 29752 (java) S 29750 29752 29154 0 -1 0 18171 281 1 0 7201 10 0 0 18 0 9 0 27669571 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29752/statm: 216762 11195 2658 9 0 211198 0
[pid=29752/tid=29754] ppid=29750 vsize=867048 CPUtime=71.85
/proc/29752/task/29754/stat : 29754 (java) R 29750 29752 29154 0 -1 64 13781 281 1 0 7177 8 0 0 25 0 9 0 27669572 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4126862555 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29755] ppid=29750 vsize=867048 CPUtime=0.04
/proc/29752/task/29755/stat : 29755 (java) S 29750 29752 29154 0 -1 64 2982 281 0 0 4 0 0 0 16 0 9 0 27669573 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29752/tid=29756] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29756/stat : 29756 (java) S 29750 29752 29154 0 -1 64 17 281 0 0 0 0 0 0 16 0 9 0 27669574 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29757] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29757/stat : 29757 (java) S 29750 29752 29154 0 -1 64 12 281 0 0 0 0 0 0 16 0 9 0 27669574 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29758] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29758/stat : 29758 (java) S 29750 29752 29154 0 -1 64 2 281 0 0 0 0 0 0 18 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29759] ppid=29750 vsize=867048 CPUtime=0.18
/proc/29752/task/29759/stat : 29759 (java) S 29750 29752 29154 0 -1 64 571 281 0 0 18 0 0 0 16 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29760] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29760/stat : 29760 (java) S 29750 29752 29154 0 -1 64 1 281 0 0 0 0 0 0 19 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29761] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29761/stat : 29761 (java) S 29750 29752 29154 0 -1 64 5 281 0 0 0 0 0 0 15 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 72.11
Current children cumulated vsize (KiB) 867048
[startup+73.5018 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 29765
/proc/meminfo: memFree=1729848/2055920 swapFree=4192812/4192956
[pid=29752] ppid=29750 vsize=867048 CPUtime=72.91
/proc/29752/stat : 29752 (java) S 29750 29752 29154 0 -1 0 18171 281 1 0 7281 10 0 0 18 0 9 0 27669571 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29752/statm: 216762 11195 2658 9 0 211198 0
[pid=29752/tid=29754] ppid=29750 vsize=867048 CPUtime=72.65
/proc/29752/task/29754/stat : 29754 (java) R 29750 29752 29154 0 -1 64 13781 281 1 0 7257 8 0 0 25 0 9 0 27669572 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4126921384 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29755] ppid=29750 vsize=867048 CPUtime=0.04
/proc/29752/task/29755/stat : 29755 (java) S 29750 29752 29154 0 -1 64 2982 281 0 0 4 0 0 0 16 0 9 0 27669573 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29752/tid=29756] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29756/stat : 29756 (java) S 29750 29752 29154 0 -1 64 17 281 0 0 0 0 0 0 16 0 9 0 27669574 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29757] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29757/stat : 29757 (java) S 29750 29752 29154 0 -1 64 12 281 0 0 0 0 0 0 16 0 9 0 27669574 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29758] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29758/stat : 29758 (java) S 29750 29752 29154 0 -1 64 2 281 0 0 0 0 0 0 18 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29759] ppid=29750 vsize=867048 CPUtime=0.18
/proc/29752/task/29759/stat : 29759 (java) S 29750 29752 29154 0 -1 64 571 281 0 0 18 0 0 0 16 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29760] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29760/stat : 29760 (java) S 29750 29752 29154 0 -1 64 1 281 0 0 0 0 0 0 19 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29761] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29761/stat : 29761 (java) S 29750 29752 29154 0 -1 64 5 281 0 0 0 0 0 0 15 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 72.91
Current children cumulated vsize (KiB) 867048
[startup+73.9018 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 29765
/proc/meminfo: memFree=1729848/2055920 swapFree=4192812/4192956
[pid=29752] ppid=29750 vsize=867048 CPUtime=73.3
/proc/29752/stat : 29752 (java) S 29750 29752 29154 0 -1 0 18171 281 1 0 7320 10 0 0 18 0 9 0 27669571 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29752/statm: 216762 11195 2658 9 0 211198 0
[pid=29752/tid=29754] ppid=29750 vsize=867048 CPUtime=73.04
/proc/29752/task/29754/stat : 29754 (java) R 29750 29752 29154 0 -1 64 13781 281 1 0 7296 8 0 0 25 0 9 0 27669572 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4126922359 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29755] ppid=29750 vsize=867048 CPUtime=0.04
/proc/29752/task/29755/stat : 29755 (java) S 29750 29752 29154 0 -1 64 2982 281 0 0 4 0 0 0 16 0 9 0 27669573 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29752/tid=29756] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29756/stat : 29756 (java) S 29750 29752 29154 0 -1 64 17 281 0 0 0 0 0 0 16 0 9 0 27669574 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29757] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29757/stat : 29757 (java) S 29750 29752 29154 0 -1 64 12 281 0 0 0 0 0 0 16 0 9 0 27669574 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29758] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29758/stat : 29758 (java) S 29750 29752 29154 0 -1 64 2 281 0 0 0 0 0 0 18 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29759] ppid=29750 vsize=867048 CPUtime=0.18
/proc/29752/task/29759/stat : 29759 (java) S 29750 29752 29154 0 -1 64 571 281 0 0 18 0 0 0 16 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29760] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29760/stat : 29760 (java) S 29750 29752 29154 0 -1 64 1 281 0 0 0 0 0 0 19 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29761] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29761/stat : 29761 (java) S 29750 29752 29154 0 -1 64 5 281 0 0 0 0 0 0 15 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 73.3
Current children cumulated vsize (KiB) 867048
[startup+74.0018 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 29765
/proc/meminfo: memFree=1729848/2055920 swapFree=4192812/4192956
[pid=29752] ppid=29750 vsize=867048 CPUtime=73.4
/proc/29752/stat : 29752 (java) S 29750 29752 29154 0 -1 0 18171 281 1 0 7330 10 0 0 18 0 9 0 27669571 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29752/statm: 216762 11195 2658 9 0 211198 0
[pid=29752/tid=29754] ppid=29750 vsize=867048 CPUtime=73.14
/proc/29752/task/29754/stat : 29754 (java) R 29750 29752 29154 0 -1 64 13781 281 1 0 7306 8 0 0 25 0 9 0 27669572 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4126862580 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29755] ppid=29750 vsize=867048 CPUtime=0.04
/proc/29752/task/29755/stat : 29755 (java) S 29750 29752 29154 0 -1 64 2982 281 0 0 4 0 0 0 16 0 9 0 27669573 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29752/tid=29756] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29756/stat : 29756 (java) S 29750 29752 29154 0 -1 64 17 281 0 0 0 0 0 0 16 0 9 0 27669574 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29757] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29757/stat : 29757 (java) S 29750 29752 29154 0 -1 64 12 281 0 0 0 0 0 0 16 0 9 0 27669574 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29758] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29758/stat : 29758 (java) S 29750 29752 29154 0 -1 64 2 281 0 0 0 0 0 0 18 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29759] ppid=29750 vsize=867048 CPUtime=0.18
/proc/29752/task/29759/stat : 29759 (java) S 29750 29752 29154 0 -1 64 571 281 0 0 18 0 0 0 16 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29760] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29760/stat : 29760 (java) S 29750 29752 29154 0 -1 64 1 281 0 0 0 0 0 0 19 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29752/tid=29761] ppid=29750 vsize=867048 CPUtime=0
/proc/29752/task/29761/stat : 29761 (java) S 29750 29752 29154 0 -1 64 5 281 0 0 0 0 0 0 15 0 9 0 27669576 887857152 11195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 73.4
Current children cumulated vsize (KiB) 867048
Child status: 0
Real time (s): 74.0955
CPU time (s): 73.4938
CPU user time (s): 73.3728
CPU system time (s): 0.120981
CPU usage (%): 99.1879
Max. virtual memory (cumulated for all children) (KiB): 867048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 73.3728
system time used= 0.120981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18586
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= 2231
involuntary context switches= 3805
runsolver used 0.084987 second user time and 0.200969 second system time
The end
Begin job on node91 at 2009-07-12 15:40:49
IDJOB=2095035
IDBENCH=54807
IDSOLVER=773
FILE ID=node91/2095035-1247406049
PBS_JOBID= 9510470
Free space on /tmp= 66220 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/pseudo/mpsReduced/normalized-mps-red-markshare1.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= BIN/runsolver --timestamp -w /tmp/evaluation-result-2095035-1247406049/watcher-2095035-1247406049 -o /tmp/evaluation-result-2095035-1247406049/solver-2095035-1247406049 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2095035-1247406049.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a6d19b79787497b81a48d14bc159d8bd
RANDOM SEED=1521477312
node91.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.241
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.241
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1765472 kB
Buffers: 34992 kB
Cached: 98220 kB
SwapCached: 0 kB
Active: 192344 kB
Inactive: 45700 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1765472 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2064 kB
Writeback: 0 kB
Mapped: 125296 kB
Slab: 37416 kB
Committed_AS: 1001260 kB
PageTables: 1912 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66216 MiB
End job on node91 at 2009-07-12 15:42:04