0.04/0.08
0.04/0.08 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mac.xml
0.18/0.28
0.18/0.28 instance
0.18/0.28 name=HOME/instance-2094373-1247403772.xml
0.28/0.31
0.28/0.31 domains being loaded...
0.28/0.32
0.28/0.32 variables being loaded...
0.28/0.34 nbVariables=21 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=42
0.28/0.34 => wckTime=0.095 cpuTime=0.08 mem=7M892
0.28/0.34
0.28/0.34 relations being loaded...
0.28/0.40
0.28/0.40 constraints being loaded...
1.55/1.68 nbConstraints=2713 nbRelationTypes=1 nbGlobalConstraints=2713 nbExtensionStructures=1
1.55/1.68 nbSharedExtensionStructures=2712 nbConflictsStructures=1 nbSharedConflictsStructures=2712
1.55/1.68 nbSharedBinaryRepresentations=0 minDegree=1897 maxDegree=1986 minArity=15 maxArity=15 nbGenerators=0
1.55/1.68 nbFusions=0 symmetryWckTime=0.569 symmetryCpuTime=0.28
1.55/1.68 => wckTime=1.435 cpuTime=0.79 mem=108M400
1.75/1.84
1.75/1.85 solver IterativeSystematicSolver being built...
1.86/1.92
1.86/1.93 INFO : Forward propagation technique limited
1.86/1.99 => wckTime=1.748 cpuTime=0.92 mem=107M84
6.41/6.52
6.41/6.52 preprocessing
6.41/6.52 nbConstraintChecks=0 nbValidityChecks=18486382 nbPropagations=21 nbRevisions=0 nbUselessRevisions=0
6.41/6.52 nbRemovedValues=0 detectedInconsistency=no
6.41/6.52 => wckTime=4.53 cpuTime=4.46 mem=108M38
19.09/19.38
19.09/19.38 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=108M991)
70.88/71.63
70.88/71.63 search
70.88/71.63 run=7 nbConstraintChecks=5172 nbValidityChecks=1073282949 minDepth=1 maxDepth=21 nbPropagations=6873
70.88/71.64 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1378 nbFailedAssignments=435 nbBacktracks=875
70.88/71.64 nbVisitedNodes=2248 nbRestartNogoods=23 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=13.4
70.88/71.64 nbIEliminables=0 nbDEliminables=0 nbPEliminables=0
70.88/71.64 => wckTime=69.64 cpuTime=68.9 mem=108M991
70.88/71.64
70.88/71.64 global
70.88/71.64 nbConstraintChecks=5172 nbValidityChecks=1091769331 nbPropagations=6894 nbRestartNogoods=23
70.88/71.64 solvingWckTime=69.643 solvingCpuTime=68.91 expiredTime=no totalExploration=no nbFoundSolutions=1
70.88/71.64 firstSolutionCpuTime=69.8 globalCpuTime=69.87
70.88/71.64 => wckTime=71.392 cpuTime=69.83 mem=108M991
70.88/71.64
70.88/71.64 s SATISFIABLE
70.88/71.64 v 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
70.88/71.64 d NODES 1378
70.88/71.64 d CHECKS 5172
70.88/71.64
70.88/71.64 totalWckTime=71.461 totalCpuTime=69.87
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2094373-1247403772/watcher-2094373-1247403772 -o /tmp/evaluation-result-2094373-1247403772/solver-2094373-1247403772 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2094373-1247403772.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): 2000 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 2.08 1.91 3/80 29583
/proc/meminfo: memFree=1731992/2055920 swapFree=4192812/4192956
[pid=29583] ppid=29581 vsize=152 CPUtime=0
/proc/29583/stat : 29583 (java) R 29581 29583 28469 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 27439829 155648 26 996147200 134512640 134550932 4294955968 18446744073709551615 7205668 0 0 4096 0 0 0 0 17 0 0 0
/proc/29583/statm: 38 26 19 9 0 4 0
[startup+0.059716 s]
/proc/loadavg: 2.07 2.08 1.91 3/80 29583
/proc/meminfo: memFree=1731992/2055920 swapFree=4192812/4192956
[pid=29583] ppid=29581 vsize=864144 CPUtime=0.04
/proc/29583/stat : 29583 (java) S 29581 29583 28469 0 -1 0 2813 0 1 0 3 1 0 0 18 0 9 0 27439829 884883456 2349 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29583/statm: 216036 2350 1115 9 0 210929 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864144
[startup+0.10172 s]
/proc/loadavg: 2.07 2.08 1.91 3/80 29583
/proc/meminfo: memFree=1731992/2055920 swapFree=4192812/4192956
[pid=29583] ppid=29581 vsize=865980 CPUtime=0.09
/proc/29583/stat : 29583 (java) S 29581 29583 28469 0 -1 0 3748 0 1 0 7 2 0 0 18 0 9 0 27439829 886763520 3214 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29583/statm: 216495 3214 1700 9 0 210980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865980
[startup+0.301748 s]
/proc/loadavg: 2.07 2.08 1.91 3/80 29583
/proc/meminfo: memFree=1731992/2055920 swapFree=4192812/4192956
[pid=29583] ppid=29581 vsize=866380 CPUtime=0.28
/proc/29583/stat : 29583 (java) S 29581 29583 28469 0 -1 0 5992 0 1 0 25 3 0 0 18 0 9 0 27439829 887173120 5358 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29583/statm: 216595 5358 1986 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.701803 s]
/proc/loadavg: 2.07 2.08 1.91 3/80 29583
/proc/meminfo: memFree=1731992/2055920 swapFree=4192812/4192956
[pid=29583] ppid=29581 vsize=867528 CPUtime=0.68
/proc/29583/stat : 29583 (java) S 29581 29583 28469 0 -1 0 12169 0 1 0 61 7 0 0 18 0 9 0 27439829 888348672 11522 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29583/statm: 216882 11529 2009 9 0 211340 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867528
[startup+1.5029 s]
/proc/loadavg: 2.07 2.08 1.91 5/89 29592
/proc/meminfo: memFree=1625616/2055920 swapFree=4192812/4192956
[pid=29583] ppid=29581 vsize=867852 CPUtime=1.3
/proc/29583/stat : 29583 (java) S 29581 29583 28469 0 -1 0 36119 0 1 0 111 19 0 0 18 0 10 0 27439829 888680448 35344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29583/statm: 216963 35344 2030 9 0 211421 0
[pid=29583/tid=29585] ppid=29581 vsize=867852 CPUtime=0.88
/proc/29583/task/29585/stat : 29585 (java) S 29581 29583 28469 0 -1 64 15838 0 1 0 80 8 0 0 16 0 10 0 27439830 888680448 35344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=29583/tid=29586] ppid=29581 vsize=867852 CPUtime=0.18
/proc/29583/task/29586/stat : 29586 (java) S 29581 29583 28469 0 -1 64 18841 0 0 0 10 8 0 0 17 0 10 0 27439831 888680448 35344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29587] ppid=29581 vsize=867852 CPUtime=0
/proc/29583/task/29587/stat : 29587 (java) S 29581 29583 28469 0 -1 64 16 0 0 0 0 0 0 0 16 0 10 0 27439832 888680448 35344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29588] ppid=29581 vsize=867852 CPUtime=0
/proc/29583/task/29588/stat : 29588 (java) S 29581 29583 28469 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 27439832 888680448 35344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29589] ppid=29581 vsize=867852 CPUtime=0
/proc/29583/task/29589/stat : 29589 (java) S 29581 29583 28469 0 -1 64 2 0 0 0 0 0 0 0 23 0 10 0 27439834 888680448 35344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29590] ppid=29581 vsize=867852 CPUtime=0.21
/proc/29583/task/29590/stat : 29590 (java) S 29581 29583 28469 0 -1 64 667 0 0 0 20 1 0 0 15 0 10 0 27439834 888680448 35344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29591] ppid=29581 vsize=867852 CPUtime=0
/proc/29583/task/29591/stat : 29591 (java) S 29581 29583 28469 0 -1 64 0 0 0 0 0 0 0 0 24 0 10 0 27439834 888680448 35344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29592] ppid=29581 vsize=867852 CPUtime=0
/proc/29583/task/29592/stat : 29592 (java) S 29581 29583 28469 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 27439834 888680448 35344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 867852
[startup+3.10212 s]
/proc/loadavg: 2.14 2.09 1.91 4/91 29596
/proc/meminfo: memFree=1572224/2055920 swapFree=4192812/4192956
[pid=29583] ppid=29581 vsize=867992 CPUtime=3.04
/proc/29583/stat : 29583 (java) S 29581 29583 28469 0 -1 0 56217 981 1 0 256 24 22 2 18 0 9 0 27439829 888823808 42109 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29583/statm: 216998 42109 2660 9 0 211434 0
[pid=29583/tid=29585] ppid=29581 vsize=867992 CPUtime=2.42
/proc/29583/task/29585/stat : 29585 (java) R 29581 29583 28469 0 -1 64 21261 981 1 0 209 9 22 2 17 0 9 0 27439830 888823808 42109 996147200 134512640 134550932 4294955968 18446744073709551615 4127105900 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29586] ppid=29581 vsize=867992 CPUtime=0.57
/proc/29583/task/29586/stat : 29586 (java) S 29581 29583 28469 0 -1 64 33264 981 0 0 22 11 22 2 16 0 9 0 27439831 888823808 42109 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29587] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29587/stat : 29587 (java) S 29581 29583 28469 0 -1 64 21 981 0 0 0 0 22 2 16 0 9 0 27439832 888823808 42109 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29588] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29588/stat : 29588 (java) S 29581 29583 28469 0 -1 64 9 981 0 0 0 0 22 2 16 0 9 0 27439832 888823808 42109 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29589] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29589/stat : 29589 (java) S 29581 29583 28469 0 -1 64 2 981 0 0 0 0 22 2 23 0 9 0 27439834 888823808 42109 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29590] ppid=29581 vsize=867992 CPUtime=0.49
/proc/29583/task/29590/stat : 29590 (java) S 29581 29583 28469 0 -1 64 848 981 0 0 24 1 22 2 15 0 9 0 27439834 888823808 42109 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29591] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29591/stat : 29591 (java) S 29581 29583 28469 0 -1 64 0 981 0 0 0 0 22 2 24 0 9 0 27439834 888823808 42109 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29592] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29592/stat : 29592 (java) S 29581 29583 28469 0 -1 64 10 981 0 0 0 0 22 2 15 0 9 0 27439834 888823808 42109 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867992
[startup+6.30156 s]
/proc/loadavg: 2.14 2.09 1.91 3/89 29596
/proc/meminfo: memFree=1573192/2055920 swapFree=4192812/4192956
[pid=29583] ppid=29581 vsize=867992 CPUtime=6.21
/proc/29583/stat : 29583 (java) S 29581 29583 28469 0 -1 0 59736 981 1 0 572 25 22 2 18 0 9 0 27439829 888823808 42112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29583/statm: 216998 42112 2660 9 0 211434 0
[pid=29583/tid=29585] ppid=29581 vsize=867992 CPUtime=5.58
/proc/29583/task/29585/stat : 29585 (java) R 29581 29583 28469 0 -1 64 24747 981 1 0 524 10 22 2 25 0 9 0 27439830 888823808 42112 996147200 134512640 134550932 4294955968 18446744073709551615 4127105439 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29586] ppid=29581 vsize=867992 CPUtime=0.57
/proc/29583/task/29586/stat : 29586 (java) S 29581 29583 28469 0 -1 64 33264 981 0 0 22 11 22 2 16 0 9 0 27439831 888823808 42112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29587] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29587/stat : 29587 (java) S 29581 29583 28469 0 -1 64 21 981 0 0 0 0 22 2 16 0 9 0 27439832 888823808 42112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29588] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29588/stat : 29588 (java) S 29581 29583 28469 0 -1 64 9 981 0 0 0 0 22 2 16 0 9 0 27439832 888823808 42112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29589] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29589/stat : 29589 (java) S 29581 29583 28469 0 -1 64 2 981 0 0 0 0 22 2 23 0 9 0 27439834 888823808 42112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29590] ppid=29581 vsize=867992 CPUtime=0.5
/proc/29583/task/29590/stat : 29590 (java) S 29581 29583 28469 0 -1 64 854 981 0 0 25 1 22 2 15 0 9 0 27439834 888823808 42112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29591] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29591/stat : 29591 (java) S 29581 29583 28469 0 -1 64 0 981 0 0 0 0 22 2 24 0 9 0 27439834 888823808 42112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29592] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29592/stat : 29592 (java) S 29581 29583 28469 0 -1 64 37 981 0 0 0 0 22 2 15 0 9 0 27439834 888823808 42112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867992
[startup+12.7024 s]
/proc/loadavg: 2.12 2.09 1.91 3/89 29596
/proc/meminfo: memFree=1572936/2055920 swapFree=4192812/4192956
[pid=29583] ppid=29581 vsize=867992 CPUtime=12.55
/proc/29583/stat : 29583 (java) S 29581 29583 28469 0 -1 0 65826 981 1 0 1204 27 22 2 18 0 9 0 27439829 888823808 42122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29583/statm: 216998 42122 2660 9 0 211434 0
[pid=29583/tid=29585] ppid=29581 vsize=867992 CPUtime=11.91
/proc/29583/task/29585/stat : 29585 (java) R 29581 29583 28469 0 -1 64 30810 981 1 0 1155 12 22 2 25 0 9 0 27439830 888823808 42122 996147200 134512640 134550932 4294955968 18446744073709551615 4127140137 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29586] ppid=29581 vsize=867992 CPUtime=0.57
/proc/29583/task/29586/stat : 29586 (java) S 29581 29583 28469 0 -1 64 33264 981 0 0 22 11 22 2 16 0 9 0 27439831 888823808 42122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29587] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29587/stat : 29587 (java) S 29581 29583 28469 0 -1 64 21 981 0 0 0 0 22 2 16 0 9 0 27439832 888823808 42122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29588] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29588/stat : 29588 (java) S 29581 29583 28469 0 -1 64 9 981 0 0 0 0 22 2 16 0 9 0 27439832 888823808 42122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29589] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29589/stat : 29589 (java) S 29581 29583 28469 0 -1 64 2 981 0 0 0 0 22 2 23 0 9 0 27439834 888823808 42122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29590] ppid=29581 vsize=867992 CPUtime=0.51
/proc/29583/task/29590/stat : 29590 (java) S 29581 29583 28469 0 -1 64 881 981 0 0 26 1 22 2 15 0 9 0 27439834 888823808 42122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29591] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29591/stat : 29591 (java) S 29581 29583 28469 0 -1 64 0 981 0 0 0 0 22 2 24 0 9 0 27439834 888823808 42122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29592] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29592/stat : 29592 (java) S 29581 29583 28469 0 -1 64 37 981 0 0 0 0 22 2 15 0 9 0 27439834 888823808 42122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867992
[startup+25.5022 s]
/proc/loadavg: 2.10 2.09 1.91 3/89 29596
/proc/meminfo: memFree=1572936/2055920 swapFree=4192812/4192956
[pid=29583] ppid=29581 vsize=867992 CPUtime=25.23
/proc/29583/stat : 29583 (java) S 29581 29583 28469 0 -1 0 65874 981 1 0 2472 27 22 2 18 0 9 0 27439829 888823808 42132 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29583/statm: 216998 42132 2660 9 0 211434 0
[pid=29583/tid=29585] ppid=29581 vsize=867992 CPUtime=24.57
/proc/29583/task/29585/stat : 29585 (java) R 29581 29583 28469 0 -1 64 30818 981 1 0 2421 12 22 2 25 0 9 0 27439830 888823808 42132 996147200 134512640 134550932 4294955968 18446744073709551615 4127105340 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29586] ppid=29581 vsize=867992 CPUtime=0.57
/proc/29583/task/29586/stat : 29586 (java) S 29581 29583 28469 0 -1 64 33264 981 0 0 22 11 22 2 16 0 9 0 27439831 888823808 42132 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29587] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29587/stat : 29587 (java) S 29581 29583 28469 0 -1 64 21 981 0 0 0 0 22 2 16 0 9 0 27439832 888823808 42132 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29588] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29588/stat : 29588 (java) S 29581 29583 28469 0 -1 64 9 981 0 0 0 0 22 2 16 0 9 0 27439832 888823808 42132 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29589] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29589/stat : 29589 (java) S 29581 29583 28469 0 -1 64 2 981 0 0 0 0 22 2 23 0 9 0 27439834 888823808 42132 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29590] ppid=29581 vsize=867992 CPUtime=0.53
/proc/29583/task/29590/stat : 29590 (java) S 29581 29583 28469 0 -1 64 921 981 0 0 28 1 22 2 16 0 9 0 27439834 888823808 42132 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29591] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29591/stat : 29591 (java) S 29581 29583 28469 0 -1 64 0 981 0 0 0 0 22 2 24 0 9 0 27439834 888823808 42132 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29592] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29592/stat : 29592 (java) S 29581 29583 28469 0 -1 64 37 981 0 0 0 0 22 2 15 0 9 0 27439834 888823808 42132 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867992
[startup+51.1026 s]
/proc/loadavg: 2.07 2.08 1.91 3/89 29596
/proc/meminfo: memFree=1572872/2055920 swapFree=4192812/4192956
[pid=29583] ppid=29581 vsize=867992 CPUtime=50.58
/proc/29583/stat : 29583 (java) S 29581 29583 28469 0 -1 0 65888 981 1 0 5007 27 22 2 18 0 9 0 27439829 888823808 42137 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29583/statm: 216998 42137 2660 9 0 211434 0
[pid=29583/tid=29585] ppid=29581 vsize=867992 CPUtime=49.91
/proc/29583/task/29585/stat : 29585 (java) R 29581 29583 28469 0 -1 64 30825 981 1 0 4955 12 22 2 25 0 9 0 27439830 888823808 42137 996147200 134512640 134550932 4294955968 18446744073709551615 4127105908 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29586] ppid=29581 vsize=867992 CPUtime=0.57
/proc/29583/task/29586/stat : 29586 (java) S 29581 29583 28469 0 -1 64 33264 981 0 0 22 11 22 2 16 0 9 0 27439831 888823808 42137 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29587] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29587/stat : 29587 (java) S 29581 29583 28469 0 -1 64 21 981 0 0 0 0 22 2 16 0 9 0 27439832 888823808 42137 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29588] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29588/stat : 29588 (java) S 29581 29583 28469 0 -1 64 9 981 0 0 0 0 22 2 16 0 9 0 27439832 888823808 42137 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29589] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29589/stat : 29589 (java) S 29581 29583 28469 0 -1 64 2 981 0 0 0 0 22 2 23 0 9 0 27439834 888823808 42137 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29590] ppid=29581 vsize=867992 CPUtime=0.54
/proc/29583/task/29590/stat : 29590 (java) S 29581 29583 28469 0 -1 64 928 981 0 0 29 1 22 2 16 0 9 0 27439834 888823808 42137 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29591] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29591/stat : 29591 (java) S 29581 29583 28469 0 -1 64 0 981 0 0 0 0 22 2 24 0 9 0 27439834 888823808 42137 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/29583/stat : 29583 (java) S 29581 29583 28469 0 -1 0 65892 981 1 0 6275 27 22 2 18 0 9 0 27439829 888823808 42138 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29583/statm: 216998 42138 2660 9 0 211434 0
[pid=29583/tid=29585] ppid=29581 vsize=867992 CPUtime=62.58
/proc/29583/task/29585/stat : 29585 (java) R 29581 29583 28469 0 -1 64 30827 981 1 0 6222 12 22 2 25 0 9 0 27439830 888823808 42138 996147200 134512640 134550932 4294955968 18446744073709551615 4127105661 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29586] ppid=29581 vsize=867992 CPUtime=0.57
/proc/29583/task/29586/stat : 29586 (java) S 29581 29583 28469 0 -1 64 33264 981 0 0 22 11 22 2 16 0 9 0 27439831 888823808 42138 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29587] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29587/stat : 29587 (java) S 29581 29583 28469 0 -1 64 21 981 0 0 0 0 22 2 16 0 9 0 27439832 888823808 42138 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29588] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29588/stat : 29588 (java) S 29581 29583 28469 0 -1 64 9 981 0 0 0 0 22 2 16 0 9 0 27439832 888823808 42138 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29589] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29589/stat : 29589 (java) S 29581 29583 28469 0 -1 64 2 981 0 0 0 0 22 2 23 0 9 0 27439834 888823808 42138 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29590] ppid=29581 vsize=867992 CPUtime=0.55
/proc/29583/task/29590/stat : 29590 (java) S 29581 29583 28469 0 -1 64 930 981 0 0 30 1 22 2 16 0 9 0 27439834 888823808 42138 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29591] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29591/stat : 29591 (java) S 29581 29583 28469 0 -1 64 0 981 0 0 0 0 22 2 24 0 9 0 27439834 888823808 42138 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29592] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29592/stat : 29592 (java) S 29581 29583 28469 0 -1 64 37 981 0 0 0 0 22 2 15 0 9 0 27439834 888823808 42138 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 63.26
Current children cumulated vsize (KiB) 867992
[startup+67.1068 s]
/proc/loadavg: 2.05 2.07 1.91 3/89 29596
/proc/meminfo: memFree=1572872/2055920 swapFree=4192812/4192956
[pid=29583] ppid=29581 vsize=867992 CPUtime=66.43
/proc/29583/stat : 29583 (java) S 29581 29583 28469 0 -1 0 65896 981 1 0 6592 27 22 2 18 0 9 0 27439829 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29583/statm: 216998 42140 2660 9 0 211434 0
[pid=29583/tid=29585] ppid=29581 vsize=867992 CPUtime=65.76
/proc/29583/task/29585/stat : 29585 (java) R 29581 29583 28469 0 -1 64 30828 981 1 0 6540 12 22 2 25 0 9 0 27439830 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4127117998 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29586] ppid=29581 vsize=867992 CPUtime=0.57
/proc/29583/task/29586/stat : 29586 (java) S 29581 29583 28469 0 -1 64 33264 981 0 0 22 11 22 2 16 0 9 0 27439831 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29587] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29587/stat : 29587 (java) S 29581 29583 28469 0 -1 64 21 981 0 0 0 0 22 2 16 0 9 0 27439832 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29588] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29588/stat : 29588 (java) S 29581 29583 28469 0 -1 64 9 981 0 0 0 0 22 2 16 0 9 0 27439832 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29589] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29589/stat : 29589 (java) S 29581 29583 28469 0 -1 64 2 981 0 0 0 0 22 2 23 0 9 0 27439834 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29590] ppid=29581 vsize=867992 CPUtime=0.55
/proc/29583/task/29590/stat : 29590 (java) S 29581 29583 28469 0 -1 64 933 981 0 0 30 1 22 2 15 0 9 0 27439834 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29591] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29591/stat : 29591 (java) S 29581 29583 28469 0 -1 64 0 981 0 0 0 0 22 2 24 0 9 0 27439834 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29592] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29592/stat : 29592 (java) S 29581 29583 28469 0 -1 64 37 981 0 0 0 0 22 2 15 0 9 0 27439834 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 66.43
Current children cumulated vsize (KiB) 867992
[startup+68.703 s]
/proc/loadavg: 2.05 2.07 1.91 3/89 29596
/proc/meminfo: memFree=1572872/2055920 swapFree=4192812/4192956
[pid=29583] ppid=29581 vsize=867992 CPUtime=68.01
/proc/29583/stat : 29583 (java) S 29581 29583 28469 0 -1 0 65896 981 1 0 6750 27 22 2 18 0 9 0 27439829 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29583/statm: 216998 42140 2660 9 0 211434 0
[pid=29583/tid=29585] ppid=29581 vsize=867992 CPUtime=67.34
/proc/29583/task/29585/stat : 29585 (java) R 29581 29583 28469 0 -1 64 30828 981 1 0 6698 12 22 2 25 0 9 0 27439830 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4127105285 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29586] ppid=29581 vsize=867992 CPUtime=0.57
/proc/29583/task/29586/stat : 29586 (java) S 29581 29583 28469 0 -1 64 33264 981 0 0 22 11 22 2 16 0 9 0 27439831 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29587] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29587/stat : 29587 (java) S 29581 29583 28469 0 -1 64 21 981 0 0 0 0 22 2 16 0 9 0 27439832 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29588] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29588/stat : 29588 (java) S 29581 29583 28469 0 -1 64 9 981 0 0 0 0 22 2 16 0 9 0 27439832 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29589] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29589/stat : 29589 (java) S 29581 29583 28469 0 -1 64 2 981 0 0 0 0 22 2 23 0 9 0 27439834 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29590] ppid=29581 vsize=867992 CPUtime=0.55
/proc/29583/task/29590/stat : 29590 (java) S 29581 29583 28469 0 -1 64 933 981 0 0 30 1 22 2 15 0 9 0 27439834 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29591] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29591/stat : 29591 (java) S 29581 29583 28469 0 -1 64 0 981 0 0 0 0 22 2 24 0 9 0 27439834 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29592] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29592/stat : 29592 (java) S 29581 29583 28469 0 -1 64 37 981 0 0 0 0 22 2 15 0 9 0 27439834 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 68.01
Current children cumulated vsize (KiB) 867992
[startup+70.3022 s]
/proc/loadavg: 2.05 2.07 1.91 3/89 29596
/proc/meminfo: memFree=1572872/2055920 swapFree=4192812/4192956
[pid=29583] ppid=29581 vsize=867992 CPUtime=69.6
/proc/29583/stat : 29583 (java) S 29581 29583 28469 0 -1 0 65896 981 1 0 6909 27 22 2 18 0 9 0 27439829 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29583/statm: 216998 42140 2660 9 0 211434 0
[pid=29583/tid=29585] ppid=29581 vsize=867992 CPUtime=68.92
/proc/29583/task/29585/stat : 29585 (java) R 29581 29583 28469 0 -1 64 30828 981 1 0 6856 12 22 2 25 0 9 0 27439830 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4127137541 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29586] ppid=29581 vsize=867992 CPUtime=0.57
/proc/29583/task/29586/stat : 29586 (java) S 29581 29583 28469 0 -1 64 33264 981 0 0 22 11 22 2 16 0 9 0 27439831 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29587] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29587/stat : 29587 (java) S 29581 29583 28469 0 -1 64 21 981 0 0 0 0 22 2 16 0 9 0 27439832 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29588] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29588/stat : 29588 (java) S 29581 29583 28469 0 -1 64 9 981 0 0 0 0 22 2 16 0 9 0 27439832 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29589] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29589/stat : 29589 (java) S 29581 29583 28469 0 -1 64 2 981 0 0 0 0 22 2 23 0 9 0 27439834 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29590] ppid=29581 vsize=867992 CPUtime=0.55
/proc/29583/task/29590/stat : 29590 (java) S 29581 29583 28469 0 -1 64 933 981 0 0 30 1 22 2 15 0 9 0 27439834 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29591] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29591/stat : 29591 (java) S 29581 29583 28469 0 -1 64 0 981 0 0 0 0 22 2 24 0 9 0 27439834 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29592] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29592/stat : 29592 (java) S 29581 29583 28469 0 -1 64 37 981 0 0 0 0 22 2 15 0 9 0 27439834 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 69.6
Current children cumulated vsize (KiB) 867992
[startup+71.1023 s]
/proc/loadavg: 2.05 2.07 1.91 3/89 29596
/proc/meminfo: memFree=1572872/2055920 swapFree=4192812/4192956
[pid=29583] ppid=29581 vsize=867992 CPUtime=70.39
/proc/29583/stat : 29583 (java) S 29581 29583 28469 0 -1 0 65896 981 1 0 6988 27 22 2 18 0 9 0 27439829 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29583/statm: 216998 42140 2660 9 0 211434 0
[pid=29583/tid=29585] ppid=29581 vsize=867992 CPUtime=69.71
/proc/29583/task/29585/stat : 29585 (java) R 29581 29583 28469 0 -1 64 30828 981 1 0 6935 12 22 2 25 0 9 0 27439830 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4127105295 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29586] ppid=29581 vsize=867992 CPUtime=0.57
/proc/29583/task/29586/stat : 29586 (java) S 29581 29583 28469 0 -1 64 33264 981 0 0 22 11 22 2 16 0 9 0 27439831 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29587] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29587/stat : 29587 (java) S 29581 29583 28469 0 -1 64 21 981 0 0 0 0 22 2 16 0 9 0 27439832 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29588] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29588/stat : 29588 (java) S 29581 29583 28469 0 -1 64 9 981 0 0 0 0 22 2 16 0 9 0 27439832 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29589] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29589/stat : 29589 (java) S 29581 29583 28469 0 -1 64 2 981 0 0 0 0 22 2 23 0 9 0 27439834 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29590] ppid=29581 vsize=867992 CPUtime=0.55
/proc/29583/task/29590/stat : 29590 (java) S 29581 29583 28469 0 -1 64 933 981 0 0 30 1 22 2 15 0 9 0 27439834 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29591] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29591/stat : 29591 (java) S 29581 29583 28469 0 -1 64 0 981 0 0 0 0 22 2 24 0 9 0 27439834 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29592] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29592/stat : 29592 (java) S 29581 29583 28469 0 -1 64 37 981 0 0 0 0 22 2 15 0 9 0 27439834 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 70.39
Current children cumulated vsize (KiB) 867992
[startup+71.5074 s]
/proc/loadavg: 2.05 2.07 1.91 3/89 29596
/proc/meminfo: memFree=1572872/2055920 swapFree=4192812/4192956
[pid=29583] ppid=29581 vsize=867992 CPUtime=70.79
/proc/29583/stat : 29583 (java) S 29581 29583 28469 0 -1 0 65896 981 1 0 7028 27 22 2 18 0 9 0 27439829 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29583/statm: 216998 42140 2660 9 0 211434 0
[pid=29583/tid=29585] ppid=29581 vsize=867992 CPUtime=70.11
/proc/29583/task/29585/stat : 29585 (java) R 29581 29583 28469 0 -1 64 30828 981 1 0 6975 12 22 2 25 0 9 0 27439830 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4127115537 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29586] ppid=29581 vsize=867992 CPUtime=0.57
/proc/29583/task/29586/stat : 29586 (java) S 29581 29583 28469 0 -1 64 33264 981 0 0 22 11 22 2 16 0 9 0 27439831 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29587] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29587/stat : 29587 (java) S 29581 29583 28469 0 -1 64 21 981 0 0 0 0 22 2 16 0 9 0 27439832 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29588] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29588/stat : 29588 (java) S 29581 29583 28469 0 -1 64 9 981 0 0 0 0 22 2 16 0 9 0 27439832 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29589] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29589/stat : 29589 (java) S 29581 29583 28469 0 -1 64 2 981 0 0 0 0 22 2 23 0 9 0 27439834 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29590] ppid=29581 vsize=867992 CPUtime=0.55
/proc/29583/task/29590/stat : 29590 (java) S 29581 29583 28469 0 -1 64 933 981 0 0 30 1 22 2 15 0 9 0 27439834 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29591] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29591/stat : 29591 (java) S 29581 29583 28469 0 -1 64 0 981 0 0 0 0 22 2 24 0 9 0 27439834 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29592] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29592/stat : 29592 (java) S 29581 29583 28469 0 -1 64 37 981 0 0 0 0 22 2 15 0 9 0 27439834 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 70.79
Current children cumulated vsize (KiB) 867992
[startup+71.6024 s]
/proc/loadavg: 2.05 2.07 1.91 3/89 29596
/proc/meminfo: memFree=1572872/2055920 swapFree=4192812/4192956
[pid=29583] ppid=29581 vsize=867992 CPUtime=70.88
/proc/29583/stat : 29583 (java) S 29581 29583 28469 0 -1 0 65896 981 1 0 7037 27 22 2 18 0 9 0 27439829 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29583/statm: 216998 42140 2660 9 0 211434 0
[pid=29583/tid=29585] ppid=29581 vsize=867992 CPUtime=70.21
/proc/29583/task/29585/stat : 29585 (java) R 29581 29583 28469 0 -1 64 30828 981 1 0 6985 12 22 2 25 0 9 0 27439830 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4127136410 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29586] ppid=29581 vsize=867992 CPUtime=0.57
/proc/29583/task/29586/stat : 29586 (java) S 29581 29583 28469 0 -1 64 33264 981 0 0 22 11 22 2 16 0 9 0 27439831 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29587] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29587/stat : 29587 (java) S 29581 29583 28469 0 -1 64 21 981 0 0 0 0 22 2 16 0 9 0 27439832 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29588] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29588/stat : 29588 (java) S 29581 29583 28469 0 -1 64 9 981 0 0 0 0 22 2 16 0 9 0 27439832 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29589] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29589/stat : 29589 (java) S 29581 29583 28469 0 -1 64 2 981 0 0 0 0 22 2 23 0 9 0 27439834 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29590] ppid=29581 vsize=867992 CPUtime=0.55
/proc/29583/task/29590/stat : 29590 (java) S 29581 29583 28469 0 -1 64 933 981 0 0 30 1 22 2 15 0 9 0 27439834 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29583/tid=29591] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29591/stat : 29591 (java) S 29581 29583 28469 0 -1 64 0 981 0 0 0 0 22 2 24 0 9 0 27439834 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29583/tid=29592] ppid=29581 vsize=867992 CPUtime=0.24
/proc/29583/task/29592/stat : 29592 (java) S 29581 29583 28469 0 -1 64 37 981 0 0 0 0 22 2 15 0 9 0 27439834 888823808 42140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 70.88
Current children cumulated vsize (KiB) 867992
Child status: 0
Real time (s): 71.6956
CPU time (s): 70.9872
CPU user time (s): 70.6503
CPU system time (s): 0.336948
CPU usage (%): 99.0119
Max. virtual memory (cumulated for all children) (KiB): 868176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 70.6503
system time used= 0.336948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66972
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= 2898
involuntary context switches= 2972
runsolver used 0.097985 second user time and 0.243962 second system time
The end
Begin job on node71 at 2009-07-12 15:02:53
IDJOB=2094373
IDBENCH=54157
IDSOLVER=773
FILE ID=node71/2094373-1247403772
PBS_JOBID= 9510505
Free space on /tmp= 66392 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/bddLarge/normalized-bdd-21-2713-15-79-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2094373-1247403772/watcher-2094373-1247403772 -o /tmp/evaluation-result-2094373-1247403772/solver-2094373-1247403772 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2094373-1247403772.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 567babc3f609d0ceb05d45336c5341b7
RANDOM SEED=178668375
node71.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.222
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.222
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: 1732472 kB
Buffers: 37708 kB
Cached: 127872 kB
SwapCached: 0 kB
Active: 193116 kB
Inactive: 75800 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1732472 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2544 kB
Writeback: 0 kB
Mapped: 123800 kB
Slab: 39544 kB
Committed_AS: 1012736 kB
PageTables: 2028 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= 66392 MiB
End job on node71 at 2009-07-12 15:04:04