0.00/0.08
0.00/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.30
0.19/0.30 instance
0.19/0.30 name=HOME/instance-1067978-1215151980.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.34
0.28/0.34 variables being loaded...
0.38/0.41 nbVariables=307 nbDomainTypes=1 minDomainSize=26 maxDomainSize=26 nbTotalValues=7982
0.38/0.41 => wckTime=0.186 cpuTime=0.14 mem=8M894
0.38/0.41
0.38/0.41 relations being loaded...
0.48/0.57
0.48/0.57 predicates being loaded...
0.58/0.63
0.58/0.63 constraints being loaded...
0.88/0.95 Too large in ConstraintConflictsSTructure
0.88/0.99 Too large in ConstraintConflictsSTructure
0.88/0.99 Too large in ConstraintConflictsSTructure
1.76/1.84 nbConstraints=1430 nbRelationTypes=7 nbGlobalConstraints=119 nbExtensionStructures=7
1.76/1.86 nbSharedExtensionStructures=111 nbConflictsStructures=4 nbSharedConflictsStructures=92
1.76/1.86 nbUnbuiltConflictsStructures=10 nbSharedBinaryRepresentations=0 nbEvaluationManagers=7
1.76/1.86 nbSharedEvaluationManagers=1304 minDegree=2 maxDegree=63 minArity=3 avgArity=9.9 maxArity=296 nbGenerators=1
1.76/1.86 nbFusions=0 symmetryWckTime=0.287 symmetryCpuTime=0.16
1.76/1.86 => wckTime=1.62 cpuTime=1.23 mem=40M531
1.87/1.95
1.87/1.95 solver IterativeSystematicSolver being built...
2.17/2.24
2.17/2.24 INFO : Forward propagation technique limited
2.26/2.30 => wckTime=2.078 cpuTime=1.47 mem=50M689
2.35/2.44
2.35/2.44 preprocessing
2.35/2.44 nbConstraintChecks=587 nbValidityChecks=733226 nbPropagations=339 nbRevisions=41 nbUselessRevisions=41
2.35/2.44 nbRemovedValues=384 detectedInconsistency=no
2.35/2.44 => wckTime=0.135 cpuTime=0.11 mem=51M651
3.55/3.69
3.55/3.69 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=53M608)
147.34/148.19
147.34/148.19 search
147.34/148.19 run=17 nbConstraintChecks=36728875 nbValidityChecks=696388090 minDepth=8 maxDepth=307 nbPropagations=6292047
147.34/148.19 nbRevisions=69208325 nbUselessRevisions=69200265 nbAssignments=85434 nbFailedAssignments=25950
147.34/148.19 nbBacktracks=56794 nbVisitedNodes=129884 nbRestartNogoods=312 nbFoundSolutions=1 nbSEliminables=0
147.34/148.19 nbREliminables=44.31 nbIEliminables=235.17 nbDEliminables=0 nbPEliminables=0
147.34/148.19 => wckTime=145.884 cpuTime=145.04 mem=55M533
147.34/148.19
147.34/148.19 global
147.34/148.19 nbConstraintChecks=36729462 nbValidityChecks=697121316 nbPropagations=6292386 nbRevisions=69208366
147.34/148.19 nbUselessRevisions=69200306 nbRestartNogoods=312 solvingWckTime=145.886 solvingCpuTime=145.04 expiredTime=no
147.34/148.19 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=146.5 globalCpuTime=146.56
147.34/148.19 => wckTime=147.968 cpuTime=146.51 mem=55M533
147.34/148.19
147.34/148.19 s SATISFIABLE
147.34/148.19 v 18 7 17 4 22 3 18 22 0 12 15 5 11 4 3 6 4 11 14 0 19 7 4 19 8 3 0 11 11 8 13 4 0 11 14 17 3 0 8 13 0 19 14 13 4 0 13 6 4 11 0 0 13 8 19 4 4 19 7 8 13 20 17 4 15 14 8 13 4 18 19 1 0 11 8 19 0 11 4 21 4 8 13 4 19 7 14 18 18 4 13 18 14 17 24 18 4 13 18 4 22 0 5 4 17 0 1 24 18 12 0 11 0 17 18 4 13 0 11 0 11 0 18 0 13 3 1 0 6 3 0 11 11 0 18 18 18 4 17 4 3 18 19 14 13 4 0 13 0 2 17 14 18 18 22 8 18 4 22 8 19 8 6 13 8 19 8 14 13 6 0 3 8 13 2 4 18 19 17 4 6 17 4 18 18 5 8 13 19 17 14 11 11 4 24 8 13 19 4 6 4 17 18 7 0 11 4 1 14 0 18 19 1 4 11 11 0 12 24 11 0 15 18 4 0 17 2 7 11 20 13 3 11 0 12 1 19 20 19 20 13 13 4 7 0 3 4 18 2 11 4 0 13 4 17 6 6 0 19 7 4 17 18 15 14 14 11 18 14 8 17 4 4 14 19 8 14 18 4 2 0 11 21 4 18 20 13 19 0 13 17 4 2 4 18 18 14 17 3 4 17 8 13 2 14 12 4
147.34/148.19 d NODES 85434
147.34/148.19 d CHECKS 36729462
147.34/148.20
147.34/148.20 totalWckTime=148.022 totalCpuTime=146.56
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1067978-1215151980/watcher-1067978-1215151980 -o /tmp/evaluation-result-1067978-1215151980/solver-1067978-1215151980 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1067978-1215151980.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.91 1.97 1.98 4/81 1340
/proc/meminfo: memFree=1708024/2055920 swapFree=4180584/4192956
[pid=1340] ppid=1338 vsize=18572 CPUtime=0
/proc/1340/stat : 1340 (runsolver) R 1338 1340 32529 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 1994147795 19017728 292 996147200 4194304 4296836 548682068352 18446744073709551615 231882681639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/1340/statm: 4643 292 257 25 0 2626 0
[startup+0.0130011 s]
/proc/loadavg: 1.91 1.97 1.98 4/81 1340
/proc/meminfo: memFree=1708024/2055920 swapFree=4180584/4192956
[pid=1340] ppid=1338 vsize=1616 CPUtime=0
/proc/1340/stat : 1340 (java) D 1338 1340 32529 0 -1 0 317 0 0 0 0 0 0 0 18 0 1 0 1994147795 1654784 126 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099855350 0 0 17 1 0 0
/proc/1340/statm: 404 151 125 9 0 46 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1616
[startup+0.10293 s]
/proc/loadavg: 1.91 1.97 1.98 4/81 1340
/proc/meminfo: memFree=1708024/2055920 swapFree=4180584/4192956
[pid=1340] ppid=1338 vsize=865884 CPUtime=0.08
/proc/1340/stat : 1340 (java) S 1338 1340 32529 0 -1 0 3821 0 1 0 6 2 0 0 18 0 9 0 1994147795 886665216 3270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1340/statm: 216471 3270 1728 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301948 s]
/proc/loadavg: 1.91 1.97 1.98 4/81 1340
/proc/meminfo: memFree=1708024/2055920 swapFree=4180584/4192956
[pid=1340] ppid=1338 vsize=866276 CPUtime=0.28
/proc/1340/stat : 1340 (java) S 1338 1340 32529 0 -1 0 5781 0 1 0 24 4 0 0 18 0 9 0 1994147795 887066624 5155 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1340/statm: 216569 5155 1951 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866276
[startup+0.701999 s]
/proc/loadavg: 1.91 1.97 1.98 4/81 1340
/proc/meminfo: memFree=1708024/2055920 swapFree=4180584/4192956
[pid=1340] ppid=1338 vsize=867100 CPUtime=0.68
/proc/1340/stat : 1340 (java) S 1338 1340 32529 0 -1 0 9099 0 1 0 63 5 0 0 18 0 9 0 1994147795 887910400 8459 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1340/statm: 216775 8459 2008 9 0 211281 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867100
[startup+1.5021 s]
/proc/loadavg: 1.91 1.97 1.98 3/90 1349
/proc/meminfo: memFree=1663408/2055920 swapFree=4180584/4192956
[pid=1340] ppid=1338 vsize=867604 CPUtime=1.48
/proc/1340/stat : 1340 (java) S 1338 1340 32529 0 -1 0 19422 0 1 0 133 15 0 0 18 0 9 0 1994147795 888426496 18755 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1340/statm: 216901 18755 2007 9 0 211429 0
[pid=1340/tid=1342] ppid=1338 vsize=867604 CPUtime=1.21
/proc/1340/task/1342/stat : 1342 (java) R 1338 1340 32529 0 -1 64 15772 0 1 0 107 14 0 0 25 0 9 0 1994147796 888426496 18755 996147200 134512640 134550740 4294955984 18446744073709551615 102605756 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1343] ppid=1338 vsize=867604 CPUtime=0.04
/proc/1340/task/1343/stat : 1343 (java) S 1338 1340 32529 0 -1 64 2244 0 0 0 4 0 0 0 16 0 9 0 1994147797 888426496 18755 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1344] ppid=1338 vsize=867604 CPUtime=0
/proc/1340/task/1344/stat : 1344 (java) S 1338 1340 32529 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1994147798 888426496 18755 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1345] ppid=1338 vsize=867604 CPUtime=0
/proc/1340/task/1345/stat : 1345 (java) S 1338 1340 32529 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1994147798 888426496 18755 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1346] ppid=1338 vsize=867604 CPUtime=0
/proc/1340/task/1346/stat : 1346 (java) S 1338 1340 32529 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1994147800 888426496 18755 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1347] ppid=1338 vsize=867604 CPUtime=0.2
/proc/1340/task/1347/stat : 1347 (java) S 1338 1340 32529 0 -1 64 709 0 0 0 20 0 0 0 15 0 9 0 1994147800 888426496 18755 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1348] ppid=1338 vsize=867604 CPUtime=0
/proc/1340/task/1348/stat : 1348 (java) S 1338 1340 32529 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1994147800 888426496 18755 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1349] ppid=1338 vsize=867604 CPUtime=0
/proc/1340/task/1349/stat : 1349 (java) S 1338 1340 32529 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1994147800 888426496 18755 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867604
[startup+3.10228 s]
/proc/loadavg: 1.91 1.97 1.98 3/90 1353
/proc/meminfo: memFree=1631152/2055920 swapFree=4180584/4192956
[pid=1340] ppid=1338 vsize=868136 CPUtime=3.06
/proc/1340/stat : 1340 (java) S 1338 1340 32529 0 -1 0 43163 608 1 0 274 23 8 1 18 0 9 0 1994147795 888971264 26640 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1340/statm: 217034 26640 2637 9 0 211540 0
[pid=1340/tid=1342] ppid=1338 vsize=868136 CPUtime=2.47
/proc/1340/task/1342/stat : 1342 (java) R 1338 1340 32529 0 -1 64 26845 608 1 0 221 17 8 1 25 0 9 0 1994147796 888971264 26640 996147200 134512640 134550740 4294955984 18446744073709551615 4127210940 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1343] ppid=1338 vsize=868136 CPUtime=0.3
/proc/1340/task/1343/stat : 1343 (java) S 1338 1340 32529 0 -1 64 14485 608 0 0 18 3 8 1 16 0 9 0 1994147797 888971264 26640 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1344] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1344/stat : 1344 (java) S 1338 1340 32529 0 -1 64 17 608 0 0 0 0 8 1 16 0 9 0 1994147798 888971264 26640 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1345] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1345/stat : 1345 (java) S 1338 1340 32529 0 -1 64 11 608 0 0 0 0 8 1 15 0 9 0 1994147798 888971264 26640 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1346] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1346/stat : 1346 (java) S 1338 1340 32529 0 -1 64 1 608 0 0 0 0 8 1 18 0 9 0 1994147800 888971264 26640 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1347] ppid=1338 vsize=868136 CPUtime=0.43
/proc/1340/task/1347/stat : 1347 (java) S 1338 1340 32529 0 -1 64 994 608 0 0 33 1 8 1 15 0 9 0 1994147800 888971264 26640 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1348] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1348/stat : 1348 (java) S 1338 1340 32529 0 -1 64 1 608 0 0 0 0 8 1 19 0 9 0 1994147800 888971264 26640 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1349] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1349/stat : 1349 (java) S 1338 1340 32529 0 -1 64 7 608 0 0 0 0 8 1 15 0 9 0 1994147800 888971264 26640 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 868136
[startup+6.30165 s]
/proc/loadavg: 1.92 1.97 1.98 3/90 1353
/proc/meminfo: memFree=1611120/2055920 swapFree=4180584/4192956
[pid=1340] ppid=1338 vsize=868136 CPUtime=6.24
/proc/1340/stat : 1340 (java) S 1338 1340 32529 0 -1 0 43229 608 1 0 592 23 8 1 18 0 9 0 1994147795 888971264 26661 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1340/statm: 217034 26661 2637 9 0 211540 0
[pid=1340/tid=1342] ppid=1338 vsize=868136 CPUtime=5.62
/proc/1340/task/1342/stat : 1342 (java) R 1338 1340 32529 0 -1 64 26848 608 1 0 536 17 8 1 25 0 9 0 1994147796 888971264 26661 996147200 134512640 134550740 4294955984 18446744073709551615 4127214243 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1343] ppid=1338 vsize=868136 CPUtime=0.3
/proc/1340/task/1343/stat : 1343 (java) S 1338 1340 32529 0 -1 64 14485 608 0 0 18 3 8 1 17 0 9 0 1994147797 888971264 26661 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1344] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1344/stat : 1344 (java) S 1338 1340 32529 0 -1 64 17 608 0 0 0 0 8 1 16 0 9 0 1994147798 888971264 26661 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1345] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1345/stat : 1345 (java) S 1338 1340 32529 0 -1 64 11 608 0 0 0 0 8 1 15 0 9 0 1994147798 888971264 26661 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1346] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1346/stat : 1346 (java) S 1338 1340 32529 0 -1 64 1 608 0 0 0 0 8 1 18 0 9 0 1994147800 888971264 26661 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1347] ppid=1338 vsize=868136 CPUtime=0.46
/proc/1340/task/1347/stat : 1347 (java) S 1338 1340 32529 0 -1 64 1030 608 0 0 36 1 8 1 15 0 9 0 1994147800 888971264 26661 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1348] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1348/stat : 1348 (java) S 1338 1340 32529 0 -1 64 1 608 0 0 0 0 8 1 19 0 9 0 1994147800 888971264 26661 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1349] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1349/stat : 1349 (java) S 1338 1340 32529 0 -1 64 34 608 0 0 0 0 8 1 15 0 9 0 1994147800 888971264 26661 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 868136
[startup+12.7014 s]
/proc/loadavg: 1.93 1.97 1.98 3/90 1353
/proc/meminfo: memFree=1610928/2055920 swapFree=4180584/4192956
[pid=1340] ppid=1338 vsize=868136 CPUtime=12.61
/proc/1340/stat : 1340 (java) S 1338 1340 32529 0 -1 0 43242 608 1 0 1229 23 8 1 18 0 9 0 1994147795 888971264 26665 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1340/statm: 217034 26665 2637 9 0 211540 0
[pid=1340/tid=1342] ppid=1338 vsize=868136 CPUtime=11.98
/proc/1340/task/1342/stat : 1342 (java) R 1338 1340 32529 0 -1 64 26854 608 1 0 1172 17 8 1 25 0 9 0 1994147796 888971264 26665 996147200 134512640 134550740 4294955984 18446744073709551615 4127214164 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1343] ppid=1338 vsize=868136 CPUtime=0.3
/proc/1340/task/1343/stat : 1343 (java) S 1338 1340 32529 0 -1 64 14485 608 0 0 18 3 8 1 17 0 9 0 1994147797 888971264 26665 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1344] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1344/stat : 1344 (java) S 1338 1340 32529 0 -1 64 17 608 0 0 0 0 8 1 16 0 9 0 1994147798 888971264 26665 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1345] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1345/stat : 1345 (java) S 1338 1340 32529 0 -1 64 11 608 0 0 0 0 8 1 15 0 9 0 1994147798 888971264 26665 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1346] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1346/stat : 1346 (java) S 1338 1340 32529 0 -1 64 1 608 0 0 0 0 8 1 18 0 9 0 1994147800 888971264 26665 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1347] ppid=1338 vsize=868136 CPUtime=0.46
/proc/1340/task/1347/stat : 1347 (java) S 1338 1340 32529 0 -1 64 1037 608 0 0 36 1 8 1 17 0 9 0 1994147800 888971264 26665 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1348] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1348/stat : 1348 (java) S 1338 1340 32529 0 -1 64 1 608 0 0 0 0 8 1 19 0 9 0 1994147800 888971264 26665 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1349] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1349/stat : 1349 (java) S 1338 1340 32529 0 -1 64 34 608 0 0 0 0 8 1 15 0 9 0 1994147800 888971264 26665 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 868136
[startup+25.5019 s]
/proc/loadavg: 1.94 1.97 1.98 3/90 1353
/proc/meminfo: memFree=1610936/2055920 swapFree=4180584/4192956
[pid=1340] ppid=1338 vsize=868136 CPUtime=25.34
/proc/1340/stat : 1340 (java) S 1338 1340 32529 0 -1 0 43244 608 1 0 2502 23 8 1 18 0 9 0 1994147795 888971264 26666 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1340/statm: 217034 26666 2637 9 0 211540 0
[pid=1340/tid=1342] ppid=1338 vsize=868136 CPUtime=24.72
/proc/1340/task/1342/stat : 1342 (java) R 1338 1340 32529 0 -1 64 26854 608 1 0 2446 17 8 1 25 0 9 0 1994147796 888971264 26666 996147200 134512640 134550740 4294955984 18446744073709551615 4127162193 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1343] ppid=1338 vsize=868136 CPUtime=0.3
/proc/1340/task/1343/stat : 1343 (java) S 1338 1340 32529 0 -1 64 14485 608 0 0 18 3 8 1 16 0 9 0 1994147797 888971264 26666 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1344] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1344/stat : 1344 (java) S 1338 1340 32529 0 -1 64 17 608 0 0 0 0 8 1 16 0 9 0 1994147798 888971264 26666 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1345] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1345/stat : 1345 (java) S 1338 1340 32529 0 -1 64 11 608 0 0 0 0 8 1 15 0 9 0 1994147798 888971264 26666 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1346] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1346/stat : 1346 (java) S 1338 1340 32529 0 -1 64 1 608 0 0 0 0 8 1 18 0 9 0 1994147800 888971264 26666 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1347] ppid=1338 vsize=868136 CPUtime=0.46
/proc/1340/task/1347/stat : 1347 (java) S 1338 1340 32529 0 -1 64 1039 608 0 0 36 1 8 1 15 0 9 0 1994147800 888971264 26666 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1348] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1348/stat : 1348 (java) S 1338 1340 32529 0 -1 64 1 608 0 0 0 0 8 1 19 0 9 0 1994147800 888971264 26666 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1349] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1349/stat : 1349 (java) S 1338 1340 32529 0 -1 64 34 608 0 0 0 0 8 1 15 0 9 0 1994147800 888971264 26666 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 868136
[startup+51.1019 s]
/proc/loadavg: 1.96 1.97 1.98 3/90 1353
/proc/meminfo: memFree=1610936/2055920 swapFree=4180584/4192956
[pid=1340] ppid=1338 vsize=868136 CPUtime=50.82
/proc/1340/stat : 1340 (java) S 1338 1340 32529 0 -1 0 43246 608 1 0 5049 24 8 1 18 0 9 0 1994147795 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1340/statm: 217034 26667 2637 9 0 211540 0
[pid=1340/tid=1342] ppid=1338 vsize=868136 CPUtime=50.19
/proc/1340/task/1342/stat : 1342 (java) R 1338 1340 32529 0 -1 64 26855 608 1 0 4993 17 8 1 25 0 9 0 1994147796 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4127162208 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1343] ppid=1338 vsize=868136 CPUtime=0.3
/proc/1340/task/1343/stat : 1343 (java) S 1338 1340 32529 0 -1 64 14485 608 0 0 18 3 8 1 16 0 9 0 1994147797 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1344] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1344/stat : 1344 (java) S 1338 1340 32529 0 -1 64 17 608 0 0 0 0 8 1 16 0 9 0 1994147798 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1345] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1345/stat : 1345 (java) S 1338 1340 32529 0 -1 64 11 608 0 0 0 0 8 1 15 0 9 0 1994147798 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1346] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1346/stat : 1346 (java) S 1338 1340 32529 0 -1 64 1 608 0 0 0 0 8 1 18 0 9 0 1994147800 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1347] ppid=1338 vsize=868136 CPUtime=0.46
/proc/1340/task/1347/stat : 1347 (java) S 1338 1340 32529 0 -1 64 1040 608 0 0 36 1 8 1 16 0 9 0 1994147800 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1348] ppid=1338 vsize=868136 CPUtime=0.09
################
# More data... #
################
/proc/1340/stat : 1340 (java) S 1338 1340 32529 0 -1 0 43246 608 1 0 13965 24 8 1 18 0 9 0 1994147795 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1340/statm: 217034 26667 2637 9 0 211540 0
[pid=1340/tid=1342] ppid=1338 vsize=868136 CPUtime=139.35
/proc/1340/task/1342/stat : 1342 (java) R 1338 1340 32529 0 -1 64 26855 608 1 0 13909 17 8 1 25 0 9 0 1994147796 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4127162246 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1343] ppid=1338 vsize=868136 CPUtime=0.3
/proc/1340/task/1343/stat : 1343 (java) S 1338 1340 32529 0 -1 64 14485 608 0 0 18 3 8 1 16 0 9 0 1994147797 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1344] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1344/stat : 1344 (java) S 1338 1340 32529 0 -1 64 17 608 0 0 0 0 8 1 16 0 9 0 1994147798 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1345] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1345/stat : 1345 (java) S 1338 1340 32529 0 -1 64 11 608 0 0 0 0 8 1 15 0 9 0 1994147798 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1346] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1346/stat : 1346 (java) S 1338 1340 32529 0 -1 64 1 608 0 0 0 0 8 1 18 0 9 0 1994147800 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1347] ppid=1338 vsize=868136 CPUtime=0.46
/proc/1340/task/1347/stat : 1347 (java) S 1338 1340 32529 0 -1 64 1040 608 0 0 36 1 8 1 16 0 9 0 1994147800 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1348] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1348/stat : 1348 (java) S 1338 1340 32529 0 -1 64 1 608 0 0 0 0 8 1 19 0 9 0 1994147800 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1349] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1349/stat : 1349 (java) S 1338 1340 32529 0 -1 64 34 608 0 0 0 0 8 1 15 0 9 0 1994147800 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (KiB) 868136
[startup+143.902 s]
/proc/loadavg: 1.99 1.97 1.98 3/90 1353
/proc/meminfo: memFree=1610744/2055920 swapFree=4180584/4192956
[pid=1340] ppid=1338 vsize=868136 CPUtime=143.17
/proc/1340/stat : 1340 (java) S 1338 1340 32529 0 -1 0 43246 608 1 0 14284 24 8 1 18 0 9 0 1994147795 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1340/statm: 217034 26667 2637 9 0 211540 0
[pid=1340/tid=1342] ppid=1338 vsize=868136 CPUtime=142.53
/proc/1340/task/1342/stat : 1342 (java) R 1338 1340 32529 0 -1 64 26855 608 1 0 14227 17 8 1 25 0 9 0 1994147796 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4127210903 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1343] ppid=1338 vsize=868136 CPUtime=0.3
/proc/1340/task/1343/stat : 1343 (java) S 1338 1340 32529 0 -1 64 14485 608 0 0 18 3 8 1 16 0 9 0 1994147797 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1344] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1344/stat : 1344 (java) S 1338 1340 32529 0 -1 64 17 608 0 0 0 0 8 1 16 0 9 0 1994147798 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1345] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1345/stat : 1345 (java) S 1338 1340 32529 0 -1 64 11 608 0 0 0 0 8 1 15 0 9 0 1994147798 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1346] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1346/stat : 1346 (java) S 1338 1340 32529 0 -1 64 1 608 0 0 0 0 8 1 18 0 9 0 1994147800 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1347] ppid=1338 vsize=868136 CPUtime=0.46
/proc/1340/task/1347/stat : 1347 (java) S 1338 1340 32529 0 -1 64 1040 608 0 0 36 1 8 1 16 0 9 0 1994147800 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1348] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1348/stat : 1348 (java) S 1338 1340 32529 0 -1 64 1 608 0 0 0 0 8 1 19 0 9 0 1994147800 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1349] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1349/stat : 1349 (java) S 1338 1340 32529 0 -1 64 34 608 0 0 0 0 8 1 15 0 9 0 1994147800 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 143.17
Current children cumulated vsize (KiB) 868136
[startup+145.501 s]
/proc/loadavg: 1.99 1.97 1.98 3/90 1353
/proc/meminfo: memFree=1610744/2055920 swapFree=4180584/4192956
[pid=1340] ppid=1338 vsize=868136 CPUtime=144.75
/proc/1340/stat : 1340 (java) S 1338 1340 32529 0 -1 0 43246 608 1 0 14442 24 8 1 18 0 9 0 1994147795 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1340/statm: 217034 26667 2637 9 0 211540 0
[pid=1340/tid=1342] ppid=1338 vsize=868136 CPUtime=144.12
/proc/1340/task/1342/stat : 1342 (java) R 1338 1340 32529 0 -1 64 26855 608 1 0 14386 17 8 1 25 0 9 0 1994147796 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4127209974 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1343] ppid=1338 vsize=868136 CPUtime=0.3
/proc/1340/task/1343/stat : 1343 (java) S 1338 1340 32529 0 -1 64 14485 608 0 0 18 3 8 1 16 0 9 0 1994147797 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1344] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1344/stat : 1344 (java) S 1338 1340 32529 0 -1 64 17 608 0 0 0 0 8 1 16 0 9 0 1994147798 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1345] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1345/stat : 1345 (java) S 1338 1340 32529 0 -1 64 11 608 0 0 0 0 8 1 15 0 9 0 1994147798 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1346] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1346/stat : 1346 (java) S 1338 1340 32529 0 -1 64 1 608 0 0 0 0 8 1 18 0 9 0 1994147800 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1347] ppid=1338 vsize=868136 CPUtime=0.46
/proc/1340/task/1347/stat : 1347 (java) S 1338 1340 32529 0 -1 64 1040 608 0 0 36 1 8 1 16 0 9 0 1994147800 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1348] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1348/stat : 1348 (java) S 1338 1340 32529 0 -1 64 1 608 0 0 0 0 8 1 19 0 9 0 1994147800 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1349] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1349/stat : 1349 (java) S 1338 1340 32529 0 -1 64 34 608 0 0 0 0 8 1 15 0 9 0 1994147800 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 144.75
Current children cumulated vsize (KiB) 868136
[startup+147.102 s]
/proc/loadavg: 1.99 1.97 1.98 3/90 1353
/proc/meminfo: memFree=1610744/2055920 swapFree=4180584/4192956
[pid=1340] ppid=1338 vsize=868136 CPUtime=146.35
/proc/1340/stat : 1340 (java) S 1338 1340 32529 0 -1 0 43246 608 1 0 14602 24 8 1 18 0 9 0 1994147795 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1340/statm: 217034 26667 2637 9 0 211540 0
[pid=1340/tid=1342] ppid=1338 vsize=868136 CPUtime=145.72
/proc/1340/task/1342/stat : 1342 (java) R 1338 1340 32529 0 -1 64 26855 608 1 0 14546 17 8 1 25 0 9 0 1994147796 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4127157079 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1343] ppid=1338 vsize=868136 CPUtime=0.3
/proc/1340/task/1343/stat : 1343 (java) S 1338 1340 32529 0 -1 64 14485 608 0 0 18 3 8 1 16 0 9 0 1994147797 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1344] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1344/stat : 1344 (java) S 1338 1340 32529 0 -1 64 17 608 0 0 0 0 8 1 16 0 9 0 1994147798 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1345] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1345/stat : 1345 (java) S 1338 1340 32529 0 -1 64 11 608 0 0 0 0 8 1 15 0 9 0 1994147798 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1346] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1346/stat : 1346 (java) S 1338 1340 32529 0 -1 64 1 608 0 0 0 0 8 1 18 0 9 0 1994147800 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1347] ppid=1338 vsize=868136 CPUtime=0.46
/proc/1340/task/1347/stat : 1347 (java) S 1338 1340 32529 0 -1 64 1040 608 0 0 36 1 8 1 16 0 9 0 1994147800 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1348] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1348/stat : 1348 (java) S 1338 1340 32529 0 -1 64 1 608 0 0 0 0 8 1 19 0 9 0 1994147800 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1349] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1349/stat : 1349 (java) S 1338 1340 32529 0 -1 64 34 608 0 0 0 0 8 1 15 0 9 0 1994147800 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 146.35
Current children cumulated vsize (KiB) 868136
[startup+147.902 s]
/proc/loadavg: 1.99 1.97 1.98 3/90 1353
/proc/meminfo: memFree=1610744/2055920 swapFree=4180584/4192956
[pid=1340] ppid=1338 vsize=868136 CPUtime=147.14
/proc/1340/stat : 1340 (java) S 1338 1340 32529 0 -1 0 43246 608 1 0 14681 24 8 1 18 0 9 0 1994147795 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1340/statm: 217034 26667 2637 9 0 211540 0
[pid=1340/tid=1342] ppid=1338 vsize=868136 CPUtime=146.51
/proc/1340/task/1342/stat : 1342 (java) R 1338 1340 32529 0 -1 64 26855 608 1 0 14625 17 8 1 25 0 9 0 1994147796 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4127249611 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1343] ppid=1338 vsize=868136 CPUtime=0.3
/proc/1340/task/1343/stat : 1343 (java) S 1338 1340 32529 0 -1 64 14485 608 0 0 18 3 8 1 16 0 9 0 1994147797 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1344] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1344/stat : 1344 (java) S 1338 1340 32529 0 -1 64 17 608 0 0 0 0 8 1 16 0 9 0 1994147798 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1345] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1345/stat : 1345 (java) S 1338 1340 32529 0 -1 64 11 608 0 0 0 0 8 1 15 0 9 0 1994147798 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1346] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1346/stat : 1346 (java) S 1338 1340 32529 0 -1 64 1 608 0 0 0 0 8 1 18 0 9 0 1994147800 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1347] ppid=1338 vsize=868136 CPUtime=0.46
/proc/1340/task/1347/stat : 1347 (java) S 1338 1340 32529 0 -1 64 1040 608 0 0 36 1 8 1 16 0 9 0 1994147800 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1348] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1348/stat : 1348 (java) S 1338 1340 32529 0 -1 64 1 608 0 0 0 0 8 1 19 0 9 0 1994147800 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1349] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1349/stat : 1349 (java) S 1338 1340 32529 0 -1 64 34 608 0 0 0 0 8 1 15 0 9 0 1994147800 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 147.14
Current children cumulated vsize (KiB) 868136
[startup+148.102 s]
/proc/loadavg: 1.99 1.97 1.98 3/90 1353
/proc/meminfo: memFree=1610744/2055920 swapFree=4180584/4192956
[pid=1340] ppid=1338 vsize=868136 CPUtime=147.34
/proc/1340/stat : 1340 (java) S 1338 1340 32529 0 -1 0 43246 608 1 0 14701 24 8 1 18 0 9 0 1994147795 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1340/statm: 217034 26667 2637 9 0 211540 0
[pid=1340/tid=1342] ppid=1338 vsize=868136 CPUtime=146.71
/proc/1340/task/1342/stat : 1342 (java) R 1338 1340 32529 0 -1 64 26855 608 1 0 14645 17 8 1 25 0 9 0 1994147796 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4127210940 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1343] ppid=1338 vsize=868136 CPUtime=0.3
/proc/1340/task/1343/stat : 1343 (java) S 1338 1340 32529 0 -1 64 14485 608 0 0 18 3 8 1 16 0 9 0 1994147797 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1344] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1344/stat : 1344 (java) S 1338 1340 32529 0 -1 64 17 608 0 0 0 0 8 1 16 0 9 0 1994147798 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1345] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1345/stat : 1345 (java) S 1338 1340 32529 0 -1 64 11 608 0 0 0 0 8 1 15 0 9 0 1994147798 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1346] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1346/stat : 1346 (java) S 1338 1340 32529 0 -1 64 1 608 0 0 0 0 8 1 18 0 9 0 1994147800 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1347] ppid=1338 vsize=868136 CPUtime=0.46
/proc/1340/task/1347/stat : 1347 (java) S 1338 1340 32529 0 -1 64 1040 608 0 0 36 1 8 1 16 0 9 0 1994147800 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1348] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1348/stat : 1348 (java) S 1338 1340 32529 0 -1 64 1 608 0 0 0 0 8 1 19 0 9 0 1994147800 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1349] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1349/stat : 1349 (java) S 1338 1340 32529 0 -1 64 34 608 0 0 0 0 8 1 15 0 9 0 1994147800 888971264 26667 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 147.34
Current children cumulated vsize (KiB) 868136
[startup+148.202 s]
/proc/loadavg: 1.99 1.97 1.98 3/90 1353
/proc/meminfo: memFree=1610744/2055920 swapFree=4180584/4192956
[pid=1340] ppid=1338 vsize=868136 CPUtime=147.44
/proc/1340/stat : 1340 (java) S 1338 1340 32529 0 -1 0 43256 608 1 0 14711 24 8 1 18 0 9 0 1994147795 888971264 26671 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1340/statm: 217034 26671 2637 9 0 211540 0
[pid=1340/tid=1342] ppid=1338 vsize=868136 CPUtime=146.8
/proc/1340/task/1342/stat : 1342 (java) S 1338 1340 32529 0 -1 64 26865 608 1 0 14654 17 8 1 25 0 9 0 1994147796 888971264 26671 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1343] ppid=1338 vsize=868136 CPUtime=0.3
/proc/1340/task/1343/stat : 1343 (java) S 1338 1340 32529 0 -1 64 14485 608 0 0 18 3 8 1 16 0 9 0 1994147797 888971264 26671 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1344] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1344/stat : 1344 (java) S 1338 1340 32529 0 -1 64 17 608 0 0 0 0 8 1 16 0 9 0 1994147798 888971264 26671 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1345] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1345/stat : 1345 (java) S 1338 1340 32529 0 -1 64 11 608 0 0 0 0 8 1 15 0 9 0 1994147798 888971264 26671 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1346] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1346/stat : 1346 (java) S 1338 1340 32529 0 -1 64 1 608 0 0 0 0 8 1 18 0 9 0 1994147800 888971264 26671 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1347] ppid=1338 vsize=868136 CPUtime=0.46
/proc/1340/task/1347/stat : 1347 (java) S 1338 1340 32529 0 -1 64 1040 608 0 0 36 1 8 1 16 0 9 0 1994147800 888971264 26671 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1340/tid=1348] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1348/stat : 1348 (java) S 1338 1340 32529 0 -1 64 1 608 0 0 0 0 8 1 19 0 9 0 1994147800 888971264 26671 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1340/tid=1349] ppid=1338 vsize=868136 CPUtime=0.09
/proc/1340/task/1349/stat : 1349 (java) S 1338 1340 32529 0 -1 64 34 608 0 0 0 0 8 1 15 0 9 0 1994147800 888971264 26671 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 147.44
Current children cumulated vsize (KiB) 868136
Child status: 0
Real time (s): 148.237
CPU time (s): 147.472
CPU user time (s): 147.2
CPU system time (s): 0.271958
CPU usage (%): 99.4838
Max. virtual memory (cumulated for all children) (KiB): 868136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 147.2
system time used= 0.271958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43891
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= 4663
involuntary context switches= 8581
runsolver used 0.144977 second user time and 0.407937 second system time
The end
Begin job on node75 at 2008-07-04 08:13:00
IDJOB=1067978
IDBENCH=55464
IDSOLVER=363
FILE ID=node75/1067978-1215151980
PBS_JOBID= 7877399
Free space on /tmp= 66560 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/lexHerald/normalized-crossword-m1-lex-19-03.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1067978-1215151980/watcher-1067978-1215151980 -o /tmp/evaluation-result-1067978-1215151980/solver-1067978-1215151980 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1067978-1215151980.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 3c2779849935bf9ee26f9ef7af257926
RANDOM SEED=1049642568
node75.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.229
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.229
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: 1708504 kB
Buffers: 52256 kB
Cached: 187720 kB
SwapCached: 6320 kB
Active: 206840 kB
Inactive: 77472 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1708504 kB
SwapTotal: 4192956 kB
SwapFree: 4180584 kB
Dirty: 2640 kB
Writeback: 0 kB
Mapped: 58136 kB
Slab: 48096 kB
Committed_AS: 4877536 kB
PageTables: 1976 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= 66556 MiB
End job on node75 at 2008-07-04 08:15:29