0.06/0.09
0.06/0.09 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=mac.xml
0.28/0.33
0.28/0.33 instance
0.28/0.33 name=HOME/instance-1085131-1215232747.xml
0.28/0.36
0.28/0.36 domains being loaded...
0.28/0.38
0.28/0.38 variables being loaded...
0.38/0.42 nbVariables=100 nbDomainTypes=48 minDomainSize=105 maxDomainSize=122 nbTotalValues=11440
0.38/0.42 => wckTime=0.176 cpuTime=0.14 mem=7M886
0.38/0.42
0.38/0.42 predicates being loaded...
0.38/0.49
0.38/0.49 constraints being loaded...
2.24/2.35 nbConstraints=850 nbGlobalConstraints=5 nbConvertedConstraints=845 nbConvertConstraintsChecks=4897834
2.24/2.35 nbExtensionStructures=374 nbSharedExtensionStructures=601 nbConflictsStructures=374
2.24/2.35 nbSharedConflictsStructures=601 nbSharedBinaryRepresentations=67113 minDegree=11 maxDegree=24 minArity=2
2.24/2.35 avgArity=2.05 maxArity=11 nbGenerators=0 nbFusions=0 symmetryWckTime=0.11 symmetryCpuTime=0.07 nbCliques=5
2.24/2.35 => wckTime=2.107 cpuTime=1.82 mem=26M473
2.34/2.44
2.34/2.44 solver IterativeSystematicSolver being built...
2.43/2.51
2.43/2.51 INFO : Forward propagation technique limited
2.43/2.58 => wckTime=2.332 cpuTime=1.93 mem=22M429
2.43/2.60
2.54/2.60 preprocessing
2.54/2.60 nbConstraintChecks=0 nbPropagations=100 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.54/2.60 detectedInconsistency=no
2.54/2.60 => wckTime=0.017 cpuTime=0.01 mem=23M398
3.03/3.19
3.03/3.19 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=29M971)
1488.09/1500.43
1488.09/1500.43 search
1488.09/1500.43 run=29 nbConstraintChecks=18821090740 minDepth=2 maxDepth=100 nbPropagations=164836799 nbRevisions=1119680278
1488.09/1500.43 nbUselessRevisions=709059840 nbAssignments=4223584 nbFailedAssignments=3577799 nbInferredBacktracks=5183
1488.09/1500.43 nbBacktracks=645270 nbVisitedNodes=8403845 nbRestartNogoods=1278 nbFoundSolutions=1 nbSEliminables=0
1488.09/1500.43 nbREliminables=3.59 nbIEliminables=83.79 nbDEliminables=0 nbPEliminables=0
1488.09/1500.43 => wckTime=1497.85 cpuTime=1485.2 mem=24M54
1488.09/1500.43
1488.09/1500.43 global
1488.09/1500.43 nbConstraintChecks=18821090740 nbPropagations=164836899 nbRevisions=1119680278 nbUselessRevisions=709059840
1488.09/1500.43 nbRestartNogoods=1278 solvingWckTime=1497.852 solvingCpuTime=1485.2 expiredTime=no totalExploration=no
1488.09/1500.43 nbFoundSolutions=1 firstSolutionCpuTime=1487.12 globalCpuTime=1487.17
1488.09/1500.43 => wckTime=1500.187 cpuTime=1487.13 mem=24M54
1488.09/1500.43
1488.09/1500.43 s SATISFIABLE
1488.09/1500.43 v 61 0 104 103 114 115 131 140 151 152 25 24 33 34 84 83 96 97 142 131 0 1 14 15 29 28 40 41 100 142 16 17 20 19 128 127 136 137 147 146 39 0 45 46 68 69 91 92 119 120 57 19 129 130 139 138 150 151 156 155 10 19 45 46 53 52 78 79 108 109 0 1 6 5 14 15 120 88 139 138 0 19 51 50 96 97 126 127 130 129 7 6 33 34 40 41 73 74 110 142
1488.09/1500.43 d NODES 4223584
1488.09/1500.43 d CHECKS 18821090740
1488.09/1500.43
1488.09/1500.44 totalWckTime=1500.244 totalCpuTime=1487.17
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085131-1215232747/watcher-1085131-1215232747 -o /tmp/evaluation-result-1085131-1215232747/solver-1085131-1215232747 -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-1085131-1215232747.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.89 1.97 1.99 3/72 12899
/proc/meminfo: memFree=1696920/2055920 swapFree=4179416/4192956
[pid=12899] ppid=12897 vsize=1616 CPUtime=0
/proc/12899/stat : 12899 (java) D 12897 12899 12862 0 -1 0 317 0 0 0 0 0 0 0 18 0 1 0 2002246453 1654784 126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099937270 0 0 17 1 0 0
/proc/12899/statm: 404 151 125 9 0 46 0
[startup+0.0766509 s]
/proc/loadavg: 1.89 1.97 1.99 3/72 12899
/proc/meminfo: memFree=1696920/2055920 swapFree=4179416/4192956
[pid=12899] ppid=12897 vsize=865856 CPUtime=0.06
/proc/12899/stat : 12899 (java) S 12897 12899 12862 0 -1 0 3168 0 1 0 4 2 0 0 18 0 9 0 2002246453 886636544 2694 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12899/statm: 216464 2694 1413 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856
[startup+0.102658 s]
/proc/loadavg: 1.89 1.97 1.99 3/72 12899
/proc/meminfo: memFree=1696920/2055920 swapFree=4179416/4192956
[pid=12899] ppid=12897 vsize=865884 CPUtime=0.09
/proc/12899/stat : 12899 (java) S 12897 12899 12862 0 -1 0 3682 0 1 0 7 2 0 0 18 0 9 0 2002246453 886665216 3156 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12899/statm: 216471 3156 1676 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.302697 s]
/proc/loadavg: 1.89 1.97 1.99 3/72 12899
/proc/meminfo: memFree=1696920/2055920 swapFree=4179416/4192956
[pid=12899] ppid=12897 vsize=866048 CPUtime=0.28
/proc/12899/stat : 12899 (java) S 12897 12899 12862 0 -1 0 5579 0 1 0 24 4 0 0 18 0 9 0 2002246453 886833152 4993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12899/statm: 216512 4993 1902 9 0 211060 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866048
[startup+0.701777 s]
/proc/loadavg: 1.89 1.97 1.99 3/72 12899
/proc/meminfo: memFree=1696920/2055920 swapFree=4179416/4192956
[pid=12899] ppid=12897 vsize=867548 CPUtime=0.68
/proc/12899/stat : 12899 (java) S 12897 12899 12862 0 -1 0 7968 0 1 0 62 6 0 0 18 0 9 0 2002246453 888369152 7328 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12899/statm: 216887 7328 2010 9 0 211393 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867548
[startup+1.50193 s]
/proc/loadavg: 1.89 1.97 1.99 3/81 12908
/proc/meminfo: memFree=1672208/2055920 swapFree=4179416/4192956
[pid=12899] ppid=12897 vsize=867684 CPUtime=1.47
/proc/12899/stat : 12899 (java) S 12897 12899 12862 0 -1 0 9574 0 1 0 138 9 0 0 18 0 9 0 2002246453 888508416 8931 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12899/statm: 216921 8931 2014 9 0 211427 0
[pid=12899/tid=12900] ppid=12897 vsize=867684 CPUtime=1.23
/proc/12899/task/12900/stat : 12900 (java) R 12897 12899 12862 0 -1 64 8169 0 1 0 116 7 0 0 25 0 9 0 2002246455 888508416 8931 996147200 134512640 134550740 4294955968 18446744073709551615 4126878020 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12902] ppid=12897 vsize=867684 CPUtime=0
/proc/12899/task/12902/stat : 12902 (java) S 12897 12899 12862 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 2002246456 888508416 8931 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12903] ppid=12897 vsize=867684 CPUtime=0
/proc/12899/task/12903/stat : 12903 (java) S 12897 12899 12862 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 2002246456 888508416 8931 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12904] ppid=12897 vsize=867684 CPUtime=0
/proc/12899/task/12904/stat : 12904 (java) S 12897 12899 12862 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2002246456 888508416 8931 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12905] ppid=12897 vsize=867684 CPUtime=0
/proc/12899/task/12905/stat : 12905 (java) S 12897 12899 12862 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002246458 888508416 8931 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12906] ppid=12897 vsize=867684 CPUtime=0.21
/proc/12899/task/12906/stat : 12906 (java) S 12897 12899 12862 0 -1 64 707 0 0 0 21 0 0 0 16 0 9 0 2002246458 888508416 8931 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12907] ppid=12897 vsize=867684 CPUtime=0
/proc/12899/task/12907/stat : 12907 (java) S 12897 12899 12862 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2002246459 888508416 8931 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12908] ppid=12897 vsize=867684 CPUtime=0
/proc/12899/task/12908/stat : 12908 (java) S 12897 12899 12862 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002246459 888508416 8931 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) 867684
[startup+3.10224 s]
/proc/loadavg: 1.89 1.97 1.99 3/81 12908
/proc/meminfo: memFree=1665168/2055920 swapFree=4179416/4192956
[pid=12899] ppid=12897 vsize=868460 CPUtime=3.03
/proc/12899/stat : 12899 (java) S 12897 12899 12862 0 -1 0 20745 319 1 0 288 15 0 0 18 0 9 0 2002246453 889303040 12702 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12899/statm: 217115 12702 2632 9 0 211621 0
[pid=12899/tid=12900] ppid=12897 vsize=868460 CPUtime=2.6
/proc/12899/task/12900/stat : 12900 (java) R 12897 12899 12862 0 -1 64 14961 319 1 0 248 12 0 0 25 0 9 0 2002246455 889303040 12702 996147200 134512640 134550740 4294955968 18446744073709551615 4127176334 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12902] ppid=12897 vsize=868460 CPUtime=0.06
/proc/12899/task/12902/stat : 12902 (java) S 12897 12899 12862 0 -1 64 3993 319 0 0 6 0 0 0 16 0 9 0 2002246456 889303040 12702 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12903] ppid=12897 vsize=868460 CPUtime=0
/proc/12899/task/12903/stat : 12903 (java) S 12897 12899 12862 0 -1 64 15 319 0 0 0 0 0 0 16 0 9 0 2002246456 889303040 12702 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12904] ppid=12897 vsize=868460 CPUtime=0
/proc/12899/task/12904/stat : 12904 (java) S 12897 12899 12862 0 -1 64 12 319 0 0 0 0 0 0 16 0 9 0 2002246456 889303040 12702 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12905] ppid=12897 vsize=868460 CPUtime=0
/proc/12899/task/12905/stat : 12905 (java) S 12897 12899 12862 0 -1 64 0 319 0 0 0 0 0 0 18 0 9 0 2002246458 889303040 12702 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12906] ppid=12897 vsize=868460 CPUtime=0.33
/proc/12899/task/12906/stat : 12906 (java) S 12897 12899 12862 0 -1 64 948 319 0 0 33 0 0 0 16 0 9 0 2002246458 889303040 12702 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12907] ppid=12897 vsize=868460 CPUtime=0
/proc/12899/task/12907/stat : 12907 (java) S 12897 12899 12862 0 -1 64 2 319 0 0 0 0 0 0 19 0 9 0 2002246459 889303040 12702 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12908] ppid=12897 vsize=868460 CPUtime=0
/proc/12899/task/12908/stat : 12908 (java) S 12897 12899 12862 0 -1 64 9 319 0 0 0 0 0 0 15 0 9 0 2002246459 889303040 12702 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 868460
[startup+6.30187 s]
/proc/loadavg: 1.90 1.97 1.99 3/81 12912
/proc/meminfo: memFree=1635344/2055920 swapFree=4179416/4192956
[pid=12899] ppid=12897 vsize=868372 CPUtime=6.21
/proc/12899/stat : 12899 (java) S 12897 12899 12862 0 -1 0 27633 319 1 0 601 20 0 0 18 0 9 0 2002246453 889212928 19402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12899/statm: 217093 19402 2614 9 0 211621 0
[pid=12899/tid=12900] ppid=12897 vsize=868372 CPUtime=5.72
/proc/12899/task/12900/stat : 12900 (java) R 12897 12899 12862 0 -1 64 20682 319 1 0 556 16 0 0 25 0 9 0 2002246455 889212928 19402 996147200 134512640 134550740 4294955968 18446744073709551615 4127168744 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12902] ppid=12897 vsize=868372 CPUtime=0.08
/proc/12899/task/12902/stat : 12902 (java) S 12897 12899 12862 0 -1 64 5116 319 0 0 7 1 0 0 16 0 9 0 2002246456 889212928 19402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12903] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12903/stat : 12903 (java) S 12897 12899 12862 0 -1 64 15 319 0 0 0 0 0 0 16 0 9 0 2002246456 889212928 19402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12904] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12904/stat : 12904 (java) S 12897 12899 12862 0 -1 64 12 319 0 0 0 0 0 0 16 0 9 0 2002246456 889212928 19402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12905] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12905/stat : 12905 (java) S 12897 12899 12862 0 -1 64 0 319 0 0 0 0 0 0 18 0 9 0 2002246458 889212928 19402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12906] ppid=12897 vsize=868372 CPUtime=0.36
/proc/12899/task/12906/stat : 12906 (java) S 12897 12899 12862 0 -1 64 963 319 0 0 36 0 0 0 15 0 9 0 2002246458 889212928 19402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12907] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12907/stat : 12907 (java) S 12897 12899 12862 0 -1 64 2 319 0 0 0 0 0 0 19 0 9 0 2002246459 889212928 19402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12908] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12908/stat : 12908 (java) S 12897 12899 12862 0 -1 64 38 319 0 0 0 0 0 0 15 0 9 0 2002246459 889212928 19402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 868372
[startup+12.7011 s]
/proc/loadavg: 1.91 1.97 1.99 3/81 12912
/proc/meminfo: memFree=1624352/2055920 swapFree=4179416/4192956
[pid=12899] ppid=12897 vsize=868372 CPUtime=12.54
/proc/12899/stat : 12899 (java) S 12897 12899 12862 0 -1 0 28771 319 1 0 1234 20 0 0 18 0 9 0 2002246453 889212928 20526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12899/statm: 217093 20526 2614 9 0 211621 0
[pid=12899/tid=12900] ppid=12897 vsize=868372 CPUtime=12.04
/proc/12899/task/12900/stat : 12900 (java) R 12897 12899 12862 0 -1 64 20688 319 1 0 1188 16 0 0 25 0 9 0 2002246455 889212928 20526 996147200 134512640 134550740 4294955968 18446744073709551615 4127189172 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12902] ppid=12897 vsize=868372 CPUtime=0.09
/proc/12899/task/12902/stat : 12902 (java) S 12897 12899 12862 0 -1 64 6237 319 0 0 8 1 0 0 16 0 9 0 2002246456 889212928 20526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12903] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12903/stat : 12903 (java) S 12897 12899 12862 0 -1 64 15 319 0 0 0 0 0 0 16 0 9 0 2002246456 889212928 20526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12904] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12904/stat : 12904 (java) S 12897 12899 12862 0 -1 64 12 319 0 0 0 0 0 0 16 0 9 0 2002246456 889212928 20526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12905] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12905/stat : 12905 (java) S 12897 12899 12862 0 -1 64 0 319 0 0 0 0 0 0 18 0 9 0 2002246458 889212928 20526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12906] ppid=12897 vsize=868372 CPUtime=0.37
/proc/12899/task/12906/stat : 12906 (java) S 12897 12899 12862 0 -1 64 974 319 0 0 37 0 0 0 16 0 9 0 2002246458 889212928 20526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12907] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12907/stat : 12907 (java) S 12897 12899 12862 0 -1 64 2 319 0 0 0 0 0 0 19 0 9 0 2002246459 889212928 20526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12908] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12908/stat : 12908 (java) S 12897 12899 12862 0 -1 64 38 319 0 0 0 0 0 0 15 0 9 0 2002246459 889212928 20526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 868372
[startup+25.5026 s]
/proc/loadavg: 1.93 1.97 1.99 3/81 12912
/proc/meminfo: memFree=1624480/2055920 swapFree=4179416/4192956
[pid=12899] ppid=12897 vsize=868372 CPUtime=25.22
/proc/12899/stat : 12899 (java) S 12897 12899 12862 0 -1 0 28779 319 1 0 2502 20 0 0 18 0 9 0 2002246453 889212928 20531 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12899/statm: 217093 20531 2614 9 0 211621 0
[pid=12899/tid=12900] ppid=12897 vsize=868372 CPUtime=24.72
/proc/12899/task/12900/stat : 12900 (java) R 12897 12899 12862 0 -1 64 20690 319 1 0 2456 16 0 0 25 0 9 0 2002246455 889212928 20531 996147200 134512640 134550740 4294955968 18446744073709551615 4126688216 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12902] ppid=12897 vsize=868372 CPUtime=0.09
/proc/12899/task/12902/stat : 12902 (java) S 12897 12899 12862 0 -1 64 6241 319 0 0 8 1 0 0 16 0 9 0 2002246456 889212928 20531 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12903] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12903/stat : 12903 (java) S 12897 12899 12862 0 -1 64 15 319 0 0 0 0 0 0 16 0 9 0 2002246456 889212928 20531 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12904] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12904/stat : 12904 (java) S 12897 12899 12862 0 -1 64 12 319 0 0 0 0 0 0 16 0 9 0 2002246456 889212928 20531 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12905] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12905/stat : 12905 (java) S 12897 12899 12862 0 -1 64 0 319 0 0 0 0 0 0 18 0 9 0 2002246458 889212928 20531 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12906] ppid=12897 vsize=868372 CPUtime=0.37
/proc/12899/task/12906/stat : 12906 (java) S 12897 12899 12862 0 -1 64 976 319 0 0 37 0 0 0 15 0 9 0 2002246458 889212928 20531 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12907] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12907/stat : 12907 (java) S 12897 12899 12862 0 -1 64 2 319 0 0 0 0 0 0 19 0 9 0 2002246459 889212928 20531 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12908] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12908/stat : 12908 (java) S 12897 12899 12862 0 -1 64 38 319 0 0 0 0 0 0 15 0 9 0 2002246459 889212928 20531 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 868372
[startup+51.1026 s]
/proc/loadavg: 1.95 1.97 1.99 3/81 12912
/proc/meminfo: memFree=1624480/2055920 swapFree=4179416/4192956
[pid=12899] ppid=12897 vsize=868372 CPUtime=50.6
/proc/12899/stat : 12899 (java) S 12897 12899 12862 0 -1 0 28788 319 1 0 5039 21 0 0 18 0 9 0 2002246453 889212928 20534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12899/statm: 217093 20534 2614 9 0 211621 0
[pid=12899/tid=12900] ppid=12897 vsize=868372 CPUtime=50.08
/proc/12899/task/12900/stat : 12900 (java) R 12897 12899 12862 0 -1 64 20696 319 1 0 4992 16 0 0 25 0 9 0 2002246455 889212928 20534 996147200 134512640 134550740 4294955968 18446744073709551615 4127176334 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12902] ppid=12897 vsize=868372 CPUtime=0.1
/proc/12899/task/12902/stat : 12902 (java) S 12897 12899 12862 0 -1 64 6244 319 0 0 9 1 0 0 16 0 9 0 2002246456 889212928 20534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12903] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12903/stat : 12903 (java) S 12897 12899 12862 0 -1 64 15 319 0 0 0 0 0 0 16 0 9 0 2002246456 889212928 20534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12904] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12904/stat : 12904 (java) S 12897 12899 12862 0 -1 64 12 319 0 0 0 0 0 0 16 0 9 0 2002246456 889212928 20534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12905] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12905/stat : 12905 (java) S 12897 12899 12862 0 -1 64 0 319 0 0 0 0 0 0 18 0 9 0 2002246458 889212928 20534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12906] ppid=12897 vsize=868372 CPUtime=0.37
/proc/12899/task/12906/stat : 12906 (java) S 12897 12899 12862 0 -1 64 976 319 0 0 37 0 0 0 16 0 9 0 2002246458 889212928 20534 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12907] ppid=12897 vsize=868372 CPUtime=0
################
# More data... #
################
/proc/12899/stat : 12899 (java) S 12897 12899 12862 0 -1 0 29127 319 1 0 147847 32 0 0 18 0 9 0 2002246453 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12899/statm: 217093 20564 2614 9 0 211621 0
[pid=12899/tid=12900] ppid=12897 vsize=868372 CPUtime=1478.01
/proc/12899/task/12900/stat : 12900 (java) R 12897 12899 12862 0 -1 64 21005 319 1 0 147776 25 0 0 25 0 9 0 2002246455 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4127166295 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12899/tid=12902] ppid=12897 vsize=868372 CPUtime=0.35
/proc/12899/task/12902/stat : 12902 (java) S 12897 12899 12862 0 -1 64 6274 319 0 0 32 3 0 0 16 0 9 0 2002246456 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12899/tid=12903] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12903/stat : 12903 (java) S 12897 12899 12862 0 -1 64 15 319 0 0 0 0 0 0 16 0 9 0 2002246456 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12904] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12904/stat : 12904 (java) S 12897 12899 12862 0 -1 64 12 319 0 0 0 0 0 0 16 0 9 0 2002246456 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12905] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12905/stat : 12905 (java) S 12897 12899 12862 0 -1 64 0 319 0 0 0 0 0 0 18 0 9 0 2002246458 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12906] ppid=12897 vsize=868372 CPUtime=0.37
/proc/12899/task/12906/stat : 12906 (java) S 12897 12899 12862 0 -1 64 976 319 0 0 37 0 0 0 16 0 9 0 2002246458 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12907] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12907/stat : 12907 (java) S 12897 12899 12862 0 -1 64 2 319 0 0 0 0 0 0 19 0 9 0 2002246459 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12908] ppid=12897 vsize=868372 CPUtime=0.01
/proc/12899/task/12908/stat : 12908 (java) S 12897 12899 12862 0 -1 64 38 319 0 0 0 1 0 0 15 0 9 0 2002246459 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1478.79
Current children cumulated vsize (KiB) 868372
[startup+1494.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/82 13210
/proc/meminfo: memFree=1736920/2055920 swapFree=4179416/4192956
[pid=12899] ppid=12897 vsize=868372 CPUtime=1481.99
/proc/12899/stat : 12899 (java) S 12897 12899 12862 0 -1 0 29127 319 1 0 148167 32 0 0 18 0 9 0 2002246453 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12899/statm: 217093 20564 2614 9 0 211621 0
[pid=12899/tid=12900] ppid=12897 vsize=868372 CPUtime=1481.21
/proc/12899/task/12900/stat : 12900 (java) R 12897 12899 12862 0 -1 64 21005 319 1 0 148096 25 0 0 25 0 9 0 2002246455 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4127164407 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12899/tid=12902] ppid=12897 vsize=868372 CPUtime=0.35
/proc/12899/task/12902/stat : 12902 (java) S 12897 12899 12862 0 -1 64 6274 319 0 0 32 3 0 0 16 0 9 0 2002246456 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12899/tid=12903] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12903/stat : 12903 (java) S 12897 12899 12862 0 -1 64 15 319 0 0 0 0 0 0 16 0 9 0 2002246456 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12904] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12904/stat : 12904 (java) S 12897 12899 12862 0 -1 64 12 319 0 0 0 0 0 0 16 0 9 0 2002246456 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12905] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12905/stat : 12905 (java) S 12897 12899 12862 0 -1 64 0 319 0 0 0 0 0 0 18 0 9 0 2002246458 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12906] ppid=12897 vsize=868372 CPUtime=0.37
/proc/12899/task/12906/stat : 12906 (java) S 12897 12899 12862 0 -1 64 976 319 0 0 37 0 0 0 16 0 9 0 2002246458 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12907] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12907/stat : 12907 (java) S 12897 12899 12862 0 -1 64 2 319 0 0 0 0 0 0 19 0 9 0 2002246459 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12908] ppid=12897 vsize=868372 CPUtime=0.01
/proc/12899/task/12908/stat : 12908 (java) S 12897 12899 12862 0 -1 64 38 319 0 0 0 1 0 0 15 0 9 0 2002246459 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 868372
[startup+1497.5 s]
/proc/loadavg: 1.99 1.97 1.98 3/82 13210
/proc/meminfo: memFree=1736920/2055920 swapFree=4179416/4192956
[pid=12899] ppid=12897 vsize=868372 CPUtime=1485.19
/proc/12899/stat : 12899 (java) S 12897 12899 12862 0 -1 0 29128 319 1 0 148487 32 0 0 18 0 9 0 2002246453 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12899/statm: 217093 20564 2614 9 0 211621 0
[pid=12899/tid=12900] ppid=12897 vsize=868372 CPUtime=1484.41
/proc/12899/task/12900/stat : 12900 (java) R 12897 12899 12862 0 -1 64 21006 319 1 0 148416 25 0 0 25 0 9 0 2002246455 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4127141927 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12899/tid=12902] ppid=12897 vsize=868372 CPUtime=0.35
/proc/12899/task/12902/stat : 12902 (java) S 12897 12899 12862 0 -1 64 6274 319 0 0 32 3 0 0 16 0 9 0 2002246456 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12899/tid=12903] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12903/stat : 12903 (java) S 12897 12899 12862 0 -1 64 15 319 0 0 0 0 0 0 16 0 9 0 2002246456 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12904] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12904/stat : 12904 (java) S 12897 12899 12862 0 -1 64 12 319 0 0 0 0 0 0 16 0 9 0 2002246456 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12905] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12905/stat : 12905 (java) S 12897 12899 12862 0 -1 64 0 319 0 0 0 0 0 0 18 0 9 0 2002246458 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12906] ppid=12897 vsize=868372 CPUtime=0.37
/proc/12899/task/12906/stat : 12906 (java) S 12897 12899 12862 0 -1 64 976 319 0 0 37 0 0 0 16 0 9 0 2002246458 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12907] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12907/stat : 12907 (java) S 12897 12899 12862 0 -1 64 2 319 0 0 0 0 0 0 19 0 9 0 2002246459 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12908] ppid=12897 vsize=868372 CPUtime=0.01
/proc/12899/task/12908/stat : 12908 (java) S 12897 12899 12862 0 -1 64 38 319 0 0 0 1 0 0 15 0 9 0 2002246459 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1485.19
Current children cumulated vsize (KiB) 868372
[startup+1499.1 s]
/proc/loadavg: 1.99 1.97 1.98 3/82 13210
/proc/meminfo: memFree=1736920/2055920 swapFree=4179416/4192956
[pid=12899] ppid=12897 vsize=868372 CPUtime=1486.79
/proc/12899/stat : 12899 (java) S 12897 12899 12862 0 -1 0 29129 319 1 0 148647 32 0 0 18 0 9 0 2002246453 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12899/statm: 217093 20564 2614 9 0 211621 0
[pid=12899/tid=12900] ppid=12897 vsize=868372 CPUtime=1486
/proc/12899/task/12900/stat : 12900 (java) R 12897 12899 12862 0 -1 64 21007 319 1 0 148575 25 0 0 25 0 9 0 2002246455 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4127145543 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12899/tid=12902] ppid=12897 vsize=868372 CPUtime=0.35
/proc/12899/task/12902/stat : 12902 (java) S 12897 12899 12862 0 -1 64 6274 319 0 0 32 3 0 0 16 0 9 0 2002246456 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12899/tid=12903] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12903/stat : 12903 (java) S 12897 12899 12862 0 -1 64 15 319 0 0 0 0 0 0 16 0 9 0 2002246456 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12904] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12904/stat : 12904 (java) S 12897 12899 12862 0 -1 64 12 319 0 0 0 0 0 0 16 0 9 0 2002246456 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12905] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12905/stat : 12905 (java) S 12897 12899 12862 0 -1 64 0 319 0 0 0 0 0 0 18 0 9 0 2002246458 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12906] ppid=12897 vsize=868372 CPUtime=0.37
/proc/12899/task/12906/stat : 12906 (java) S 12897 12899 12862 0 -1 64 976 319 0 0 37 0 0 0 16 0 9 0 2002246458 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12907] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12907/stat : 12907 (java) S 12897 12899 12862 0 -1 64 2 319 0 0 0 0 0 0 19 0 9 0 2002246459 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12908] ppid=12897 vsize=868372 CPUtime=0.01
/proc/12899/task/12908/stat : 12908 (java) S 12897 12899 12862 0 -1 64 38 319 0 0 0 1 0 0 15 0 9 0 2002246459 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1486.79
Current children cumulated vsize (KiB) 868372
[startup+1499.9 s]
/proc/loadavg: 1.99 1.97 1.98 3/82 13210
/proc/meminfo: memFree=1736920/2055920 swapFree=4179416/4192956
[pid=12899] ppid=12897 vsize=868372 CPUtime=1487.59
/proc/12899/stat : 12899 (java) S 12897 12899 12862 0 -1 0 29129 319 1 0 148727 32 0 0 18 0 9 0 2002246453 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12899/statm: 217093 20564 2614 9 0 211621 0
[pid=12899/tid=12900] ppid=12897 vsize=868372 CPUtime=1486.8
/proc/12899/task/12900/stat : 12900 (java) R 12897 12899 12862 0 -1 64 21007 319 1 0 148655 25 0 0 25 0 9 0 2002246455 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4126688216 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12899/tid=12902] ppid=12897 vsize=868372 CPUtime=0.35
/proc/12899/task/12902/stat : 12902 (java) S 12897 12899 12862 0 -1 64 6274 319 0 0 32 3 0 0 16 0 9 0 2002246456 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12899/tid=12903] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12903/stat : 12903 (java) S 12897 12899 12862 0 -1 64 15 319 0 0 0 0 0 0 16 0 9 0 2002246456 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12904] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12904/stat : 12904 (java) S 12897 12899 12862 0 -1 64 12 319 0 0 0 0 0 0 16 0 9 0 2002246456 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12905] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12905/stat : 12905 (java) S 12897 12899 12862 0 -1 64 0 319 0 0 0 0 0 0 18 0 9 0 2002246458 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12906] ppid=12897 vsize=868372 CPUtime=0.37
/proc/12899/task/12906/stat : 12906 (java) S 12897 12899 12862 0 -1 64 976 319 0 0 37 0 0 0 16 0 9 0 2002246458 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12907] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12907/stat : 12907 (java) S 12897 12899 12862 0 -1 64 2 319 0 0 0 0 0 0 19 0 9 0 2002246459 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12908] ppid=12897 vsize=868372 CPUtime=0.01
/proc/12899/task/12908/stat : 12908 (java) S 12897 12899 12862 0 -1 64 38 319 0 0 0 1 0 0 15 0 9 0 2002246459 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1487.59
Current children cumulated vsize (KiB) 868372
[startup+1500.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/82 13210
/proc/meminfo: memFree=1736920/2055920 swapFree=4179416/4192956
[pid=12899] ppid=12897 vsize=868372 CPUtime=1487.99
/proc/12899/stat : 12899 (java) S 12897 12899 12862 0 -1 0 29129 319 1 0 148767 32 0 0 18 0 9 0 2002246453 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12899/statm: 217093 20564 2614 9 0 211621 0
[pid=12899/tid=12900] ppid=12897 vsize=868372 CPUtime=1487.21
/proc/12899/task/12900/stat : 12900 (java) R 12897 12899 12862 0 -1 64 21007 319 1 0 148696 25 0 0 25 0 9 0 2002246455 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4127175215 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12899/tid=12902] ppid=12897 vsize=868372 CPUtime=0.35
/proc/12899/task/12902/stat : 12902 (java) S 12897 12899 12862 0 -1 64 6274 319 0 0 32 3 0 0 16 0 9 0 2002246456 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12899/tid=12903] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12903/stat : 12903 (java) S 12897 12899 12862 0 -1 64 15 319 0 0 0 0 0 0 16 0 9 0 2002246456 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12904] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12904/stat : 12904 (java) S 12897 12899 12862 0 -1 64 12 319 0 0 0 0 0 0 16 0 9 0 2002246456 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12905] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12905/stat : 12905 (java) S 12897 12899 12862 0 -1 64 0 319 0 0 0 0 0 0 18 0 9 0 2002246458 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12906] ppid=12897 vsize=868372 CPUtime=0.37
/proc/12899/task/12906/stat : 12906 (java) S 12897 12899 12862 0 -1 64 976 319 0 0 37 0 0 0 16 0 9 0 2002246458 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12907] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12907/stat : 12907 (java) S 12897 12899 12862 0 -1 64 2 319 0 0 0 0 0 0 19 0 9 0 2002246459 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12908] ppid=12897 vsize=868372 CPUtime=0.01
/proc/12899/task/12908/stat : 12908 (java) S 12897 12899 12862 0 -1 64 38 319 0 0 0 1 0 0 15 0 9 0 2002246459 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1487.99
Current children cumulated vsize (KiB) 868372
[startup+1500.41 s]
/proc/loadavg: 1.99 1.97 1.98 3/82 13210
/proc/meminfo: memFree=1736920/2055920 swapFree=4179416/4192956
[pid=12899] ppid=12897 vsize=868372 CPUtime=1488.09
/proc/12899/stat : 12899 (java) S 12897 12899 12862 0 -1 0 29129 319 1 0 148777 32 0 0 18 0 9 0 2002246453 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12899/statm: 217093 20564 2614 9 0 211621 0
[pid=12899/tid=12900] ppid=12897 vsize=868372 CPUtime=1487.31
/proc/12899/task/12900/stat : 12900 (java) R 12897 12899 12862 0 -1 64 21007 319 1 0 148706 25 0 0 25 0 9 0 2002246455 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4127164423 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12899/tid=12902] ppid=12897 vsize=868372 CPUtime=0.35
/proc/12899/task/12902/stat : 12902 (java) S 12897 12899 12862 0 -1 64 6274 319 0 0 32 3 0 0 16 0 9 0 2002246456 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12899/tid=12903] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12903/stat : 12903 (java) S 12897 12899 12862 0 -1 64 15 319 0 0 0 0 0 0 16 0 9 0 2002246456 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12904] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12904/stat : 12904 (java) S 12897 12899 12862 0 -1 64 12 319 0 0 0 0 0 0 16 0 9 0 2002246456 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12905] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12905/stat : 12905 (java) S 12897 12899 12862 0 -1 64 0 319 0 0 0 0 0 0 18 0 9 0 2002246458 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12906] ppid=12897 vsize=868372 CPUtime=0.37
/proc/12899/task/12906/stat : 12906 (java) S 12897 12899 12862 0 -1 64 976 319 0 0 37 0 0 0 16 0 9 0 2002246458 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12907] ppid=12897 vsize=868372 CPUtime=0
/proc/12899/task/12907/stat : 12907 (java) S 12897 12899 12862 0 -1 64 2 319 0 0 0 0 0 0 19 0 9 0 2002246459 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12899/tid=12908] ppid=12897 vsize=868372 CPUtime=0.01
/proc/12899/task/12908/stat : 12908 (java) S 12897 12899 12862 0 -1 64 38 319 0 0 0 1 0 0 15 0 9 0 2002246459 889212928 20564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1488.09
Current children cumulated vsize (KiB) 868372
Child status: 0
Real time (s): 1500.46
CPU time (s): 1488.17
CPU user time (s): 1487.82
CPU system time (s): 0.350946
CPU usage (%): 99.1809
Max. virtual memory (cumulated for all children) (KiB): 868460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1487.82
system time used= 0.350946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29482
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= 33857
involuntary context switches= 59085
runsolver used 2.03969 second user time and 4.80227 second system time
The end
Begin job on node62 at 2008-07-05 06:39:07
IDJOB=1085131
IDBENCH=57608
IDSOLVER=363
FILE ID=node62/1085131-1215232747
PBS_JOBID= 7881942
Free space on /tmp= 65232 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/super-jobShop/super-jobShop-enddr1/normalized-super-jobShop-enddr1-9.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-1085131-1215232747/watcher-1085131-1215232747 -o /tmp/evaluation-result-1085131-1215232747/solver-1085131-1215232747 -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-1085131-1215232747.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 7154251d322d3aeca403294bf50a7b43
RANDOM SEED=1779263281
node62.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.259
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.259
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: 1697400 kB
Buffers: 12228 kB
Cached: 155244 kB
SwapCached: 6676 kB
Active: 206760 kB
Inactive: 93264 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1697400 kB
SwapTotal: 4192956 kB
SwapFree: 4179416 kB
Dirty: 2364 kB
Writeback: 0 kB
Mapped: 140340 kB
Slab: 42268 kB
Committed_AS: 4281448 kB
PageTables: 3204 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 65228 MiB
End job on node62 at 2008-07-05 07:04:08