0.06/0.09
0.06/0.09 Abscon 112 (May, 2008)
0.17/0.26
0.17/0.26 configuration
0.17/0.26 name=esac.xml
0.26/0.30
0.26/0.30 instance
0.26/0.30 name=HOME/instance-1078363-1215206641.xml
0.26/0.34
0.26/0.34 domains being loaded...
0.26/0.35
0.26/0.35 variables being loaded...
0.26/0.37 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20 nbTotalValues=400
0.26/0.37 => wckTime=0.115 cpuTime=0.09 mem=7M919
0.26/0.37
0.26/0.37 relations being loaded...
0.56/0.60
0.56/0.60 constraints being loaded...
0.75/0.82 nbConstraints=58 nbRelationTypes=58 nbGlobalConstraints=58 nbExtensionStructures=58
0.75/0.82 nbSharedExtensionStructures=0 nbConflictsStructures=58 nbSharedConflictsStructures=0
0.75/0.82 nbSharedBinaryRepresentations=0 minDegree=4 maxDegree=15 minArity=3 maxArity=3 nbGenerators=0 nbFusions=0
0.75/0.82 symmetryWckTime=0.042 symmetryCpuTime=0.02
0.75/0.82 => wckTime=0.559 cpuTime=0.47 mem=47M224
0.84/0.93
0.84/0.94 solver IterativeSystematicSolver being built...
0.94/1.01
0.94/1.02 INFO : Forward propagation technique limited
0.94/1.08 => wckTime=0.827 cpuTime=0.6 mem=29M419
1.15/1.22
1.15/1.22 preprocessing
1.15/1.22 nbConstraintChecks=0 nbValidityChecks=1254693 nbPropagations=200 nbRevisions=0 nbUselessRevisions=0
1.15/1.22 nbSingletonTests=28 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
1.15/1.22 detectedInconsistency=no
1.15/1.22 => wckTime=0.136 cpuTime=0.11 mem=29M419
1.75/1.89
1.75/1.89 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=30M386)
175.97/177.76
175.97/177.76 search
175.97/177.76 run=19 nbConstraintChecks=1242602 nbValidityChecks=2196217536 minDepth=1 maxDepth=20 nbPropagations=4095200
175.97/177.76 nbRevisions=0 nbUselessRevisions=0 nbAssignments=110632 nbFailedAssignments=62189 nbInferredBacktracks=2
175.97/177.76 nbBacktracks=48324 nbVisitedNodes=204451 nbRestartNogoods=211 nbFoundSolutions=1 nbSEliminables=0.09
175.97/177.76 nbREliminables=3.62 nbIEliminables=10.88 nbDEliminables=0 nbPEliminables=0
175.97/177.76 => wckTime=176.676 cpuTime=174.9 mem=33M238
175.97/177.77
175.97/177.77 global
175.97/177.77 nbConstraintChecks=1242602 nbValidityChecks=2197472229 nbPropagations=4095400 nbRestartNogoods=211
175.97/177.77 solvingWckTime=176.68 solvingCpuTime=174.9 expiredTime=no totalExploration=no nbFoundSolutions=1
175.97/177.77 firstSolutionCpuTime=175.49 globalCpuTime=175.53
175.97/177.77 => wckTime=177.508 cpuTime=175.5 mem=33M238
175.97/177.77
175.97/177.77 s SATISFIABLE
175.97/177.77 v 5 4 16 4 14 11 10 13 10 2 0 4 11 12 14 10 10 17 12 18
175.97/177.77 d NODES 110632
175.97/177.77 d CHECKS 1242602
175.97/177.77
175.97/177.77 totalWckTime=177.575 totalCpuTime=175.53
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1078363-1215206641/watcher-1078363-1215206641 -o /tmp/evaluation-result-1078363-1215206641/solver-1078363-1215206641 -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-1078363-1215206641.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.02 2.00 3/73 29979
/proc/meminfo: memFree=881184/2055920 swapFree=4179776/4192956
[pid=29979] ppid=29977 vsize=152 CPUtime=0
/proc/29979/stat : 29979 (java) R 29977 29979 29416 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 1999636587 155648 26 996147200 134512640 134550740 4294955968 18446744073709551615 1979172 0 0 4096 0 0 0 0 17 0 0 0
/proc/29979/statm: 38 26 19 9 0 4 0
[startup+0.0774431 s]
/proc/loadavg: 2.03 2.02 2.00 3/73 29979
/proc/meminfo: memFree=881184/2055920 swapFree=4179776/4192956
[pid=29979] ppid=29977 vsize=865856 CPUtime=0.06
/proc/29979/stat : 29979 (java) S 29977 29979 29416 0 -1 0 3382 0 1 0 4 2 0 0 18 0 9 0 1999636587 886636544 2895 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29979/statm: 216464 2895 1568 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856
[startup+0.101441 s]
/proc/loadavg: 2.03 2.02 2.00 3/73 29979
/proc/meminfo: memFree=881184/2055920 swapFree=4179776/4192956
[pid=29979] ppid=29977 vsize=865884 CPUtime=0.08
/proc/29979/stat : 29979 (java) S 29977 29979 29416 0 -1 0 3693 0 1 0 6 2 0 0 18 0 9 0 1999636587 886665216 3168 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29979/statm: 216471 3168 1685 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301455 s]
/proc/loadavg: 2.03 2.02 2.00 3/73 29979
/proc/meminfo: memFree=881184/2055920 swapFree=4179776/4192956
[pid=29979] ppid=29977 vsize=866284 CPUtime=0.26
/proc/29979/stat : 29979 (java) S 29977 29979 29416 0 -1 0 5732 0 1 0 22 4 0 0 18 0 9 0 1999636587 887074816 5117 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29979/statm: 216571 5117 1943 9 0 211099 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 866284
[startup+0.701492 s]
/proc/loadavg: 2.03 2.02 2.00 3/73 29979
/proc/meminfo: memFree=881184/2055920 swapFree=4179776/4192956
[pid=29979] ppid=29977 vsize=866520 CPUtime=0.65
/proc/29979/stat : 29979 (java) S 29977 29979 29416 0 -1 0 13134 0 1 0 58 7 0 0 18 0 9 0 1999636587 887316480 12494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29979/statm: 216630 12496 1977 9 0 211158 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 866520
[startup+1.50156 s]
/proc/loadavg: 2.03 2.02 2.00 6/84 29992
/proc/meminfo: memFree=802248/2055920 swapFree=4179776/4192956
[pid=29979] ppid=29977 vsize=866932 CPUtime=1.44
/proc/29979/stat : 29979 (java) S 29977 29979 29416 0 -1 0 27782 269 1 0 130 13 0 1 18 0 9 0 1999636587 887738368 18757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29979/statm: 216733 18757 2631 9 0 211239 0
[pid=29979/tid=29981] ppid=29977 vsize=866932 CPUtime=1.14
/proc/29979/task/29981/stat : 29981 (java) R 29977 29979 29416 0 -1 64 19108 269 1 0 104 9 0 1 19 0 9 0 1999636588 887738368 18757 996147200 134512640 134550740 4294955968 18446744073709551615 4126746308 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29982] ppid=29977 vsize=866932 CPUtime=0.11
/proc/29979/task/29982/stat : 29982 (java) S 29977 29979 29416 0 -1 64 7340 269 0 0 9 1 0 1 18 0 9 0 1999636589 887738368 18757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29983] ppid=29977 vsize=866932 CPUtime=0.01
/proc/29979/task/29983/stat : 29983 (java) S 29977 29979 29416 0 -1 64 15 269 0 0 0 0 0 1 16 0 9 0 1999636589 887738368 18757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29984] ppid=29977 vsize=866932 CPUtime=0.01
/proc/29979/task/29984/stat : 29984 (java) S 29977 29979 29416 0 -1 64 8 269 0 0 0 0 0 1 16 0 9 0 1999636590 887738368 18757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29985] ppid=29977 vsize=866932 CPUtime=0.01
/proc/29979/task/29985/stat : 29985 (java) S 29977 29979 29416 0 -1 64 0 269 0 0 0 0 0 1 23 0 9 0 1999636592 887738368 18757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29986] ppid=29977 vsize=866932 CPUtime=0.17
/proc/29979/task/29986/stat : 29986 (java) S 29977 29979 29416 0 -1 64 500 269 0 0 16 0 0 1 15 0 9 0 1999636592 887738368 18757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29987] ppid=29977 vsize=866932 CPUtime=0.01
/proc/29979/task/29987/stat : 29987 (java) S 29977 29979 29416 0 -1 64 2 269 0 0 0 0 0 1 24 0 9 0 1999636592 887738368 18757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29988] ppid=29977 vsize=866932 CPUtime=0.01
/proc/29979/task/29988/stat : 29988 (java) S 29977 29979 29416 0 -1 64 3 269 0 0 0 0 0 1 15 0 9 0 1999636592 887738368 18757 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 866932
[startup+3.10171 s]
/proc/loadavg: 2.02 2.02 2.00 3/82 29992
/proc/meminfo: memFree=800016/2055920 swapFree=4179776/4192956
[pid=29979] ppid=29977 vsize=866932 CPUtime=3.04
/proc/29979/stat : 29979 (java) S 29977 29979 29416 0 -1 0 27800 269 1 0 289 14 0 1 18 0 9 0 1999636587 887738368 18768 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29979/statm: 216733 18768 2631 9 0 211239 0
[pid=29979/tid=29981] ppid=29977 vsize=866932 CPUtime=2.7
/proc/29979/task/29981/stat : 29981 (java) R 29977 29979 29416 0 -1 64 19115 269 1 0 260 9 0 1 25 0 9 0 1999636588 887738368 18768 996147200 134512640 134550740 4294955968 18446744073709551615 4126755103 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29982] ppid=29977 vsize=866932 CPUtime=0.11
/proc/29979/task/29982/stat : 29982 (java) S 29977 29979 29416 0 -1 64 7340 269 0 0 9 1 0 1 17 0 9 0 1999636589 887738368 18768 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29983] ppid=29977 vsize=866932 CPUtime=0.01
/proc/29979/task/29983/stat : 29983 (java) S 29977 29979 29416 0 -1 64 15 269 0 0 0 0 0 1 16 0 9 0 1999636589 887738368 18768 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29984] ppid=29977 vsize=866932 CPUtime=0.01
/proc/29979/task/29984/stat : 29984 (java) S 29977 29979 29416 0 -1 64 8 269 0 0 0 0 0 1 16 0 9 0 1999636590 887738368 18768 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29985] ppid=29977 vsize=866932 CPUtime=0.01
/proc/29979/task/29985/stat : 29985 (java) S 29977 29979 29416 0 -1 64 0 269 0 0 0 0 0 1 23 0 9 0 1999636592 887738368 18768 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29986] ppid=29977 vsize=866932 CPUtime=0.19
/proc/29979/task/29986/stat : 29986 (java) S 29977 29979 29416 0 -1 64 511 269 0 0 18 0 0 1 15 0 9 0 1999636592 887738368 18768 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29987] ppid=29977 vsize=866932 CPUtime=0.01
/proc/29979/task/29987/stat : 29987 (java) S 29977 29979 29416 0 -1 64 2 269 0 0 0 0 0 1 24 0 9 0 1999636592 887738368 18768 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29988] ppid=29977 vsize=866932 CPUtime=0.01
/proc/29979/task/29988/stat : 29988 (java) S 29977 29979 29416 0 -1 64 3 269 0 0 0 0 0 1 15 0 9 0 1999636592 887738368 18768 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 866932
[startup+6.30299 s]
/proc/loadavg: 2.02 2.02 2.00 3/82 29992
/proc/meminfo: memFree=807440/2055920 swapFree=4179776/4192956
[pid=29979] ppid=29977 vsize=867064 CPUtime=6.2
/proc/29979/stat : 29979 (java) S 29977 29979 29416 0 -1 0 27821 269 1 0 605 14 0 1 18 0 9 0 1999636587 887873536 18783 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29979/statm: 216766 18783 2631 9 0 211272 0
[pid=29979/tid=29981] ppid=29977 vsize=867064 CPUtime=5.84
/proc/29979/task/29981/stat : 29981 (java) R 29977 29979 29416 0 -1 64 19119 269 1 0 574 9 0 1 17 0 9 0 1999636588 887873536 18783 996147200 134512640 134550740 4294955968 18446744073709551615 4126746059 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29982] ppid=29977 vsize=867064 CPUtime=0.11
/proc/29979/task/29982/stat : 29982 (java) S 29977 29979 29416 0 -1 64 7340 269 0 0 9 1 0 1 16 0 9 0 1999636589 887873536 18783 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29983] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29983/stat : 29983 (java) S 29977 29979 29416 0 -1 64 15 269 0 0 0 0 0 1 16 0 9 0 1999636589 887873536 18783 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29984] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29984/stat : 29984 (java) S 29977 29979 29416 0 -1 64 8 269 0 0 0 0 0 1 16 0 9 0 1999636590 887873536 18783 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29985] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29985/stat : 29985 (java) S 29977 29979 29416 0 -1 64 0 269 0 0 0 0 0 1 23 0 9 0 1999636592 887873536 18783 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29986] ppid=29977 vsize=867064 CPUtime=0.22
/proc/29979/task/29986/stat : 29986 (java) S 29977 29979 29416 0 -1 64 528 269 0 0 21 0 0 1 16 0 9 0 1999636592 887873536 18783 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29987] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29987/stat : 29987 (java) S 29977 29979 29416 0 -1 64 2 269 0 0 0 0 0 1 24 0 9 0 1999636592 887873536 18783 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29988] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29988/stat : 29988 (java) S 29977 29979 29416 0 -1 64 3 269 0 0 0 0 0 1 15 0 9 0 1999636592 887873536 18783 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 867064
[startup+12.7026 s]
/proc/loadavg: 2.02 2.02 2.00 3/82 29992
/proc/meminfo: memFree=807256/2055920 swapFree=4179776/4192956
[pid=29979] ppid=29977 vsize=867064 CPUtime=12.53
/proc/29979/stat : 29979 (java) S 29977 29979 29416 0 -1 0 27842 269 1 0 1238 14 0 1 18 0 9 0 1999636587 887873536 18785 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29979/statm: 216766 18785 2631 9 0 211272 0
[pid=29979/tid=29981] ppid=29977 vsize=867064 CPUtime=12.18
/proc/29979/task/29981/stat : 29981 (java) R 29977 29979 29416 0 -1 64 19137 269 1 0 1207 10 0 1 25 0 9 0 1999636588 887873536 18785 996147200 134512640 134550740 4294955968 18446744073709551615 4126734987 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29982] ppid=29977 vsize=867064 CPUtime=0.11
/proc/29979/task/29982/stat : 29982 (java) S 29977 29979 29416 0 -1 64 7340 269 0 0 9 1 0 1 16 0 9 0 1999636589 887873536 18785 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29983] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29983/stat : 29983 (java) S 29977 29979 29416 0 -1 64 15 269 0 0 0 0 0 1 16 0 9 0 1999636589 887873536 18785 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29984] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29984/stat : 29984 (java) S 29977 29979 29416 0 -1 64 8 269 0 0 0 0 0 1 16 0 9 0 1999636590 887873536 18785 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29985] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29985/stat : 29985 (java) S 29977 29979 29416 0 -1 64 0 269 0 0 0 0 0 1 23 0 9 0 1999636592 887873536 18785 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29986] ppid=29977 vsize=867064 CPUtime=0.22
/proc/29979/task/29986/stat : 29986 (java) S 29977 29979 29416 0 -1 64 531 269 0 0 21 0 0 1 15 0 9 0 1999636592 887873536 18785 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29987] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29987/stat : 29987 (java) S 29977 29979 29416 0 -1 64 2 269 0 0 0 0 0 1 24 0 9 0 1999636592 887873536 18785 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29988] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29988/stat : 29988 (java) S 29977 29979 29416 0 -1 64 3 269 0 0 0 0 0 1 15 0 9 0 1999636592 887873536 18785 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 867064
[startup+25.5027 s]
/proc/loadavg: 2.02 2.02 2.00 3/82 29992
/proc/meminfo: memFree=807320/2055920 swapFree=4179776/4192956
[pid=29979] ppid=29977 vsize=867064 CPUtime=25.21
/proc/29979/stat : 29979 (java) S 29977 29979 29416 0 -1 0 27887 269 1 0 2506 14 0 1 18 0 9 0 1999636587 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29979/statm: 216766 18787 2631 9 0 211272 0
[pid=29979/tid=29981] ppid=29977 vsize=867064 CPUtime=24.85
/proc/29979/task/29981/stat : 29981 (java) R 29977 29979 29416 0 -1 64 19180 269 1 0 2474 10 0 1 25 0 9 0 1999636588 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4126746156 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29982] ppid=29977 vsize=867064 CPUtime=0.11
/proc/29979/task/29982/stat : 29982 (java) S 29977 29979 29416 0 -1 64 7340 269 0 0 9 1 0 1 16 0 9 0 1999636589 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29983] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29983/stat : 29983 (java) S 29977 29979 29416 0 -1 64 15 269 0 0 0 0 0 1 16 0 9 0 1999636589 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29984] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29984/stat : 29984 (java) S 29977 29979 29416 0 -1 64 8 269 0 0 0 0 0 1 16 0 9 0 1999636590 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29985] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29985/stat : 29985 (java) S 29977 29979 29416 0 -1 64 0 269 0 0 0 0 0 1 23 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29986] ppid=29977 vsize=867064 CPUtime=0.23
/proc/29979/task/29986/stat : 29986 (java) S 29977 29979 29416 0 -1 64 533 269 0 0 22 0 0 1 16 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29987] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29987/stat : 29987 (java) S 29977 29979 29416 0 -1 64 2 269 0 0 0 0 0 1 24 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29988] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29988/stat : 29988 (java) S 29977 29979 29416 0 -1 64 3 269 0 0 0 0 0 1 15 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 867064
[startup+51.103 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 29992
/proc/meminfo: memFree=807320/2055920 swapFree=4179776/4192956
[pid=29979] ppid=29977 vsize=867064 CPUtime=50.56
/proc/29979/stat : 29979 (java) S 29977 29979 29416 0 -1 0 27948 269 1 0 5041 14 0 1 18 0 9 0 1999636587 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29979/statm: 216766 18787 2631 9 0 211272 0
[pid=29979/tid=29981] ppid=29977 vsize=867064 CPUtime=50.2
/proc/29979/task/29981/stat : 29981 (java) R 29977 29979 29416 0 -1 64 19241 269 1 0 5009 10 0 1 25 0 9 0 1999636588 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4126746252 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29982] ppid=29977 vsize=867064 CPUtime=0.11
/proc/29979/task/29982/stat : 29982 (java) S 29977 29979 29416 0 -1 64 7340 269 0 0 9 1 0 1 16 0 9 0 1999636589 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29983] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29983/stat : 29983 (java) S 29977 29979 29416 0 -1 64 15 269 0 0 0 0 0 1 16 0 9 0 1999636589 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29984] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29984/stat : 29984 (java) S 29977 29979 29416 0 -1 64 8 269 0 0 0 0 0 1 16 0 9 0 1999636590 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29985] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29985/stat : 29985 (java) S 29977 29979 29416 0 -1 64 0 269 0 0 0 0 0 1 23 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29986] ppid=29977 vsize=867064 CPUtime=0.23
/proc/29979/task/29986/stat : 29986 (java) S 29977 29979 29416 0 -1 64 533 269 0 0 22 0 0 1 16 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29987] ppid=29977 vsize=867064 CPUtime=0.01
################
# More data... #
################
/proc/29979/stat : 29979 (java) S 29977 29979 29416 0 -1 0 28254 269 1 0 16453 14 0 1 18 0 9 0 1999636587 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29979/statm: 216766 18787 2631 9 0 211272 0
[pid=29979/tid=29981] ppid=29977 vsize=867064 CPUtime=164.32
/proc/29979/task/29981/stat : 29981 (java) R 29977 29979 29416 0 -1 64 19547 269 1 0 16421 10 0 1 25 0 9 0 1999636588 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4126746101 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29982] ppid=29977 vsize=867064 CPUtime=0.11
/proc/29979/task/29982/stat : 29982 (java) S 29977 29979 29416 0 -1 64 7340 269 0 0 9 1 0 1 16 0 9 0 1999636589 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29983] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29983/stat : 29983 (java) S 29977 29979 29416 0 -1 64 15 269 0 0 0 0 0 1 16 0 9 0 1999636589 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29984] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29984/stat : 29984 (java) S 29977 29979 29416 0 -1 64 8 269 0 0 0 0 0 1 16 0 9 0 1999636590 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29985] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29985/stat : 29985 (java) S 29977 29979 29416 0 -1 64 0 269 0 0 0 0 0 1 23 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29986] ppid=29977 vsize=867064 CPUtime=0.23
/proc/29979/task/29986/stat : 29986 (java) S 29977 29979 29416 0 -1 64 533 269 0 0 22 0 0 1 16 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29987] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29987/stat : 29987 (java) S 29977 29979 29416 0 -1 64 2 269 0 0 0 0 0 1 24 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29988] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29988/stat : 29988 (java) S 29977 29979 29416 0 -1 64 3 269 0 0 0 0 0 1 15 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 164.68
Current children cumulated vsize (KiB) 867064
[startup+172.707 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 29992
/proc/meminfo: memFree=802584/2055920 swapFree=4179776/4192956
[pid=29979] ppid=29977 vsize=867064 CPUtime=171.02
/proc/29979/stat : 29979 (java) S 29977 29979 29416 0 -1 0 28285 269 1 0 17087 14 0 1 18 0 9 0 1999636587 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29979/statm: 216766 18787 2631 9 0 211272 0
[pid=29979/tid=29981] ppid=29977 vsize=867064 CPUtime=170.66
/proc/29979/task/29981/stat : 29981 (java) R 29977 29979 29416 0 -1 64 19578 269 1 0 17055 10 0 1 25 0 9 0 1999636588 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4126746242 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29982] ppid=29977 vsize=867064 CPUtime=0.11
/proc/29979/task/29982/stat : 29982 (java) S 29977 29979 29416 0 -1 64 7340 269 0 0 9 1 0 1 16 0 9 0 1999636589 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29983] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29983/stat : 29983 (java) S 29977 29979 29416 0 -1 64 15 269 0 0 0 0 0 1 16 0 9 0 1999636589 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29984] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29984/stat : 29984 (java) S 29977 29979 29416 0 -1 64 8 269 0 0 0 0 0 1 16 0 9 0 1999636590 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29985] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29985/stat : 29985 (java) S 29977 29979 29416 0 -1 64 0 269 0 0 0 0 0 1 23 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29986] ppid=29977 vsize=867064 CPUtime=0.23
/proc/29979/task/29986/stat : 29986 (java) S 29977 29979 29416 0 -1 64 533 269 0 0 22 0 0 1 16 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29987] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29987/stat : 29987 (java) S 29977 29979 29416 0 -1 64 2 269 0 0 0 0 0 1 24 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29988] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29988/stat : 29988 (java) S 29977 29979 29416 0 -1 64 3 269 0 0 0 0 0 1 15 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 171.02
Current children cumulated vsize (KiB) 867064
[startup+175.902 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 29992
/proc/meminfo: memFree=802584/2055920 swapFree=4179776/4192956
[pid=29979] ppid=29977 vsize=867064 CPUtime=174.19
/proc/29979/stat : 29979 (java) S 29977 29979 29416 0 -1 0 28300 269 1 0 17404 14 0 1 18 0 9 0 1999636587 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29979/statm: 216766 18787 2631 9 0 211272 0
[pid=29979/tid=29981] ppid=29977 vsize=867064 CPUtime=173.83
/proc/29979/task/29981/stat : 29981 (java) R 29977 29979 29416 0 -1 64 19593 269 1 0 17372 10 0 1 25 0 9 0 1999636588 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4126735002 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29982] ppid=29977 vsize=867064 CPUtime=0.11
/proc/29979/task/29982/stat : 29982 (java) S 29977 29979 29416 0 -1 64 7340 269 0 0 9 1 0 1 16 0 9 0 1999636589 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29983] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29983/stat : 29983 (java) S 29977 29979 29416 0 -1 64 15 269 0 0 0 0 0 1 16 0 9 0 1999636589 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29984] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29984/stat : 29984 (java) S 29977 29979 29416 0 -1 64 8 269 0 0 0 0 0 1 16 0 9 0 1999636590 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29985] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29985/stat : 29985 (java) S 29977 29979 29416 0 -1 64 0 269 0 0 0 0 0 1 23 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29986] ppid=29977 vsize=867064 CPUtime=0.23
/proc/29979/task/29986/stat : 29986 (java) S 29977 29979 29416 0 -1 64 533 269 0 0 22 0 0 1 16 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29987] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29987/stat : 29987 (java) S 29977 29979 29416 0 -1 64 2 269 0 0 0 0 0 1 24 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29988] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29988/stat : 29988 (java) S 29977 29979 29416 0 -1 64 3 269 0 0 0 0 0 1 15 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 174.19
Current children cumulated vsize (KiB) 867064
[startup+176.702 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 29992
/proc/meminfo: memFree=802584/2055920 swapFree=4179776/4192956
[pid=29979] ppid=29977 vsize=867064 CPUtime=174.98
/proc/29979/stat : 29979 (java) S 29977 29979 29416 0 -1 0 28303 269 1 0 17483 14 0 1 18 0 9 0 1999636587 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29979/statm: 216766 18787 2631 9 0 211272 0
[pid=29979/tid=29981] ppid=29977 vsize=867064 CPUtime=174.62
/proc/29979/task/29981/stat : 29981 (java) R 29977 29979 29416 0 -1 64 19596 269 1 0 17451 10 0 1 25 0 9 0 1999636588 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4126790464 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29982] ppid=29977 vsize=867064 CPUtime=0.11
/proc/29979/task/29982/stat : 29982 (java) S 29977 29979 29416 0 -1 64 7340 269 0 0 9 1 0 1 16 0 9 0 1999636589 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29983] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29983/stat : 29983 (java) S 29977 29979 29416 0 -1 64 15 269 0 0 0 0 0 1 16 0 9 0 1999636589 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29984] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29984/stat : 29984 (java) S 29977 29979 29416 0 -1 64 8 269 0 0 0 0 0 1 16 0 9 0 1999636590 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29985] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29985/stat : 29985 (java) S 29977 29979 29416 0 -1 64 0 269 0 0 0 0 0 1 23 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29986] ppid=29977 vsize=867064 CPUtime=0.23
/proc/29979/task/29986/stat : 29986 (java) S 29977 29979 29416 0 -1 64 533 269 0 0 22 0 0 1 16 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29987] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29987/stat : 29987 (java) S 29977 29979 29416 0 -1 64 2 269 0 0 0 0 0 1 24 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29988] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29988/stat : 29988 (java) S 29977 29979 29416 0 -1 64 3 269 0 0 0 0 0 1 15 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 174.98
Current children cumulated vsize (KiB) 867064
[startup+177.502 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 29992
/proc/meminfo: memFree=802584/2055920 swapFree=4179776/4192956
[pid=29979] ppid=29977 vsize=867064 CPUtime=175.78
/proc/29979/stat : 29979 (java) S 29977 29979 29416 0 -1 0 28306 269 1 0 17563 14 0 1 18 0 9 0 1999636587 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29979/statm: 216766 18787 2631 9 0 211272 0
[pid=29979/tid=29981] ppid=29977 vsize=867064 CPUtime=175.42
/proc/29979/task/29981/stat : 29981 (java) R 29977 29979 29416 0 -1 64 19599 269 1 0 17531 10 0 1 25 0 9 0 1999636588 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4126746226 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29982] ppid=29977 vsize=867064 CPUtime=0.11
/proc/29979/task/29982/stat : 29982 (java) S 29977 29979 29416 0 -1 64 7340 269 0 0 9 1 0 1 16 0 9 0 1999636589 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29983] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29983/stat : 29983 (java) S 29977 29979 29416 0 -1 64 15 269 0 0 0 0 0 1 16 0 9 0 1999636589 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29984] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29984/stat : 29984 (java) S 29977 29979 29416 0 -1 64 8 269 0 0 0 0 0 1 16 0 9 0 1999636590 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29985] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29985/stat : 29985 (java) S 29977 29979 29416 0 -1 64 0 269 0 0 0 0 0 1 23 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29986] ppid=29977 vsize=867064 CPUtime=0.23
/proc/29979/task/29986/stat : 29986 (java) S 29977 29979 29416 0 -1 64 533 269 0 0 22 0 0 1 16 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29987] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29987/stat : 29987 (java) S 29977 29979 29416 0 -1 64 2 269 0 0 0 0 0 1 24 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29988] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29988/stat : 29988 (java) S 29977 29979 29416 0 -1 64 3 269 0 0 0 0 0 1 15 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 175.78
Current children cumulated vsize (KiB) 867064
[startup+177.702 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 29992
/proc/meminfo: memFree=802584/2055920 swapFree=4179776/4192956
[pid=29979] ppid=29977 vsize=867064 CPUtime=175.97
/proc/29979/stat : 29979 (java) S 29977 29979 29416 0 -1 0 28307 269 1 0 17582 14 0 1 18 0 9 0 1999636587 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29979/statm: 216766 18787 2631 9 0 211272 0
[pid=29979/tid=29981] ppid=29977 vsize=867064 CPUtime=175.61
/proc/29979/task/29981/stat : 29981 (java) R 29977 29979 29416 0 -1 64 19600 269 1 0 17550 10 0 1 25 0 9 0 1999636588 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4126746252 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29982] ppid=29977 vsize=867064 CPUtime=0.11
/proc/29979/task/29982/stat : 29982 (java) S 29977 29979 29416 0 -1 64 7340 269 0 0 9 1 0 1 16 0 9 0 1999636589 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29983] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29983/stat : 29983 (java) S 29977 29979 29416 0 -1 64 15 269 0 0 0 0 0 1 16 0 9 0 1999636589 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29984] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29984/stat : 29984 (java) S 29977 29979 29416 0 -1 64 8 269 0 0 0 0 0 1 16 0 9 0 1999636590 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29985] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29985/stat : 29985 (java) S 29977 29979 29416 0 -1 64 0 269 0 0 0 0 0 1 23 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29986] ppid=29977 vsize=867064 CPUtime=0.23
/proc/29979/task/29986/stat : 29986 (java) S 29977 29979 29416 0 -1 64 533 269 0 0 22 0 0 1 16 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29987] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29987/stat : 29987 (java) S 29977 29979 29416 0 -1 64 2 269 0 0 0 0 0 1 24 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29988] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29988/stat : 29988 (java) S 29977 29979 29416 0 -1 64 3 269 0 0 0 0 0 1 15 0 9 0 1999636592 887873536 18787 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 175.97
Current children cumulated vsize (KiB) 867064
[startup+177.802 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 29992
/proc/meminfo: memFree=802584/2055920 swapFree=4179776/4192956
[pid=29979] ppid=29977 vsize=867064 CPUtime=176.05
/proc/29979/stat : 29979 (java) S 29977 29979 29416 0 -1 0 28383 269 1 0 17589 15 0 1 18 0 9 0 1999636587 887873536 18791 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29979/statm: 216766 18791 2631 9 0 211272 0
[pid=29979/tid=29981] ppid=29977 vsize=867064 CPUtime=175.68
/proc/29979/task/29981/stat : 29981 (java) S 29977 29979 29416 0 -1 64 19676 269 1 0 17557 10 0 1 24 0 9 0 1999636588 887873536 18791 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29982] ppid=29977 vsize=867064 CPUtime=0.11
/proc/29979/task/29982/stat : 29982 (java) S 29977 29979 29416 0 -1 64 7340 269 0 0 9 1 0 1 16 0 9 0 1999636589 887873536 18791 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29983] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29983/stat : 29983 (java) S 29977 29979 29416 0 -1 64 15 269 0 0 0 0 0 1 16 0 9 0 1999636589 887873536 18791 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29984] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29984/stat : 29984 (java) S 29977 29979 29416 0 -1 64 8 269 0 0 0 0 0 1 16 0 9 0 1999636590 887873536 18791 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29985] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29985/stat : 29985 (java) S 29977 29979 29416 0 -1 64 0 269 0 0 0 0 0 1 23 0 9 0 1999636592 887873536 18791 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29986] ppid=29977 vsize=867064 CPUtime=0.23
/proc/29979/task/29986/stat : 29986 (java) S 29977 29979 29416 0 -1 64 533 269 0 0 22 0 0 1 16 0 9 0 1999636592 887873536 18791 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29979/tid=29987] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29987/stat : 29987 (java) S 29977 29979 29416 0 -1 64 2 269 0 0 0 0 0 1 24 0 9 0 1999636592 887873536 18791 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29979/tid=29988] ppid=29977 vsize=867064 CPUtime=0.01
/proc/29979/task/29988/stat : 29988 (java) S 29977 29979 29416 0 -1 64 3 269 0 0 0 0 0 1 15 0 9 0 1999636592 887873536 18791 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 176.05
Current children cumulated vsize (KiB) 867064
Child status: 0
Real time (s): 177.824
CPU time (s): 176.072
CPU user time (s): 175.897
CPU system time (s): 0.174973
CPU usage (%): 99.0149
Max. virtual memory (cumulated for all children) (KiB): 867064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 175.897
system time used= 0.174973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28679
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= 4702
involuntary context switches= 4912
runsolver used 0.265959 second user time and 0.551916 second system time
The end
Begin job on node43 at 2008-07-04 23:24:01
IDJOB=1078363
IDBENCH=56779
IDSOLVER=364
FILE ID=node43/1078363-1215206641
PBS_JOBID= 7881649
Free space on /tmp= 66500 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-19_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-1078363-1215206641/watcher-1078363-1215206641 -o /tmp/evaluation-result-1078363-1215206641/solver-1078363-1215206641 -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-1078363-1215206641.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 32cbde82f4466942d0b977ad95fd0a6f
RANDOM SEED=1214230881
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: 881728 kB
Buffers: 19008 kB
Cached: 1015048 kB
SwapCached: 7024 kB
Active: 578936 kB
Inactive: 531012 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 881728 kB
SwapTotal: 4192956 kB
SwapFree: 4179776 kB
Dirty: 14964 kB
Writeback: 0 kB
Mapped: 82336 kB
Slab: 49384 kB
Committed_AS: 3785068 kB
PageTables: 2020 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= 66496 MiB
End job on node43 at 2008-07-04 23:26:59