0.05/0.09
0.05/0.09 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=mac.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-1078132-1215205677.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.34
0.28/0.34 variables being loaded...
0.28/0.38 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20 nbTotalValues=400
0.28/0.38 => wckTime=0.124 cpuTime=0.11 mem=7M919
0.28/0.38
0.28/0.38 relations being loaded...
0.78/0.82
0.78/0.82 constraints being loaded...
0.97/1.07 nbConstraints=58 nbRelationTypes=58 nbGlobalConstraints=58 nbExtensionStructures=58
0.97/1.07 nbSharedExtensionStructures=0 nbConflictsStructures=58 nbSharedConflictsStructures=0
0.97/1.07 nbSharedBinaryRepresentations=0 minDegree=3 maxDegree=15 minArity=3 maxArity=3 nbGenerators=0 nbFusions=0
0.97/1.07 symmetryWckTime=0.044 symmetryCpuTime=0.01
0.97/1.07 => wckTime=0.812 cpuTime=0.69 mem=46M436
1.07/1.18
1.07/1.18 solver IterativeSystematicSolver being built...
1.17/1.26
1.17/1.26 INFO : Forward propagation technique limited
1.26/1.33 => wckTime=1.076 cpuTime=0.81 mem=29M332
1.26/1.37
1.26/1.37 preprocessing
1.26/1.37 nbConstraintChecks=0 nbValidityChecks=167073 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0
1.26/1.37 nbRemovedValues=0 detectedInconsistency=no
1.26/1.37 => wckTime=0.035 cpuTime=0.02 mem=29M332
1.96/2.03
1.96/2.03 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=30M281)
243.85/246.21
243.85/246.21 search
243.85/246.21 run=20 nbConstraintChecks=1790732 nbValidityChecks=3265191139 minDepth=0 maxDepth=20 nbPropagations=5688090
243.85/246.21 nbRevisions=0 nbUselessRevisions=0 nbAssignments=143542 nbFailedAssignments=82234 nbBacktracks=61192
243.85/246.21 nbVisitedNodes=266342 nbRestartNogoods=294 nbFoundSolutions=1 nbSEliminables=0.06 nbREliminables=2.86
243.85/246.21 nbIEliminables=11.55 nbDEliminables=0 nbPEliminables=0
243.85/246.21 => wckTime=244.88 cpuTime=242.46 mem=34M75
243.85/246.22
243.85/246.22 global
243.85/246.22 nbConstraintChecks=1790732 nbValidityChecks=3265358212 nbPropagations=5688110 nbRestartNogoods=294
243.85/246.22 solvingWckTime=244.884 solvingCpuTime=242.46 expiredTime=no totalExploration=no nbFoundSolutions=1
243.85/246.22 firstSolutionCpuTime=243.27 globalCpuTime=243.33
243.85/246.22 => wckTime=245.962 cpuTime=243.27 mem=34M75
243.85/246.22
243.85/246.22 s SATISFIABLE
243.85/246.22 v 18 4 0 7 4 6 4 12 13 1 5 18 1 19 14 14 12 6 12 15
243.85/246.22 d NODES 143542
243.85/246.22 d CHECKS 1790732
243.85/246.22
243.85/246.22 totalWckTime=246.016 totalCpuTime=243.33
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1078132-1215205677/watcher-1078132-1215205677 -o /tmp/evaluation-result-1078132-1215205677/solver-1078132-1215205677 -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-1078132-1215205677.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.94 1.97 1.95 3/73 23468
/proc/meminfo: memFree=1713232/2055920 swapFree=4179472/4192956
[pid=23468] ppid=23466 vsize=1616 CPUtime=0
/proc/23468/stat : 23468 (java) R 23466 23468 21674 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 1999543370 1654784 148 996147200 134512640 134550740 4294956096 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/23468/statm: 404 148 122 9 0 46 0
[startup+0.069088 s]
/proc/loadavg: 1.94 1.97 1.95 3/73 23468
/proc/meminfo: memFree=1713232/2055920 swapFree=4179472/4192956
[pid=23468] ppid=23466 vsize=864076 CPUtime=0.05
/proc/23468/stat : 23468 (java) S 23466 23468 21674 0 -1 0 2850 0 1 0 4 1 0 0 18 0 9 0 1999543370 884813824 2376 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23468/statm: 216019 2376 1138 9 0 210976 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864076
[startup+0.101094 s]
/proc/loadavg: 1.94 1.97 1.95 3/73 23468
/proc/meminfo: memFree=1713232/2055920 swapFree=4179472/4192956
[pid=23468] ppid=23466 vsize=865884 CPUtime=0.08
/proc/23468/stat : 23468 (java) S 23466 23468 21674 0 -1 0 3742 0 1 0 7 1 0 0 18 0 9 0 1999543370 886665216 3201 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23468/statm: 216471 3201 1698 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.30113 s]
/proc/loadavg: 1.94 1.97 1.95 3/73 23468
/proc/meminfo: memFree=1713232/2055920 swapFree=4179472/4192956
[pid=23468] ppid=23466 vsize=866128 CPUtime=0.28
/proc/23468/stat : 23468 (java) S 23466 23468 21674 0 -1 0 5731 0 1 0 24 4 0 0 18 0 9 0 1999543370 886915072 5105 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23468/statm: 216532 5105 1950 9 0 211060 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866128
[startup+0.701212 s]
/proc/loadavg: 1.94 1.97 1.95 3/73 23468
/proc/meminfo: memFree=1713232/2055920 swapFree=4179472/4192956
[pid=23468] ppid=23466 vsize=866524 CPUtime=0.67
/proc/23468/stat : 23468 (java) S 23466 23468 21674 0 -1 0 8453 0 1 0 62 5 0 0 18 0 9 0 1999543370 887320576 7823 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23468/statm: 216631 7823 1968 9 0 211159 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 866524
[startup+1.50237 s]
/proc/loadavg: 1.94 1.97 1.95 3/82 23477
/proc/meminfo: memFree=1662856/2055920 swapFree=4179472/4192956
[pid=23468] ppid=23466 vsize=867260 CPUtime=1.46
/proc/23468/stat : 23468 (java) S 23466 23468 21674 0 -1 0 27626 271 1 0 133 12 0 1 18 0 9 0 1999543370 888074240 18658 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23468/statm: 216815 18658 2631 9 0 211321 0
[pid=23468/tid=23470] ppid=23466 vsize=867260 CPUtime=1.17
/proc/23468/task/23470/stat : 23470 (java) R 23466 23468 21674 0 -1 64 18990 271 1 0 108 8 0 1 25 0 9 0 1999543372 888074240 18658 996147200 134512640 134550740 4294955936 18446744073709551615 4126735929 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23471] ppid=23466 vsize=867260 CPUtime=0.1
/proc/23468/task/23471/stat : 23471 (java) S 23466 23468 21674 0 -1 64 7286 271 0 0 8 1 0 1 17 0 9 0 1999543373 888074240 18658 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23472] ppid=23466 vsize=867260 CPUtime=0.01
/proc/23468/task/23472/stat : 23472 (java) S 23466 23468 21674 0 -1 64 16 271 0 0 0 0 0 1 17 0 9 0 1999543373 888074240 18658 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23473] ppid=23466 vsize=867260 CPUtime=0.01
/proc/23468/task/23473/stat : 23473 (java) S 23466 23468 21674 0 -1 64 9 271 0 0 0 0 0 1 16 0 9 0 1999543373 888074240 18658 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23474] ppid=23466 vsize=867260 CPUtime=0.01
/proc/23468/task/23474/stat : 23474 (java) S 23466 23468 21674 0 -1 64 1 271 0 0 0 0 0 1 18 0 9 0 1999543375 888074240 18658 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23475] ppid=23466 vsize=867260 CPUtime=0.17
/proc/23468/task/23475/stat : 23475 (java) S 23466 23468 21674 0 -1 64 509 271 0 0 16 0 0 1 15 0 9 0 1999543375 888074240 18658 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23476] ppid=23466 vsize=867260 CPUtime=0.01
/proc/23468/task/23476/stat : 23476 (java) S 23466 23468 21674 0 -1 64 1 271 0 0 0 0 0 1 19 0 9 0 1999543376 888074240 18658 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23477] ppid=23466 vsize=867260 CPUtime=0.01
/proc/23468/task/23477/stat : 23477 (java) S 23466 23468 21674 0 -1 64 6 271 0 0 0 0 0 1 15 0 9 0 1999543376 888074240 18658 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867260
[startup+3.10169 s]
/proc/loadavg: 1.94 1.97 1.95 3/82 23481
/proc/meminfo: memFree=1648328/2055920 swapFree=4179472/4192956
[pid=23468] ppid=23466 vsize=867260 CPUtime=3.05
/proc/23468/stat : 23468 (java) S 23466 23468 21674 0 -1 0 27658 271 1 0 292 12 0 1 18 0 9 0 1999543370 888074240 18680 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23468/statm: 216815 18680 2631 9 0 211321 0
[pid=23468/tid=23470] ppid=23466 vsize=867260 CPUtime=2.72
/proc/23468/task/23470/stat : 23470 (java) R 23466 23468 21674 0 -1 64 19000 271 1 0 263 8 0 1 25 0 9 0 1999543372 888074240 18680 996147200 134512640 134550740 4294955936 18446744073709551615 4126747149 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23471] ppid=23466 vsize=867260 CPUtime=0.1
/proc/23468/task/23471/stat : 23471 (java) S 23466 23468 21674 0 -1 64 7287 271 0 0 8 1 0 1 17 0 9 0 1999543373 888074240 18680 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23472] ppid=23466 vsize=867260 CPUtime=0.01
/proc/23468/task/23472/stat : 23472 (java) S 23466 23468 21674 0 -1 64 16 271 0 0 0 0 0 1 17 0 9 0 1999543373 888074240 18680 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23473] ppid=23466 vsize=867260 CPUtime=0.01
/proc/23468/task/23473/stat : 23473 (java) S 23466 23468 21674 0 -1 64 9 271 0 0 0 0 0 1 16 0 9 0 1999543373 888074240 18680 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23474] ppid=23466 vsize=867260 CPUtime=0.01
/proc/23468/task/23474/stat : 23474 (java) S 23466 23468 21674 0 -1 64 1 271 0 0 0 0 0 1 18 0 9 0 1999543375 888074240 18680 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23475] ppid=23466 vsize=867260 CPUtime=0.21
/proc/23468/task/23475/stat : 23475 (java) S 23466 23468 21674 0 -1 64 530 271 0 0 20 0 0 1 16 0 9 0 1999543375 888074240 18680 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23476] ppid=23466 vsize=867260 CPUtime=0.01
/proc/23468/task/23476/stat : 23476 (java) S 23466 23468 21674 0 -1 64 1 271 0 0 0 0 0 1 19 0 9 0 1999543376 888074240 18680 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23477] ppid=23466 vsize=867260 CPUtime=0.01
/proc/23468/task/23477/stat : 23477 (java) S 23466 23468 21674 0 -1 64 6 271 0 0 0 0 0 1 15 0 9 0 1999543376 888074240 18680 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867260
[startup+6.30231 s]
/proc/loadavg: 1.94 1.97 1.95 3/82 23481
/proc/meminfo: memFree=1648136/2055920 swapFree=4179472/4192956
[pid=23468] ppid=23466 vsize=867392 CPUtime=6.22
/proc/23468/stat : 23468 (java) S 23466 23468 21674 0 -1 0 27690 271 1 0 609 12 0 1 18 0 9 0 1999543370 888209408 18695 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23468/statm: 216848 18695 2631 9 0 211354 0
[pid=23468/tid=23470] ppid=23466 vsize=867392 CPUtime=5.86
/proc/23468/task/23470/stat : 23470 (java) R 23466 23468 21674 0 -1 64 19014 271 1 0 577 8 0 1 25 0 9 0 1999543372 888209408 18695 996147200 134512640 134550740 4294955936 18446744073709551615 4126735962 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23471] ppid=23466 vsize=867392 CPUtime=0.1
/proc/23468/task/23471/stat : 23471 (java) S 23466 23468 21674 0 -1 64 7287 271 0 0 8 1 0 1 17 0 9 0 1999543373 888209408 18695 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23472] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23472/stat : 23472 (java) S 23466 23468 21674 0 -1 64 16 271 0 0 0 0 0 1 17 0 9 0 1999543373 888209408 18695 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23473] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23473/stat : 23473 (java) S 23466 23468 21674 0 -1 64 9 271 0 0 0 0 0 1 16 0 9 0 1999543373 888209408 18695 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23474] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23474/stat : 23474 (java) S 23466 23468 21674 0 -1 64 1 271 0 0 0 0 0 1 18 0 9 0 1999543375 888209408 18695 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23475] ppid=23466 vsize=867392 CPUtime=0.23
/proc/23468/task/23475/stat : 23475 (java) S 23466 23468 21674 0 -1 64 548 271 0 0 22 0 0 1 17 0 9 0 1999543375 888209408 18695 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23476] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23476/stat : 23476 (java) S 23466 23468 21674 0 -1 64 1 271 0 0 0 0 0 1 19 0 9 0 1999543376 888209408 18695 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23477] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23477/stat : 23477 (java) S 23466 23468 21674 0 -1 64 6 271 0 0 0 0 0 1 15 0 9 0 1999543376 888209408 18695 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867392
[startup+12.7016 s]
/proc/loadavg: 1.95 1.97 1.95 3/82 23481
/proc/meminfo: memFree=1647944/2055920 swapFree=4179472/4192956
[pid=23468] ppid=23466 vsize=867392 CPUtime=12.55
/proc/23468/stat : 23468 (java) S 23466 23468 21674 0 -1 0 27719 271 1 0 1242 12 0 1 18 0 9 0 1999543370 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23468/statm: 216848 18699 2631 9 0 211354 0
[pid=23468/tid=23470] ppid=23466 vsize=867392 CPUtime=12.19
/proc/23468/task/23470/stat : 23470 (java) R 23466 23468 21674 0 -1 64 19038 271 1 0 1210 8 0 1 25 0 9 0 1999543372 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4126747202 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23471] ppid=23466 vsize=867392 CPUtime=0.1
/proc/23468/task/23471/stat : 23471 (java) S 23466 23468 21674 0 -1 64 7287 271 0 0 8 1 0 1 16 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23472] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23472/stat : 23472 (java) S 23466 23468 21674 0 -1 64 16 271 0 0 0 0 0 1 17 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23473] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23473/stat : 23473 (java) S 23466 23468 21674 0 -1 64 9 271 0 0 0 0 0 1 16 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23474] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23474/stat : 23474 (java) S 23466 23468 21674 0 -1 64 1 271 0 0 0 0 0 1 18 0 9 0 1999543375 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23475] ppid=23466 vsize=867392 CPUtime=0.24
/proc/23468/task/23475/stat : 23475 (java) S 23466 23468 21674 0 -1 64 553 271 0 0 23 0 0 1 16 0 9 0 1999543375 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23476] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23476/stat : 23476 (java) S 23466 23468 21674 0 -1 64 1 271 0 0 0 0 0 1 19 0 9 0 1999543376 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23477] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23477/stat : 23477 (java) S 23466 23468 21674 0 -1 64 6 271 0 0 0 0 0 1 15 0 9 0 1999543376 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867392
[startup+25.5021 s]
/proc/loadavg: 1.96 1.97 1.95 3/82 23481
/proc/meminfo: memFree=1648072/2055920 swapFree=4179472/4192956
[pid=23468] ppid=23466 vsize=867392 CPUtime=25.23
/proc/23468/stat : 23468 (java) S 23466 23468 21674 0 -1 0 27742 271 1 0 2510 12 0 1 18 0 9 0 1999543370 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23468/statm: 216848 18699 2631 9 0 211354 0
[pid=23468/tid=23470] ppid=23466 vsize=867392 CPUtime=24.86
/proc/23468/task/23470/stat : 23470 (java) R 23466 23468 21674 0 -1 64 19061 271 1 0 2477 8 0 1 25 0 9 0 1999543372 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4126747222 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23471] ppid=23466 vsize=867392 CPUtime=0.1
/proc/23468/task/23471/stat : 23471 (java) S 23466 23468 21674 0 -1 64 7287 271 0 0 8 1 0 1 16 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23472] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23472/stat : 23472 (java) S 23466 23468 21674 0 -1 64 16 271 0 0 0 0 0 1 17 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23473] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23473/stat : 23473 (java) S 23466 23468 21674 0 -1 64 9 271 0 0 0 0 0 1 16 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23474] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23474/stat : 23474 (java) S 23466 23468 21674 0 -1 64 1 271 0 0 0 0 0 1 18 0 9 0 1999543375 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23475] ppid=23466 vsize=867392 CPUtime=0.24
/proc/23468/task/23475/stat : 23475 (java) S 23466 23468 21674 0 -1 64 553 271 0 0 23 0 0 1 16 0 9 0 1999543375 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23476] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23476/stat : 23476 (java) S 23466 23468 21674 0 -1 64 1 271 0 0 0 0 0 1 19 0 9 0 1999543376 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23477] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23477/stat : 23477 (java) S 23466 23468 21674 0 -1 64 6 271 0 0 0 0 0 1 15 0 9 0 1999543376 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867392
[startup+51.1021 s]
/proc/loadavg: 1.97 1.97 1.95 3/82 23481
/proc/meminfo: memFree=1648072/2055920 swapFree=4179472/4192956
[pid=23468] ppid=23466 vsize=867392 CPUtime=50.59
/proc/23468/stat : 23468 (java) S 23466 23468 21674 0 -1 0 27805 271 1 0 5045 13 0 1 18 0 9 0 1999543370 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23468/statm: 216848 18699 2631 9 0 211354 0
[pid=23468/tid=23470] ppid=23466 vsize=867392 CPUtime=50.23
/proc/23468/task/23470/stat : 23470 (java) R 23466 23468 21674 0 -1 64 19124 271 1 0 5013 9 0 1 25 0 9 0 1999543372 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4126782488 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23471] ppid=23466 vsize=867392 CPUtime=0.1
/proc/23468/task/23471/stat : 23471 (java) S 23466 23468 21674 0 -1 64 7287 271 0 0 8 1 0 1 16 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23472] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23472/stat : 23472 (java) S 23466 23468 21674 0 -1 64 16 271 0 0 0 0 0 1 17 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23473] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23473/stat : 23473 (java) S 23466 23468 21674 0 -1 64 9 271 0 0 0 0 0 1 16 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23474] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23474/stat : 23474 (java) S 23466 23468 21674 0 -1 64 1 271 0 0 0 0 0 1 18 0 9 0 1999543375 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23475] ppid=23466 vsize=867392 CPUtime=0.24
/proc/23468/task/23475/stat : 23475 (java) S 23466 23468 21674 0 -1 64 553 271 0 0 23 0 0 1 16 0 9 0 1999543375 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23476] ppid=23466 vsize=867392 CPUtime=0.01
################
# More data... #
################
/proc/23468/stat : 23468 (java) S 23466 23468 21674 0 -1 0 28284 271 1 0 23430 13 0 1 18 0 9 0 1999543370 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23468/statm: 216848 18699 2631 9 0 211354 0
[pid=23468/tid=23470] ppid=23466 vsize=867392 CPUtime=234.07
/proc/23468/task/23470/stat : 23470 (java) R 23466 23468 21674 0 -1 64 19603 271 1 0 23397 9 0 1 25 0 9 0 1999543372 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4126811146 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23471] ppid=23466 vsize=867392 CPUtime=0.1
/proc/23468/task/23471/stat : 23471 (java) S 23466 23468 21674 0 -1 64 7287 271 0 0 8 1 0 1 16 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23472] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23472/stat : 23472 (java) S 23466 23468 21674 0 -1 64 16 271 0 0 0 0 0 1 17 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23473] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23473/stat : 23473 (java) S 23466 23468 21674 0 -1 64 9 271 0 0 0 0 0 1 16 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23474] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23474/stat : 23474 (java) S 23466 23468 21674 0 -1 64 1 271 0 0 0 0 0 1 18 0 9 0 1999543375 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23475] ppid=23466 vsize=867392 CPUtime=0.24
/proc/23468/task/23475/stat : 23475 (java) S 23466 23468 21674 0 -1 64 553 271 0 0 23 0 0 1 16 0 9 0 1999543375 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23476] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23476/stat : 23476 (java) S 23466 23468 21674 0 -1 64 1 271 0 0 0 0 0 1 19 0 9 0 1999543376 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23477] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23477/stat : 23477 (java) S 23466 23468 21674 0 -1 64 6 271 0 0 0 0 0 1 15 0 9 0 1999543376 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 234.44
Current children cumulated vsize (KiB) 867392
[startup+243.107 s]
/proc/loadavg: 1.99 1.97 1.95 3/82 23481
/proc/meminfo: memFree=1647880/2055920 swapFree=4179472/4192956
[pid=23468] ppid=23466 vsize=867392 CPUtime=240.78
/proc/23468/stat : 23468 (java) S 23466 23468 21674 0 -1 0 28301 271 1 0 24064 13 0 1 18 0 9 0 1999543370 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23468/statm: 216848 18699 2631 9 0 211354 0
[pid=23468/tid=23470] ppid=23466 vsize=867392 CPUtime=240.42
/proc/23468/task/23470/stat : 23470 (java) R 23466 23468 21674 0 -1 64 19620 271 1 0 24032 9 0 1 25 0 9 0 1999543372 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4126747135 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23471] ppid=23466 vsize=867392 CPUtime=0.1
/proc/23468/task/23471/stat : 23471 (java) S 23466 23468 21674 0 -1 64 7287 271 0 0 8 1 0 1 16 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23472] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23472/stat : 23472 (java) S 23466 23468 21674 0 -1 64 16 271 0 0 0 0 0 1 17 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23473] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23473/stat : 23473 (java) S 23466 23468 21674 0 -1 64 9 271 0 0 0 0 0 1 16 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23474] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23474/stat : 23474 (java) S 23466 23468 21674 0 -1 64 1 271 0 0 0 0 0 1 18 0 9 0 1999543375 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23475] ppid=23466 vsize=867392 CPUtime=0.24
/proc/23468/task/23475/stat : 23475 (java) S 23466 23468 21674 0 -1 64 553 271 0 0 23 0 0 1 16 0 9 0 1999543375 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23476] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23476/stat : 23476 (java) S 23466 23468 21674 0 -1 64 1 271 0 0 0 0 0 1 19 0 9 0 1999543376 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23477] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23477/stat : 23477 (java) S 23466 23468 21674 0 -1 64 6 271 0 0 0 0 0 1 15 0 9 0 1999543376 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 240.78
Current children cumulated vsize (KiB) 867392
[startup+244.702 s]
/proc/loadavg: 1.99 1.97 1.95 3/82 23481
/proc/meminfo: memFree=1647880/2055920 swapFree=4179472/4192956
[pid=23468] ppid=23466 vsize=867392 CPUtime=242.36
/proc/23468/stat : 23468 (java) S 23466 23468 21674 0 -1 0 28306 271 1 0 24222 13 0 1 18 0 9 0 1999543370 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23468/statm: 216848 18699 2631 9 0 211354 0
[pid=23468/tid=23470] ppid=23466 vsize=867392 CPUtime=242
/proc/23468/task/23470/stat : 23470 (java) R 23466 23468 21674 0 -1 64 19625 271 1 0 24190 9 0 1 25 0 9 0 1999543372 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4126747473 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23471] ppid=23466 vsize=867392 CPUtime=0.1
/proc/23468/task/23471/stat : 23471 (java) S 23466 23468 21674 0 -1 64 7287 271 0 0 8 1 0 1 16 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23472] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23472/stat : 23472 (java) S 23466 23468 21674 0 -1 64 16 271 0 0 0 0 0 1 17 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23473] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23473/stat : 23473 (java) S 23466 23468 21674 0 -1 64 9 271 0 0 0 0 0 1 16 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23474] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23474/stat : 23474 (java) S 23466 23468 21674 0 -1 64 1 271 0 0 0 0 0 1 18 0 9 0 1999543375 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23475] ppid=23466 vsize=867392 CPUtime=0.24
/proc/23468/task/23475/stat : 23475 (java) S 23466 23468 21674 0 -1 64 553 271 0 0 23 0 0 1 16 0 9 0 1999543375 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23476] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23476/stat : 23476 (java) S 23466 23468 21674 0 -1 64 1 271 0 0 0 0 0 1 19 0 9 0 1999543376 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23477] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23477/stat : 23477 (java) S 23466 23468 21674 0 -1 64 6 271 0 0 0 0 0 1 15 0 9 0 1999543376 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 242.36
Current children cumulated vsize (KiB) 867392
[startup+245.502 s]
/proc/loadavg: 1.99 1.97 1.95 3/82 23481
/proc/meminfo: memFree=1647880/2055920 swapFree=4179472/4192956
[pid=23468] ppid=23466 vsize=867392 CPUtime=243.15
/proc/23468/stat : 23468 (java) S 23466 23468 21674 0 -1 0 28309 271 1 0 24301 13 0 1 18 0 9 0 1999543370 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23468/statm: 216848 18699 2631 9 0 211354 0
[pid=23468/tid=23470] ppid=23466 vsize=867392 CPUtime=242.79
/proc/23468/task/23470/stat : 23470 (java) R 23466 23468 21674 0 -1 64 19628 271 1 0 24269 9 0 1 25 0 9 0 1999543372 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4126747183 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23471] ppid=23466 vsize=867392 CPUtime=0.1
/proc/23468/task/23471/stat : 23471 (java) S 23466 23468 21674 0 -1 64 7287 271 0 0 8 1 0 1 16 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23472] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23472/stat : 23472 (java) S 23466 23468 21674 0 -1 64 16 271 0 0 0 0 0 1 17 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23473] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23473/stat : 23473 (java) S 23466 23468 21674 0 -1 64 9 271 0 0 0 0 0 1 16 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23474] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23474/stat : 23474 (java) S 23466 23468 21674 0 -1 64 1 271 0 0 0 0 0 1 18 0 9 0 1999543375 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23475] ppid=23466 vsize=867392 CPUtime=0.24
/proc/23468/task/23475/stat : 23475 (java) S 23466 23468 21674 0 -1 64 553 271 0 0 23 0 0 1 16 0 9 0 1999543375 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23476] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23476/stat : 23476 (java) S 23466 23468 21674 0 -1 64 1 271 0 0 0 0 0 1 19 0 9 0 1999543376 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23477] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23477/stat : 23477 (java) S 23466 23468 21674 0 -1 64 6 271 0 0 0 0 0 1 15 0 9 0 1999543376 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 243.15
Current children cumulated vsize (KiB) 867392
[startup+245.902 s]
/proc/loadavg: 1.99 1.97 1.95 3/82 23481
/proc/meminfo: memFree=1647880/2055920 swapFree=4179472/4192956
[pid=23468] ppid=23466 vsize=867392 CPUtime=243.55
/proc/23468/stat : 23468 (java) S 23466 23468 21674 0 -1 0 28310 271 1 0 24341 13 0 1 18 0 9 0 1999543370 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23468/statm: 216848 18699 2631 9 0 211354 0
[pid=23468/tid=23470] ppid=23466 vsize=867392 CPUtime=243.18
/proc/23468/task/23470/stat : 23470 (java) R 23466 23468 21674 0 -1 64 19629 271 1 0 24308 9 0 1 25 0 9 0 1999543372 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4126747123 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23471] ppid=23466 vsize=867392 CPUtime=0.1
/proc/23468/task/23471/stat : 23471 (java) S 23466 23468 21674 0 -1 64 7287 271 0 0 8 1 0 1 16 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23472] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23472/stat : 23472 (java) S 23466 23468 21674 0 -1 64 16 271 0 0 0 0 0 1 17 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23473] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23473/stat : 23473 (java) S 23466 23468 21674 0 -1 64 9 271 0 0 0 0 0 1 16 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23474] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23474/stat : 23474 (java) S 23466 23468 21674 0 -1 64 1 271 0 0 0 0 0 1 18 0 9 0 1999543375 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23475] ppid=23466 vsize=867392 CPUtime=0.24
/proc/23468/task/23475/stat : 23475 (java) S 23466 23468 21674 0 -1 64 553 271 0 0 23 0 0 1 16 0 9 0 1999543375 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23476] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23476/stat : 23476 (java) S 23466 23468 21674 0 -1 64 1 271 0 0 0 0 0 1 19 0 9 0 1999543376 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23477] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23477/stat : 23477 (java) S 23466 23468 21674 0 -1 64 6 271 0 0 0 0 0 1 15 0 9 0 1999543376 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 243.55
Current children cumulated vsize (KiB) 867392
[startup+246.102 s]
/proc/loadavg: 1.99 1.97 1.95 3/82 23481
/proc/meminfo: memFree=1647880/2055920 swapFree=4179472/4192956
[pid=23468] ppid=23466 vsize=867392 CPUtime=243.75
/proc/23468/stat : 23468 (java) S 23466 23468 21674 0 -1 0 28311 271 1 0 24361 13 0 1 18 0 9 0 1999543370 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23468/statm: 216848 18699 2631 9 0 211354 0
[pid=23468/tid=23470] ppid=23466 vsize=867392 CPUtime=243.38
/proc/23468/task/23470/stat : 23470 (java) R 23466 23468 21674 0 -1 64 19630 271 1 0 24328 9 0 1 25 0 9 0 1999543372 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4126735962 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23471] ppid=23466 vsize=867392 CPUtime=0.1
/proc/23468/task/23471/stat : 23471 (java) S 23466 23468 21674 0 -1 64 7287 271 0 0 8 1 0 1 16 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23472] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23472/stat : 23472 (java) S 23466 23468 21674 0 -1 64 16 271 0 0 0 0 0 1 17 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23473] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23473/stat : 23473 (java) S 23466 23468 21674 0 -1 64 9 271 0 0 0 0 0 1 16 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23474] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23474/stat : 23474 (java) S 23466 23468 21674 0 -1 64 1 271 0 0 0 0 0 1 18 0 9 0 1999543375 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23475] ppid=23466 vsize=867392 CPUtime=0.24
/proc/23468/task/23475/stat : 23475 (java) S 23466 23468 21674 0 -1 64 553 271 0 0 23 0 0 1 16 0 9 0 1999543375 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23476] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23476/stat : 23476 (java) S 23466 23468 21674 0 -1 64 1 271 0 0 0 0 0 1 19 0 9 0 1999543376 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23477] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23477/stat : 23477 (java) S 23466 23468 21674 0 -1 64 6 271 0 0 0 0 0 1 15 0 9 0 1999543376 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 243.75
Current children cumulated vsize (KiB) 867392
[startup+246.202 s]
/proc/loadavg: 1.99 1.97 1.95 3/82 23481
/proc/meminfo: memFree=1647880/2055920 swapFree=4179472/4192956
[pid=23468] ppid=23466 vsize=867392 CPUtime=243.85
/proc/23468/stat : 23468 (java) S 23466 23468 21674 0 -1 0 28311 271 1 0 24371 13 0 1 18 0 9 0 1999543370 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23468/statm: 216848 18699 2631 9 0 211354 0
[pid=23468/tid=23470] ppid=23466 vsize=867392 CPUtime=243.48
/proc/23468/task/23470/stat : 23470 (java) R 23466 23468 21674 0 -1 64 19630 271 1 0 24338 9 0 1 25 0 9 0 1999543372 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4126747045 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23471] ppid=23466 vsize=867392 CPUtime=0.1
/proc/23468/task/23471/stat : 23471 (java) S 23466 23468 21674 0 -1 64 7287 271 0 0 8 1 0 1 16 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23472] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23472/stat : 23472 (java) S 23466 23468 21674 0 -1 64 16 271 0 0 0 0 0 1 17 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23473] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23473/stat : 23473 (java) S 23466 23468 21674 0 -1 64 9 271 0 0 0 0 0 1 16 0 9 0 1999543373 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23474] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23474/stat : 23474 (java) S 23466 23468 21674 0 -1 64 1 271 0 0 0 0 0 1 18 0 9 0 1999543375 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23475] ppid=23466 vsize=867392 CPUtime=0.24
/proc/23468/task/23475/stat : 23475 (java) S 23466 23468 21674 0 -1 64 553 271 0 0 23 0 0 1 16 0 9 0 1999543375 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23476] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23476/stat : 23476 (java) S 23466 23468 21674 0 -1 64 1 271 0 0 0 0 0 1 19 0 9 0 1999543376 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23468/tid=23477] ppid=23466 vsize=867392 CPUtime=0.01
/proc/23468/task/23477/stat : 23477 (java) S 23466 23468 21674 0 -1 64 6 271 0 0 0 0 0 1 15 0 9 0 1999543376 888209408 18699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 243.85
Current children cumulated vsize (KiB) 867392
Child status: 0
Real time (s): 246.265
CPU time (s): 243.896
CPU user time (s): 243.737
CPU system time (s): 0.158975
CPU usage (%): 99.038
Max. virtual memory (cumulated for all children) (KiB): 867392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.737
system time used= 0.158975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28684
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= 6055
involuntary context switches= 11560
runsolver used 0.395939 second user time and 0.739887 second system time
The end
Begin job on node1 at 2008-07-04 23:07:57
IDJOB=1078132
IDBENCH=56762
IDSOLVER=363
FILE ID=node1/1078132-1215205677
PBS_JOBID= 7881641
Free space on /tmp= 66480 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-21_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1078132-1215205677/watcher-1078132-1215205677 -o /tmp/evaluation-result-1078132-1215205677/solver-1078132-1215205677 -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-1078132-1215205677.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 97369210ec8c098429d86baf3771a497
RANDOM SEED=662691022
node1.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.265
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.265
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: 1713712 kB
Buffers: 26748 kB
Cached: 203892 kB
SwapCached: 7496 kB
Active: 209072 kB
Inactive: 81108 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1713712 kB
SwapTotal: 4192956 kB
SwapFree: 4179472 kB
Dirty: 3248 kB
Writeback: 0 kB
Mapped: 67052 kB
Slab: 37080 kB
Committed_AS: 3216776 kB
PageTables: 1952 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= 66480 MiB
End job on node1 at 2008-07-04 23:12:04