0.07/0.09
0.07/0.09 Abscon 112 (May, 2008)
0.19/0.23
0.19/0.23 configuration
0.19/0.23 name=mac.xml
0.28/0.31
0.28/0.31 instance
0.28/0.31 name=HOME/instance-1074796-1215179788.xml
0.28/0.35
0.28/0.35 domains being loaded...
0.38/0.41
0.38/0.41 variables being loaded...
0.58/0.61 nbVariables=400 nbDomainTypes=400 minDomainSize=1167 maxDomainSize=1265 nbTotalValues=485593
0.58/0.61 => wckTime=0.374 cpuTime=0.27 mem=18M667
0.58/0.61
0.58/0.61 predicates being loaded...
0.58/0.67
0.58/0.67 constraints being loaded...
3.35/3.44 nbConstraints=7620 nbGlobalConstraints=7620 nbSharedBinaryRepresentations=0 minDegree=39 maxDegree=39
3.35/3.44 minArity=2 avgArity=2.05 maxArity=20 nbGenerators=0 nbFusions=0 symmetryWckTime=1.268 symmetryCpuTime=1.12
3.35/3.44 nbCliques=20
3.35/3.44 => wckTime=3.207 cpuTime=2.75 mem=58M284
3.55/3.64
3.55/3.64 solver IterativeSystematicSolver being built...
3.65/3.71
3.65/3.71 INFO : Forward propagation technique limited
3.75/3.81 => wckTime=3.572 cpuTime=2.89 mem=54M686
3.75/3.87
3.75/3.87 preprocessing
3.75/3.87 nbConstraintChecks=0 nbPropagations=400 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
3.75/3.87 detectedInconsistency=no
3.75/3.87 => wckTime=0.043 cpuTime=0.03 mem=56M617
9.82/9.92
9.82/9.92 INFO : Stopping use of transposition table (mapSize=0, nbTooLargekeys=745, mem=92M242)
696.47/699.93
696.47/699.93 search
696.47/699.93 run=25 nbConstraintChecks=333047733 minDepth=139 maxDepth=400 nbPropagations=26752406 nbRevisions=0
696.47/699.93 nbUselessRevisions=0 nbAssignments=539041 nbFailedAssignments=507926 nbInferredBacktracks=969
696.47/699.93 nbBacktracks=26362 nbVisitedNodes=1070469 nbRestartNogoods=1536 nbFoundSolutions=1 nbSEliminables=0
696.47/699.93 nbREliminables=18.39 nbIEliminables=0 nbDEliminables=0 nbPEliminables=0
696.47/699.93 => wckTime=696.097 cpuTime=690.41 mem=84M442
696.47/699.93
696.47/699.93 global
696.47/699.93 nbConstraintChecks=333047733 nbPropagations=26752806 nbRestartNogoods=1536 solvingWckTime=696.099
696.47/699.93 solvingCpuTime=690.41 expiredTime=no totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=693.27
696.47/699.93 globalCpuTime=693.38
696.47/699.93 => wckTime=699.69 cpuTime=693.33 mem=84M442
696.47/699.93
696.47/699.93 s SATISFIABLE
696.47/699.93 v 854 946 803 0 222 901 64 403 284 747 631 979 615 487 1063 274 129 685 536 1118 59 527 970 454 925 403 1111 237 1030 407 306 726 155 1162 1227 205 0 585 798 440 39 60 983 1118 555 600 743 394 155 650 1171 54 309 411 1018 212 179 798 0 186 1022 668 1016 806 809 411 512 1172 129 329 588 215 1089 950 303 45 606 18 747 0 88 348 0 328 809 579 973 1212 682 725 626 219 421 301 482 408 1060 193 209 870 1060 989 115 640 150 1118 582 309 61 816 388 487 0 726 132 1169 222 317 831 910 1246 460 581 306 640 370 901 518 1141 1066 1180 242 59 991 0 88 725 611 206 792 286 690 453 367 894 594 0 29 388 968 507 231 77 1171 297 1104 435 301 162 801 60 1086 274 1223 162 0 831 64 501 1169 206 136 1022 608 705 981 474 383 900 677 1089 557 193 395 717 460 0 646 1171 802 109 372 670 62 262 594 1030 889 305 209 163 627 1083 705 854 60 1232 150 586 471 894 266 1121 109 303 962 372 766 117 0 330 621 82 452 676 570 130 284 212 1181 946 806 891 748 501 39 411 1122 1026 1206 1162 601 585 490 754 859 163 370 42 82 314 279 203 1061 1084 682 962 399 18 0 796 69 0 1048 394 1169 121 705 465 235 679 170 650 552 668 306 950 1122 476 880 989 266 1086 1205 121 476 582 1177 948 216 555 518 372 193 411 0 864 648 354 768 546 39 1157 130 1061 685 77 330 399 279 82 816 0 367 477 25 716 897 754 172 329 1063 1118 367 1018 0 705 61 482 862 237 544 1026 140 512 608 1181 959 404 768 388 671 84 286 897 205 1078 611 348 734 789 467 29 970 552 14 219 1187 1118 163 505 570 306 274 983 1180 889 1092 69 796 380 1018 440 231 350 0 648 743 203 136 1118 802 981 229 870 490 380 587 1048 117 45 309 404 170 442 62 630 705 215 0
696.47/699.93 d NODES 539041
696.47/699.93 d CHECKS 333047733
696.47/699.93
696.47/699.93 totalWckTime=699.747 totalCpuTime=693.38
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1074796-1215179788/watcher-1074796-1215179788 -o /tmp/evaluation-result-1074796-1215179788/solver-1074796-1215179788 -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-1074796-1215179788.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.51 2.18 2.06 3/72 10586
/proc/meminfo: memFree=1808360/2055920 swapFree=4180472/4192956
[pid=10586] ppid=10584 vsize=1616 CPUtime=0
/proc/10586/stat : 10586 (java) D 10584 10586 9349 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 1996954191 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/10586/statm: 404 145 119 9 0 46 0
[startup+0.084131 s]
/proc/loadavg: 2.51 2.18 2.06 3/72 10586
/proc/meminfo: memFree=1808360/2055920 swapFree=4180472/4192956
[pid=10586] ppid=10584 vsize=865856 CPUtime=0.07
/proc/10586/stat : 10586 (java) S 10584 10586 9349 0 -1 0 3552 0 1 0 5 2 0 0 18 0 9 0 1996954191 886636544 3042 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10586/statm: 216464 3042 1634 9 0 211026 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865856
[startup+0.101128 s]
/proc/loadavg: 2.51 2.18 2.06 3/72 10586
/proc/meminfo: memFree=1808360/2055920 swapFree=4180472/4192956
[pid=10586] ppid=10584 vsize=865884 CPUtime=0.09
/proc/10586/stat : 10586 (java) S 10584 10586 9349 0 -1 0 3742 0 1 0 7 2 0 0 18 0 9 0 1996954191 886665216 3201 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10586/statm: 216471 3201 1698 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.301148 s]
/proc/loadavg: 2.51 2.18 2.06 3/72 10586
/proc/meminfo: memFree=1808360/2055920 swapFree=4180472/4192956
[pid=10586] ppid=10584 vsize=866196 CPUtime=0.28
/proc/10586/stat : 10586 (java) S 10584 10586 9349 0 -1 0 5621 0 1 0 25 3 0 0 18 0 9 0 1996954191 886984704 5035 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10586/statm: 216549 5035 1903 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196
[startup+0.701179 s]
/proc/loadavg: 2.51 2.18 2.06 3/72 10586
/proc/meminfo: memFree=1808360/2055920 swapFree=4180472/4192956
[pid=10586] ppid=10584 vsize=867100 CPUtime=0.68
/proc/10586/stat : 10586 (java) S 10584 10586 9349 0 -1 0 10149 0 1 0 62 6 0 0 18 0 9 0 1996954191 887910400 9509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10586/statm: 216775 9509 2006 9 0 211281 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867100
[startup+1.50226 s]
/proc/loadavg: 2.51 2.18 2.06 3/81 10595
/proc/meminfo: memFree=1763296/2055920 swapFree=4180472/4192956
[pid=10586] ppid=10584 vsize=867604 CPUtime=1.47
/proc/10586/stat : 10586 (java) S 10584 10586 9349 0 -1 0 20720 0 1 0 132 15 0 0 18 0 9 0 1996954191 888426496 20055 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10586/statm: 216901 20055 2004 9 0 211429 0
[pid=10586/tid=10588] ppid=10584 vsize=867604 CPUtime=1.19
/proc/10586/task/10588/stat : 10588 (java) R 10584 10586 9349 0 -1 64 15765 0 1 0 107 12 0 0 25 0 9 0 1996954192 888426496 20055 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10589] ppid=10584 vsize=867604 CPUtime=0.07
/proc/10586/task/10589/stat : 10589 (java) S 10584 10586 9349 0 -1 64 3569 0 0 0 6 1 0 0 16 0 9 0 1996954194 888426496 20055 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10590] ppid=10584 vsize=867604 CPUtime=0
/proc/10586/task/10590/stat : 10590 (java) S 10584 10586 9349 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1996954194 888426496 20055 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10591] ppid=10584 vsize=867604 CPUtime=0
/proc/10586/task/10591/stat : 10591 (java) S 10584 10586 9349 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996954194 888426496 20055 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10592] ppid=10584 vsize=867604 CPUtime=0
/proc/10586/task/10592/stat : 10592 (java) S 10584 10586 9349 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1996954196 888426496 20055 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10593] ppid=10584 vsize=867604 CPUtime=0.18
/proc/10586/task/10593/stat : 10593 (java) S 10584 10586 9349 0 -1 64 689 0 0 0 18 0 0 0 16 0 9 0 1996954196 888426496 20055 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10594] ppid=10584 vsize=867604 CPUtime=0
/proc/10586/task/10594/stat : 10594 (java) S 10584 10586 9349 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1996954196 888426496 20055 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10595] ppid=10584 vsize=867604 CPUtime=0
/proc/10586/task/10595/stat : 10595 (java) S 10584 10586 9349 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996954196 888426496 20055 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867604
[startup+3.10238 s]
/proc/loadavg: 2.51 2.18 2.06 3/81 10595
/proc/meminfo: memFree=1735520/2055920 swapFree=4180472/4192956
[pid=10586] ppid=10584 vsize=867924 CPUtime=3.05
/proc/10586/stat : 10586 (java) S 10584 10586 9349 0 -1 0 25860 588 1 0 252 45 7 1 18 0 9 0 1996954191 888754176 20126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10586/statm: 216981 20126 2014 9 0 211509 0
[pid=10586/tid=10588] ppid=10584 vsize=867924 CPUtime=2.71
/proc/10586/task/10588/stat : 10588 (java) R 10584 10586 9349 0 -1 64 20622 588 1 0 222 41 7 1 25 0 9 0 1996954192 888754176 20126 996147200 134512640 134550740 4294955968 18446744073709551615 4127046032 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10589] ppid=10584 vsize=867924 CPUtime=0.15
/proc/10586/task/10589/stat : 10589 (java) S 10584 10586 9349 0 -1 64 3569 588 0 0 6 1 7 1 17 0 9 0 1996954194 888754176 20126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10590] ppid=10584 vsize=867924 CPUtime=0.08
/proc/10586/task/10590/stat : 10590 (java) S 10584 10586 9349 0 -1 64 13 588 0 0 0 0 7 1 16 0 9 0 1996954194 888754176 20126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10591] ppid=10584 vsize=867924 CPUtime=0.08
/proc/10586/task/10591/stat : 10591 (java) S 10584 10586 9349 0 -1 64 5 588 0 0 0 0 7 1 16 0 9 0 1996954194 888754176 20126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10592] ppid=10584 vsize=867924 CPUtime=0.08
/proc/10586/task/10592/stat : 10592 (java) S 10584 10586 9349 0 -1 64 0 588 0 0 0 0 7 1 18 0 9 0 1996954196 888754176 20126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10593] ppid=10584 vsize=867924 CPUtime=0.32
/proc/10586/task/10593/stat : 10593 (java) S 10584 10586 9349 0 -1 64 837 588 0 0 23 1 7 1 15 0 9 0 1996954196 888754176 20126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10594] ppid=10584 vsize=867924 CPUtime=0.08
/proc/10586/task/10594/stat : 10594 (java) S 10584 10586 9349 0 -1 64 2 588 0 0 0 0 7 1 19 0 9 0 1996954196 888754176 20126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10595] ppid=10584 vsize=867924 CPUtime=0.08
/proc/10586/task/10595/stat : 10595 (java) S 10584 10586 9349 0 -1 64 10 588 0 0 0 0 7 1 15 0 9 0 1996954196 888754176 20126 996147200 134512640 134550740 4294955968 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) 867924
[startup+6.30163 s]
/proc/loadavg: 2.63 2.21 2.07 3/81 10599
/proc/meminfo: memFree=1721248/2055920 swapFree=4180472/4192956
[pid=10586] ppid=10584 vsize=868100 CPUtime=6.24
/proc/10586/stat : 10586 (java) S 10584 10586 9349 0 -1 0 39428 588 1 0 566 50 7 1 18 0 9 0 1996954191 888934400 24190 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10586/statm: 217025 24190 2637 9 0 211531 0
[pid=10586/tid=10588] ppid=10584 vsize=868100 CPUtime=5.65
/proc/10586/task/10588/stat : 10588 (java) R 10584 10586 9349 0 -1 64 25708 588 1 0 514 43 7 1 25 0 9 0 1996954192 888934400 24190 996147200 134512640 134550740 4294955968 18446744073709551615 4127183898 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10589] ppid=10584 vsize=868100 CPUtime=0.34
/proc/10586/task/10589/stat : 10589 (java) S 10584 10586 9349 0 -1 64 11922 588 0 0 23 3 7 1 16 0 9 0 1996954194 888934400 24190 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10590] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10590/stat : 10590 (java) S 10584 10586 9349 0 -1 64 17 588 0 0 0 0 7 1 16 0 9 0 1996954194 888934400 24190 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10591] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10591/stat : 10591 (java) S 10584 10586 9349 0 -1 64 8 588 0 0 0 0 7 1 16 0 9 0 1996954194 888934400 24190 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10592] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10592/stat : 10592 (java) S 10584 10586 9349 0 -1 64 0 588 0 0 0 0 7 1 18 0 9 0 1996954196 888934400 24190 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10593] ppid=10584 vsize=868100 CPUtime=0.37
/proc/10586/task/10593/stat : 10593 (java) S 10584 10586 9349 0 -1 64 928 588 0 0 28 1 7 1 15 0 9 0 1996954196 888934400 24190 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10594] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10594/stat : 10594 (java) S 10584 10586 9349 0 -1 64 2 588 0 0 0 0 7 1 19 0 9 0 1996954196 888934400 24190 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10595] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10595/stat : 10595 (java) S 10584 10586 9349 0 -1 64 41 588 0 0 0 0 7 1 15 0 9 0 1996954196 888934400 24190 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 868100
[startup+12.7022 s]
/proc/loadavg: 2.58 2.21 2.06 3/81 10599
/proc/meminfo: memFree=1694240/2055920 swapFree=4180472/4192956
[pid=10586] ppid=10584 vsize=868100 CPUtime=12.61
/proc/10586/stat : 10586 (java) S 10584 10586 9349 0 -1 0 48766 588 1 0 1199 54 7 1 18 0 9 0 1996954191 888934400 30890 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10586/statm: 217025 30890 2637 9 0 211531 0
[pid=10586/tid=10588] ppid=10584 vsize=868100 CPUtime=11.84
/proc/10586/task/10588/stat : 10588 (java) R 10584 10586 9349 0 -1 64 28256 588 1 0 1132 44 7 1 25 0 9 0 1996954192 888934400 30890 996147200 134512640 134550740 4294955968 18446744073709551615 4127190379 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10589] ppid=10584 vsize=868100 CPUtime=0.47
/proc/10586/task/10589/stat : 10589 (java) S 10584 10586 9349 0 -1 64 18639 588 0 0 33 6 7 1 16 0 9 0 1996954194 888934400 30890 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10590] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10590/stat : 10590 (java) S 10584 10586 9349 0 -1 64 17 588 0 0 0 0 7 1 16 0 9 0 1996954194 888934400 30890 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10591] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10591/stat : 10591 (java) S 10584 10586 9349 0 -1 64 8 588 0 0 0 0 7 1 16 0 9 0 1996954194 888934400 30890 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10592] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10592/stat : 10592 (java) S 10584 10586 9349 0 -1 64 0 588 0 0 0 0 7 1 18 0 9 0 1996954196 888934400 30890 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10593] ppid=10584 vsize=868100 CPUtime=0.43
/proc/10586/task/10593/stat : 10593 (java) S 10584 10586 9349 0 -1 64 1001 588 0 0 34 1 7 1 15 0 9 0 1996954196 888934400 30890 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10594] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10594/stat : 10594 (java) S 10584 10586 9349 0 -1 64 2 588 0 0 0 0 7 1 19 0 9 0 1996954196 888934400 30890 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10595] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10595/stat : 10595 (java) S 10584 10586 9349 0 -1 64 41 588 0 0 0 0 7 1 15 0 9 0 1996954196 888934400 30890 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 868100
[startup+25.5012 s]
/proc/loadavg: 2.45 2.20 2.06 3/81 10599
/proc/meminfo: memFree=1693728/2055920 swapFree=4180472/4192956
[pid=10586] ppid=10584 vsize=868100 CPUtime=25.34
/proc/10586/stat : 10586 (java) S 10584 10586 9349 0 -1 0 48978 588 1 0 2472 54 7 1 18 0 9 0 1996954191 888934400 31072 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10586/statm: 217025 31072 2637 9 0 211531 0
[pid=10586/tid=10588] ppid=10584 vsize=868100 CPUtime=24.45
/proc/10586/task/10588/stat : 10588 (java) R 10584 10586 9349 0 -1 64 28279 588 1 0 2393 44 7 1 25 0 9 0 1996954192 888934400 31072 996147200 134512640 134550740 4294955968 18446744073709551615 4126645912 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10589] ppid=10584 vsize=868100 CPUtime=0.57
/proc/10586/task/10589/stat : 10589 (java) S 10584 10586 9349 0 -1 64 18815 588 0 0 42 7 7 1 16 0 9 0 1996954194 888934400 31072 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10590] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10590/stat : 10590 (java) S 10584 10586 9349 0 -1 64 17 588 0 0 0 0 7 1 16 0 9 0 1996954194 888934400 31072 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10591] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10591/stat : 10591 (java) S 10584 10586 9349 0 -1 64 8 588 0 0 0 0 7 1 16 0 9 0 1996954194 888934400 31072 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10592] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10592/stat : 10592 (java) S 10584 10586 9349 0 -1 64 0 588 0 0 0 0 7 1 18 0 9 0 1996954196 888934400 31072 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10593] ppid=10584 vsize=868100 CPUtime=0.45
/proc/10586/task/10593/stat : 10593 (java) S 10584 10586 9349 0 -1 64 1014 588 0 0 36 1 7 1 16 0 9 0 1996954196 888934400 31072 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10594] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10594/stat : 10594 (java) S 10584 10586 9349 0 -1 64 2 588 0 0 0 0 7 1 19 0 9 0 1996954196 888934400 31072 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10595] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10595/stat : 10595 (java) S 10584 10586 9349 0 -1 64 41 588 0 0 0 0 7 1 15 0 9 0 1996954196 888934400 31072 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 868100
[startup+51.1013 s]
/proc/loadavg: 2.38 2.20 2.07 3/81 10599
/proc/meminfo: memFree=1693408/2055920 swapFree=4180472/4192956
[pid=10586] ppid=10584 vsize=868100 CPUtime=50.82
/proc/10586/stat : 10586 (java) S 10584 10586 9349 0 -1 0 49086 588 1 0 5020 54 7 1 18 0 9 0 1996954191 888934400 31140 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10586/statm: 217025 31140 2637 9 0 211531 0
[pid=10586/tid=10588] ppid=10584 vsize=868100 CPUtime=49.8
/proc/10586/task/10588/stat : 10588 (java) R 10584 10586 9349 0 -1 64 28319 588 1 0 4928 44 7 1 25 0 9 0 1996954192 888934400 31140 996147200 134512640 134550740 4294955968 18446744073709551615 4127049600 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10589] ppid=10584 vsize=868100 CPUtime=0.69
/proc/10586/task/10589/stat : 10589 (java) S 10584 10586 9349 0 -1 64 18882 588 0 0 54 7 7 1 16 0 9 0 1996954194 888934400 31140 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10590] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10590/stat : 10590 (java) S 10584 10586 9349 0 -1 64 17 588 0 0 0 0 7 1 16 0 9 0 1996954194 888934400 31140 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10591] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10591/stat : 10591 (java) S 10584 10586 9349 0 -1 64 8 588 0 0 0 0 7 1 16 0 9 0 1996954194 888934400 31140 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10592] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10592/stat : 10592 (java) S 10584 10586 9349 0 -1 64 0 588 0 0 0 0 7 1 18 0 9 0 1996954196 888934400 31140 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10593] ppid=10584 vsize=868100 CPUtime=0.45
/proc/10586/task/10593/stat : 10593 (java) S 10584 10586 9349 0 -1 64 1015 588 0 0 36 1 7 1 16 0 9 0 1996954196 888934400 31140 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10594] ppid=10584 vsize=868100 CPUtime=0.08
################
# More data... #
################
/proc/10586/stat : 10586 (java) S 10584 10586 9349 0 -1 0 50409 588 1 0 67427 64 7 1 18 0 9 0 1996954191 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10586/statm: 217025 31587 2637 9 0 211531 0
[pid=10586/tid=10588] ppid=10584 vsize=868100 CPUtime=672.16
/proc/10586/task/10588/stat : 10588 (java) R 10584 10586 9349 0 -1 64 29194 588 1 0 67161 47 7 1 25 0 9 0 1996954192 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4127044714 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10589] ppid=10584 vsize=868100 CPUtime=2.48
/proc/10586/task/10589/stat : 10589 (java) S 10584 10586 9349 0 -1 64 19327 588 0 0 228 12 7 1 16 0 9 0 1996954194 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10590] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10590/stat : 10590 (java) S 10584 10586 9349 0 -1 64 17 588 0 0 0 0 7 1 16 0 9 0 1996954194 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10591] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10591/stat : 10591 (java) S 10584 10586 9349 0 -1 64 8 588 0 0 0 0 7 1 16 0 9 0 1996954194 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10592] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10592/stat : 10592 (java) S 10584 10586 9349 0 -1 64 0 588 0 0 0 0 7 1 18 0 9 0 1996954196 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10593] ppid=10584 vsize=868100 CPUtime=0.45
/proc/10586/task/10593/stat : 10593 (java) S 10584 10586 9349 0 -1 64 1018 588 0 0 36 1 7 1 16 0 9 0 1996954196 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10594] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10594/stat : 10594 (java) S 10584 10586 9349 0 -1 64 2 588 0 0 0 0 7 1 19 0 9 0 1996954196 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10595] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10595/stat : 10595 (java) S 10584 10586 9349 0 -1 64 41 588 0 0 0 0 7 1 15 0 9 0 1996954196 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 674.99
Current children cumulated vsize (KiB) 868100
[startup+691.102 s]
/proc/loadavg: 2.00 2.01 2.01 3/81 10605
/proc/meminfo: memFree=1691040/2055920 swapFree=4180472/4192956
[pid=10586] ppid=10584 vsize=868100 CPUtime=687.72
/proc/10586/stat : 10586 (java) S 10584 10586 9349 0 -1 0 50425 588 1 0 68700 64 7 1 18 0 9 0 1996954191 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10586/statm: 217025 31587 2637 9 0 211531 0
[pid=10586/tid=10588] ppid=10584 vsize=868100 CPUtime=684.87
/proc/10586/task/10588/stat : 10588 (java) R 10584 10586 9349 0 -1 64 29210 588 1 0 68432 47 7 1 25 0 9 0 1996954192 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4126645912 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10589] ppid=10584 vsize=868100 CPUtime=2.52
/proc/10586/task/10589/stat : 10589 (java) S 10584 10586 9349 0 -1 64 19327 588 0 0 231 13 7 1 16 0 9 0 1996954194 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10590] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10590/stat : 10590 (java) S 10584 10586 9349 0 -1 64 17 588 0 0 0 0 7 1 16 0 9 0 1996954194 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10591] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10591/stat : 10591 (java) S 10584 10586 9349 0 -1 64 8 588 0 0 0 0 7 1 16 0 9 0 1996954194 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10592] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10592/stat : 10592 (java) S 10584 10586 9349 0 -1 64 0 588 0 0 0 0 7 1 18 0 9 0 1996954196 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10593] ppid=10584 vsize=868100 CPUtime=0.45
/proc/10586/task/10593/stat : 10593 (java) S 10584 10586 9349 0 -1 64 1018 588 0 0 36 1 7 1 16 0 9 0 1996954196 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10594] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10594/stat : 10594 (java) S 10584 10586 9349 0 -1 64 2 588 0 0 0 0 7 1 19 0 9 0 1996954196 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10595] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10595/stat : 10595 (java) S 10584 10586 9349 0 -1 64 41 588 0 0 0 0 7 1 15 0 9 0 1996954196 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 687.72
Current children cumulated vsize (KiB) 868100
[startup+694.302 s]
/proc/loadavg: 2.00 2.01 2.01 3/81 10605
/proc/meminfo: memFree=1691040/2055920 swapFree=4180472/4192956
[pid=10586] ppid=10584 vsize=868100 CPUtime=690.9
/proc/10586/stat : 10586 (java) S 10584 10586 9349 0 -1 0 50430 588 1 0 69018 64 7 1 18 0 9 0 1996954191 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10586/statm: 217025 31587 2637 9 0 211531 0
[pid=10586/tid=10588] ppid=10584 vsize=868100 CPUtime=688.04
/proc/10586/task/10588/stat : 10588 (java) R 10584 10586 9349 0 -1 64 29215 588 1 0 68749 47 7 1 25 0 9 0 1996954192 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4126645912 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10589] ppid=10584 vsize=868100 CPUtime=2.52
/proc/10586/task/10589/stat : 10589 (java) S 10584 10586 9349 0 -1 64 19327 588 0 0 231 13 7 1 16 0 9 0 1996954194 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10590] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10590/stat : 10590 (java) S 10584 10586 9349 0 -1 64 17 588 0 0 0 0 7 1 16 0 9 0 1996954194 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10591] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10591/stat : 10591 (java) S 10584 10586 9349 0 -1 64 8 588 0 0 0 0 7 1 16 0 9 0 1996954194 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10592] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10592/stat : 10592 (java) S 10584 10586 9349 0 -1 64 0 588 0 0 0 0 7 1 18 0 9 0 1996954196 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10593] ppid=10584 vsize=868100 CPUtime=0.45
/proc/10586/task/10593/stat : 10593 (java) S 10584 10586 9349 0 -1 64 1018 588 0 0 36 1 7 1 16 0 9 0 1996954196 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10594] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10594/stat : 10594 (java) S 10584 10586 9349 0 -1 64 2 588 0 0 0 0 7 1 19 0 9 0 1996954196 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10595] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10595/stat : 10595 (java) S 10584 10586 9349 0 -1 64 41 588 0 0 0 0 7 1 15 0 9 0 1996954196 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 690.9
Current children cumulated vsize (KiB) 868100
[startup+697.502 s]
/proc/loadavg: 2.00 2.01 2.01 3/81 10605
/proc/meminfo: memFree=1691040/2055920 swapFree=4180472/4192956
[pid=10586] ppid=10584 vsize=868100 CPUtime=694.09
/proc/10586/stat : 10586 (java) S 10584 10586 9349 0 -1 0 50435 588 1 0 69337 64 7 1 18 0 9 0 1996954191 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10586/statm: 217025 31587 2637 9 0 211531 0
[pid=10586/tid=10588] ppid=10584 vsize=868100 CPUtime=691.21
/proc/10586/task/10588/stat : 10588 (java) R 10584 10586 9349 0 -1 64 29220 588 1 0 69066 47 7 1 25 0 9 0 1996954192 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4127190506 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10589] ppid=10584 vsize=868100 CPUtime=2.54
/proc/10586/task/10589/stat : 10589 (java) S 10584 10586 9349 0 -1 64 19327 588 0 0 233 13 7 1 16 0 9 0 1996954194 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10590] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10590/stat : 10590 (java) S 10584 10586 9349 0 -1 64 17 588 0 0 0 0 7 1 16 0 9 0 1996954194 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10591] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10591/stat : 10591 (java) S 10584 10586 9349 0 -1 64 8 588 0 0 0 0 7 1 16 0 9 0 1996954194 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10592] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10592/stat : 10592 (java) S 10584 10586 9349 0 -1 64 0 588 0 0 0 0 7 1 18 0 9 0 1996954196 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10593] ppid=10584 vsize=868100 CPUtime=0.45
/proc/10586/task/10593/stat : 10593 (java) S 10584 10586 9349 0 -1 64 1018 588 0 0 36 1 7 1 16 0 9 0 1996954196 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10594] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10594/stat : 10594 (java) S 10584 10586 9349 0 -1 64 2 588 0 0 0 0 7 1 19 0 9 0 1996954196 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10595] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10595/stat : 10595 (java) S 10584 10586 9349 0 -1 64 41 588 0 0 0 0 7 1 15 0 9 0 1996954196 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 694.09
Current children cumulated vsize (KiB) 868100
[startup+699.102 s]
/proc/loadavg: 2.00 2.01 2.01 3/81 10605
/proc/meminfo: memFree=1691040/2055920 swapFree=4180472/4192956
[pid=10586] ppid=10584 vsize=868100 CPUtime=695.68
/proc/10586/stat : 10586 (java) S 10584 10586 9349 0 -1 0 50437 588 1 0 69496 64 7 1 18 0 9 0 1996954191 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10586/statm: 217025 31587 2637 9 0 211531 0
[pid=10586/tid=10588] ppid=10584 vsize=868100 CPUtime=692.8
/proc/10586/task/10588/stat : 10588 (java) R 10584 10586 9349 0 -1 64 29222 588 1 0 69225 47 7 1 25 0 9 0 1996954192 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4127190411 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10589] ppid=10584 vsize=868100 CPUtime=2.55
/proc/10586/task/10589/stat : 10589 (java) S 10584 10586 9349 0 -1 64 19327 588 0 0 234 13 7 1 17 0 9 0 1996954194 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10590] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10590/stat : 10590 (java) S 10584 10586 9349 0 -1 64 17 588 0 0 0 0 7 1 16 0 9 0 1996954194 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10591] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10591/stat : 10591 (java) S 10584 10586 9349 0 -1 64 8 588 0 0 0 0 7 1 16 0 9 0 1996954194 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10592] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10592/stat : 10592 (java) S 10584 10586 9349 0 -1 64 0 588 0 0 0 0 7 1 18 0 9 0 1996954196 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10593] ppid=10584 vsize=868100 CPUtime=0.45
/proc/10586/task/10593/stat : 10593 (java) S 10584 10586 9349 0 -1 64 1018 588 0 0 36 1 7 1 16 0 9 0 1996954196 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10594] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10594/stat : 10594 (java) S 10584 10586 9349 0 -1 64 2 588 0 0 0 0 7 1 19 0 9 0 1996954196 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10595] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10595/stat : 10595 (java) S 10584 10586 9349 0 -1 64 41 588 0 0 0 0 7 1 15 0 9 0 1996954196 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 695.68
Current children cumulated vsize (KiB) 868100
[startup+699.502 s]
/proc/loadavg: 2.00 2.01 2.01 3/81 10605
/proc/meminfo: memFree=1691040/2055920 swapFree=4180472/4192956
[pid=10586] ppid=10584 vsize=868100 CPUtime=696.08
/proc/10586/stat : 10586 (java) S 10584 10586 9349 0 -1 0 50437 588 1 0 69536 64 7 1 18 0 9 0 1996954191 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10586/statm: 217025 31587 2637 9 0 211531 0
[pid=10586/tid=10588] ppid=10584 vsize=868100 CPUtime=693.2
/proc/10586/task/10588/stat : 10588 (java) R 10584 10586 9349 0 -1 64 29222 588 1 0 69265 47 7 1 25 0 9 0 1996954192 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4127165940 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10589] ppid=10584 vsize=868100 CPUtime=2.55
/proc/10586/task/10589/stat : 10589 (java) S 10584 10586 9349 0 -1 64 19327 588 0 0 234 13 7 1 17 0 9 0 1996954194 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10590] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10590/stat : 10590 (java) S 10584 10586 9349 0 -1 64 17 588 0 0 0 0 7 1 16 0 9 0 1996954194 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10591] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10591/stat : 10591 (java) S 10584 10586 9349 0 -1 64 8 588 0 0 0 0 7 1 16 0 9 0 1996954194 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10592] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10592/stat : 10592 (java) S 10584 10586 9349 0 -1 64 0 588 0 0 0 0 7 1 18 0 9 0 1996954196 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10593] ppid=10584 vsize=868100 CPUtime=0.45
/proc/10586/task/10593/stat : 10593 (java) S 10584 10586 9349 0 -1 64 1018 588 0 0 36 1 7 1 16 0 9 0 1996954196 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10594] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10594/stat : 10594 (java) S 10584 10586 9349 0 -1 64 2 588 0 0 0 0 7 1 19 0 9 0 1996954196 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10595] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10595/stat : 10595 (java) R 10584 10586 9349 0 -1 64 41 588 0 0 0 0 7 1 15 0 9 0 1996954196 888934400 31587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 696.08
Current children cumulated vsize (KiB) 868100
[startup+699.902 s]
/proc/loadavg: 2.00 2.01 2.01 3/81 10605
/proc/meminfo: memFree=1691040/2055920 swapFree=4180472/4192956
[pid=10586] ppid=10584 vsize=868100 CPUtime=696.47
/proc/10586/stat : 10586 (java) S 10584 10586 9349 0 -1 0 50441 588 1 0 69575 64 7 1 18 0 9 0 1996954191 888934400 31590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10586/statm: 217025 31590 2637 9 0 211531 0
[pid=10586/tid=10588] ppid=10584 vsize=868100 CPUtime=693.59
/proc/10586/task/10588/stat : 10588 (java) R 10584 10586 9349 0 -1 64 29226 588 1 0 69304 47 7 1 25 0 9 0 1996954192 888934400 31590 996147200 134512640 134550740 4294955968 18446744073709551615 4127250470 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10589] ppid=10584 vsize=868100 CPUtime=2.55
/proc/10586/task/10589/stat : 10589 (java) S 10584 10586 9349 0 -1 64 19327 588 0 0 234 13 7 1 17 0 9 0 1996954194 888934400 31590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10590] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10590/stat : 10590 (java) S 10584 10586 9349 0 -1 64 17 588 0 0 0 0 7 1 16 0 9 0 1996954194 888934400 31590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10591] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10591/stat : 10591 (java) S 10584 10586 9349 0 -1 64 8 588 0 0 0 0 7 1 16 0 9 0 1996954194 888934400 31590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10592] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10592/stat : 10592 (java) S 10584 10586 9349 0 -1 64 0 588 0 0 0 0 7 1 18 0 9 0 1996954196 888934400 31590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10593] ppid=10584 vsize=868100 CPUtime=0.45
/proc/10586/task/10593/stat : 10593 (java) S 10584 10586 9349 0 -1 64 1018 588 0 0 36 1 7 1 17 0 9 0 1996954196 888934400 31590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10594] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10594/stat : 10594 (java) S 10584 10586 9349 0 -1 64 2 588 0 0 0 0 7 1 19 0 9 0 1996954196 888934400 31590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10586/tid=10595] ppid=10584 vsize=868100 CPUtime=0.08
/proc/10586/task/10595/stat : 10595 (java) S 10584 10586 9349 0 -1 64 41 588 0 0 0 0 7 1 15 0 9 0 1996954196 888934400 31590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 696.47
Current children cumulated vsize (KiB) 868100
Child status: 0
Real time (s): 699.995
CPU time (s): 696.552
CPU user time (s): 695.868
CPU system time (s): 0.683896
CPU usage (%): 99.5082
Max. virtual memory (cumulated for all children) (KiB): 868100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 695.868
system time used= 0.683896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51060
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= 21943
involuntary context switches= 29940
runsolver used 1.00885 second user time and 2.19467 second system time
The end
Begin job on node3 at 2008-07-04 15:56:28
IDJOB=1074796
IDBENCH=56441
IDSOLVER=363
FILE ID=node3/1074796-1215179788
PBS_JOBID= 7881527
Free space on /tmp= 66556 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-95-1.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-1074796-1215179788/watcher-1074796-1215179788 -o /tmp/evaluation-result-1074796-1215179788/solver-1074796-1215179788 -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-1074796-1215179788.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 1badaae3ade26737a7c9af09708047c4
RANDOM SEED=1276131644
node3.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.232
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.232
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: 1808840 kB
Buffers: 35676 kB
Cached: 114480 kB
SwapCached: 6516 kB
Active: 145576 kB
Inactive: 45792 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1808840 kB
SwapTotal: 4192956 kB
SwapFree: 4180472 kB
Dirty: 3076 kB
Writeback: 0 kB
Mapped: 48748 kB
Slab: 41100 kB
Committed_AS: 3401804 kB
PageTables: 1820 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= 66552 MiB
End job on node3 at 2008-07-04 16:08:08