0.01/0.08
0.01/0.08 Abscon 112 (May, 2008)
0.19/0.23
0.19/0.23 configuration
0.19/0.23 name=mac.xml
0.29/0.31
0.29/0.31 instance
0.29/0.31 name=HOME/instance-1090066-1215270052.xml
0.29/0.34
0.29/0.34 domains being loaded...
0.29/0.35
0.29/0.35 variables being loaded...
0.39/0.47 nbVariables=561 nbDomainTypes=1 minDomainSize=12 maxDomainSize=12 nbTotalValues=6732
0.39/0.47 => wckTime=0.243 cpuTime=0.2 mem=9M870
0.39/0.48
0.39/0.48 predicates being loaded...
0.48/0.59
0.48/0.59 constraints being loaded...
1.27/1.38 nbConstraints=1852 nbGlobalConstraints=224 nbDisconnectedVariables=5 nbConvertedConstraints=1628
1.27/1.38 nbConvertConstraintsChecks=288 nbExtensionStructures=2 nbSharedExtensionStructures=1626 nbConflictsStructures=64
1.27/1.38 nbSharedConflictsStructures=1626 nbSharedBinaryRepresentations=12 minDegree=1 maxDegree=100 minArity=2
1.27/1.38 avgArity=2.04 maxArity=11 nbGenerators=217 nbFusions=63 symmetryWckTime=0.314 symmetryCpuTime=0.12
1.27/1.38 nbCliques=7
1.27/1.38 => wckTime=1.152 cpuTime=0.73 mem=25M539
1.37/1.46
1.37/1.46 solver IterativeSystematicSolver being built...
1.46/1.53
1.46/1.53 INFO : Forward propagation technique limited
1.57/1.62 => wckTime=1.393 cpuTime=0.86 mem=23M962
1.57/1.67
1.57/1.67 preprocessing
1.57/1.67 nbConstraintChecks=1659 nbPropagations=623 nbRevisions=144 nbUselessRevisions=1 nbRemovedValues=194
1.57/1.67 nbRemovedTuples=66 detectedInconsistency=no
1.57/1.67 => wckTime=0.04 cpuTime=0.03 mem=24M896
1.96/2.04
1.96/2.04 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=25M864)
1310.11/1319.50
1310.11/1319.50 search
1310.11/1319.51 run=29 nbConstraintChecks=2489647760 minDepth=0 maxDepth=6 nbPropagations=184987014 nbRevisions=821655011
1310.11/1319.51 nbUselessRevisions=68919611 nbAssignments=4037897 nbFailedAssignments=3389331 nbInferredBacktracks=1247
1310.11/1319.51 nbBacktracks=648412 nbVisitedNodes=7986824 nbRestartNogoods=439 nbSEliminables=0 nbREliminables=299.62
1310.11/1319.51 nbIEliminables=256.95 nbDEliminables=0 nbPEliminables=0
1310.11/1319.51 => wckTime=1317.877 cpuTime=1308.43 mem=25M864
1310.11/1319.51
1310.11/1319.51 global
1310.11/1319.51 nbConstraintChecks=2489649419 nbPropagations=184987637 nbRevisions=821655155 nbUselessRevisions=68919612
1310.11/1319.51 nbRestartNogoods=439 solvingWckTime=1317.879 solvingCpuTime=1308.43 expiredTime=no totalExploration=yes
1310.11/1319.51 nbFoundSolutions=0 globalCpuTime=1309.35
1310.11/1319.51 => wckTime=1319.275 cpuTime=1309.29 mem=25M864
1310.11/1319.51
1310.11/1319.51 s UNSATISFIABLE
1310.11/1319.51 d NODES 4037897
1310.11/1319.51 d CHECKS 2489649419
1310.11/1319.51
1310.11/1319.51 totalWckTime=1319.331 totalCpuTime=1309.36
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1090066-1215270052/watcher-1090066-1215270052 -o /tmp/evaluation-result-1090066-1215270052/solver-1090066-1215270052 -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-1090066-1215270052.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.92 2.01 2.01 4/73 32042
/proc/meminfo: memFree=1588136/2055920 swapFree=4181096/4192956
[pid=32042] ppid=32040 vsize=272 CPUtime=0
/proc/32042/stat : 32042 (java) D 32040 32042 32005 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 164816544 278528 37 996147200 134512640 134550740 4294955968 18446744073709551615 5104420 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/32042/statm: 68 37 28 9 0 6 0
[startup+0.028482 s]
/proc/loadavg: 1.92 2.01 2.01 4/73 32042
/proc/meminfo: memFree=1588136/2055920 swapFree=4181096/4192956
[pid=32042] ppid=32040 vsize=861876 CPUtime=0.01
/proc/32042/stat : 32042 (java) S 32040 32042 32005 0 -1 0 1896 0 1 0 0 1 0 0 18 0 5 0 164816544 882561024 1581 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/32042/statm: 215469 1860 854 9 0 210448 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861876
[startup+0.114324 s]
/proc/loadavg: 1.92 2.01 2.01 4/73 32042
/proc/meminfo: memFree=1588136/2055920 swapFree=4181096/4192956
[pid=32042] ppid=32040 vsize=865884 CPUtime=0.1
/proc/32042/stat : 32042 (java) S 32040 32042 32005 0 -1 0 3957 0 1 0 7 3 0 0 18 0 9 0 164816544 886665216 3397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32042/statm: 216471 3397 1773 9 0 211026 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 865884
[startup+0.30134 s]
/proc/loadavg: 1.92 2.01 2.01 4/73 32042
/proc/meminfo: memFree=1588136/2055920 swapFree=4181096/4192956
[pid=32042] ppid=32040 vsize=866196 CPUtime=0.29
/proc/32042/stat : 32042 (java) S 32040 32042 32005 0 -1 0 5626 0 1 0 24 5 0 0 18 0 9 0 164816544 886984704 5040 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32042/statm: 216549 5040 1903 9 0 211097 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866196
[startup+0.701382 s]
/proc/loadavg: 1.92 2.01 2.01 4/73 32042
/proc/meminfo: memFree=1588136/2055920 swapFree=4181096/4192956
[pid=32042] ppid=32040 vsize=867236 CPUtime=0.68
/proc/32042/stat : 32042 (java) S 32040 32042 32005 0 -1 0 8067 0 1 0 61 7 0 0 18 0 9 0 164816544 888049664 7427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32042/statm: 216809 7427 2010 9 0 211315 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867236
[startup+1.50147 s]
/proc/loadavg: 2.01 2.02 2.02 3/82 32051
/proc/meminfo: memFree=1558880/2055920 swapFree=4181096/4192956
[pid=32042] ppid=32040 vsize=868016 CPUtime=1.46
/proc/32042/stat : 32042 (java) S 32040 32042 32005 0 -1 0 17474 264 1 0 115 17 14 0 18 0 10 0 164816544 888848384 11830 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32042/statm: 217004 11830 2632 9 0 211510 0
[pid=32042/tid=32044] ppid=32040 vsize=868016 CPUtime=1.11
/proc/32042/task/32044/stat : 32044 (java) R 32040 32042 32005 0 -1 64 12082 264 1 0 82 15 14 0 18 0 10 0 164816545 888848384 11830 996147200 134512640 134550740 4294955968 18446744073709551615 102715037 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32045] ppid=32040 vsize=868016 CPUtime=0.2
/proc/32042/task/32045/stat : 32045 (java) S 32040 32042 32005 0 -1 64 3618 264 0 0 6 0 14 0 16 0 10 0 164816547 888848384 11830 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32046] ppid=32040 vsize=868016 CPUtime=0.14
/proc/32042/task/32046/stat : 32046 (java) S 32040 32042 32005 0 -1 64 16 264 0 0 0 0 14 0 16 0 10 0 164816547 888848384 11830 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32047] ppid=32040 vsize=868016 CPUtime=0.14
/proc/32042/task/32047/stat : 32047 (java) S 32040 32042 32005 0 -1 64 12 264 0 0 0 0 14 0 16 0 10 0 164816547 888848384 11830 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32048] ppid=32040 vsize=868016 CPUtime=0.14
/proc/32042/task/32048/stat : 32048 (java) S 32040 32042 32005 0 -1 64 0 264 0 0 0 0 14 0 18 0 10 0 164816549 888848384 11830 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32049] ppid=32040 vsize=868016 CPUtime=0.4
/proc/32042/task/32049/stat : 32049 (java) S 32040 32042 32005 0 -1 64 941 264 0 0 26 0 14 0 16 0 10 0 164816549 888848384 11830 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32050] ppid=32040 vsize=868016 CPUtime=0.14
/proc/32042/task/32050/stat : 32050 (java) S 32040 32042 32005 0 -1 64 2 264 0 0 0 0 14 0 19 0 10 0 164816549 888848384 11830 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32051] ppid=32040 vsize=868016 CPUtime=0.14
/proc/32042/task/32051/stat : 32051 (java) R 32040 32042 32005 0 -1 64 8 264 0 0 0 0 14 0 15 0 10 0 164816549 888848384 11830 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 868016
[startup+3.10163 s]
/proc/loadavg: 2.01 2.02 2.02 3/82 32055
/proc/meminfo: memFree=1549792/2055920 swapFree=4181096/4192956
[pid=32042] ppid=32040 vsize=868140 CPUtime=3.05
/proc/32042/stat : 32042 (java) S 32040 32042 32005 0 -1 0 19787 386 1 0 272 19 14 0 18 0 9 0 164816544 888975360 12113 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32042/statm: 217035 12113 2633 9 0 211541 0
[pid=32042/tid=32044] ppid=32040 vsize=868140 CPUtime=2.59
/proc/32042/task/32044/stat : 32044 (java) R 32040 32042 32005 0 -1 64 14329 386 1 0 229 16 14 0 25 0 9 0 164816545 888975360 12113 996147200 134512640 134550740 4294955968 18446744073709551615 4127173204 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32045] ppid=32040 vsize=868140 CPUtime=0.2
/proc/32042/task/32045/stat : 32045 (java) S 32040 32042 32005 0 -1 64 3619 386 0 0 6 0 14 0 17 0 9 0 164816547 888975360 12113 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32046] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32046/stat : 32046 (java) S 32040 32042 32005 0 -1 64 16 386 0 0 0 0 14 0 16 0 9 0 164816547 888975360 12113 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32047] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32047/stat : 32047 (java) S 32040 32042 32005 0 -1 64 12 386 0 0 0 0 14 0 16 0 9 0 164816547 888975360 12113 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32048] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32048/stat : 32048 (java) S 32040 32042 32005 0 -1 64 0 386 0 0 0 0 14 0 18 0 9 0 164816549 888975360 12113 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32049] ppid=32040 vsize=868140 CPUtime=0.49
/proc/32042/task/32049/stat : 32049 (java) S 32040 32042 32005 0 -1 64 1003 386 0 0 35 0 14 0 15 0 9 0 164816549 888975360 12113 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32050] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32050/stat : 32050 (java) S 32040 32042 32005 0 -1 64 2 386 0 0 0 0 14 0 19 0 9 0 164816549 888975360 12113 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32051] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32051/stat : 32051 (java) S 32040 32042 32005 0 -1 64 8 386 0 0 0 0 14 0 15 0 9 0 164816549 888975360 12113 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 868140
[startup+6.30297 s]
/proc/loadavg: 2.01 2.02 2.02 4/82 32055
/proc/meminfo: memFree=1549472/2055920 swapFree=4181096/4192956
[pid=32042] ppid=32040 vsize=868140 CPUtime=6.22
/proc/32042/stat : 32042 (java) S 32040 32042 32005 0 -1 0 19825 386 1 0 589 19 14 0 18 0 9 0 164816544 888975360 12118 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32042/statm: 217035 12118 2633 9 0 211541 0
[pid=32042/tid=32044] ppid=32040 vsize=868140 CPUtime=5.75
/proc/32042/task/32044/stat : 32044 (java) R 32040 32042 32005 0 -1 64 14333 386 1 0 545 16 14 0 25 0 9 0 164816545 888975360 12118 996147200 134512640 134550740 4294955968 18446744073709551615 4127178931 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32045] ppid=32040 vsize=868140 CPUtime=0.2
/proc/32042/task/32045/stat : 32045 (java) S 32040 32042 32005 0 -1 64 3619 386 0 0 6 0 14 0 16 0 9 0 164816547 888975360 12118 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32046] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32046/stat : 32046 (java) S 32040 32042 32005 0 -1 64 16 386 0 0 0 0 14 0 16 0 9 0 164816547 888975360 12118 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32047] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32047/stat : 32047 (java) S 32040 32042 32005 0 -1 64 12 386 0 0 0 0 14 0 16 0 9 0 164816547 888975360 12118 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32048] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32048/stat : 32048 (java) S 32040 32042 32005 0 -1 64 0 386 0 0 0 0 14 0 18 0 9 0 164816549 888975360 12118 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32049] ppid=32040 vsize=868140 CPUtime=0.5
/proc/32042/task/32049/stat : 32049 (java) S 32040 32042 32005 0 -1 64 1006 386 0 0 36 0 14 0 16 0 9 0 164816549 888975360 12118 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32050] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32050/stat : 32050 (java) S 32040 32042 32005 0 -1 64 2 386 0 0 0 0 14 0 19 0 9 0 164816549 888975360 12118 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32051] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32051/stat : 32051 (java) S 32040 32042 32005 0 -1 64 39 386 0 0 0 0 14 0 15 0 9 0 164816549 888975360 12118 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 868140
[startup+12.7016 s]
/proc/loadavg: 2.01 2.02 2.02 3/82 32061
/proc/meminfo: memFree=1549272/2055920 swapFree=4181096/4192956
[pid=32042] ppid=32040 vsize=868140 CPUtime=12.53
/proc/32042/stat : 32042 (java) S 32040 32042 32005 0 -1 0 19829 386 1 0 1220 19 14 0 18 0 9 0 164816544 888975360 12120 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32042/statm: 217035 12120 2633 9 0 211541 0
[pid=32042/tid=32044] ppid=32040 vsize=868140 CPUtime=12.07
/proc/32042/task/32044/stat : 32044 (java) R 32040 32042 32005 0 -1 64 14337 386 1 0 1177 16 14 0 25 0 9 0 164816545 888975360 12120 996147200 134512640 134550740 4294955968 18446744073709551615 4127194970 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32045] ppid=32040 vsize=868140 CPUtime=0.2
/proc/32042/task/32045/stat : 32045 (java) S 32040 32042 32005 0 -1 64 3619 386 0 0 6 0 14 0 16 0 9 0 164816547 888975360 12120 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32046] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32046/stat : 32046 (java) S 32040 32042 32005 0 -1 64 16 386 0 0 0 0 14 0 16 0 9 0 164816547 888975360 12120 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32047] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32047/stat : 32047 (java) S 32040 32042 32005 0 -1 64 12 386 0 0 0 0 14 0 16 0 9 0 164816547 888975360 12120 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32048] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32048/stat : 32048 (java) S 32040 32042 32005 0 -1 64 0 386 0 0 0 0 14 0 18 0 9 0 164816549 888975360 12120 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32049] ppid=32040 vsize=868140 CPUtime=0.5
/proc/32042/task/32049/stat : 32049 (java) S 32040 32042 32005 0 -1 64 1006 386 0 0 36 0 14 0 16 0 9 0 164816549 888975360 12120 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32050] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32050/stat : 32050 (java) S 32040 32042 32005 0 -1 64 2 386 0 0 0 0 14 0 19 0 9 0 164816549 888975360 12120 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32051] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32051/stat : 32051 (java) S 32040 32042 32005 0 -1 64 39 386 0 0 0 0 14 0 15 0 9 0 164816549 888975360 12120 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 868140
[startup+25.503 s]
/proc/loadavg: 2.00 2.02 2.02 3/82 32061
/proc/meminfo: memFree=1549280/2055920 swapFree=4181096/4192956
[pid=32042] ppid=32040 vsize=868140 CPUtime=25.22
/proc/32042/stat : 32042 (java) S 32040 32042 32005 0 -1 0 19836 386 1 0 2489 19 14 0 18 0 9 0 164816544 888975360 12124 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32042/statm: 217035 12124 2633 9 0 211541 0
[pid=32042/tid=32044] ppid=32040 vsize=868140 CPUtime=24.75
/proc/32042/task/32044/stat : 32044 (java) R 32040 32042 32005 0 -1 64 14342 386 1 0 2445 16 14 0 25 0 9 0 164816545 888975360 12124 996147200 134512640 134550740 4294955968 18446744073709551615 4127174071 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32045] ppid=32040 vsize=868140 CPUtime=0.2
/proc/32042/task/32045/stat : 32045 (java) S 32040 32042 32005 0 -1 64 3619 386 0 0 6 0 14 0 17 0 9 0 164816547 888975360 12124 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32046] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32046/stat : 32046 (java) S 32040 32042 32005 0 -1 64 16 386 0 0 0 0 14 0 16 0 9 0 164816547 888975360 12124 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32047] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32047/stat : 32047 (java) S 32040 32042 32005 0 -1 64 12 386 0 0 0 0 14 0 16 0 9 0 164816547 888975360 12124 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32048] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32048/stat : 32048 (java) S 32040 32042 32005 0 -1 64 0 386 0 0 0 0 14 0 18 0 9 0 164816549 888975360 12124 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32049] ppid=32040 vsize=868140 CPUtime=0.5
/proc/32042/task/32049/stat : 32049 (java) S 32040 32042 32005 0 -1 64 1008 386 0 0 36 0 14 0 16 0 9 0 164816549 888975360 12124 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32050] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32050/stat : 32050 (java) S 32040 32042 32005 0 -1 64 2 386 0 0 0 0 14 0 19 0 9 0 164816549 888975360 12124 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32051] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32051/stat : 32051 (java) S 32040 32042 32005 0 -1 64 39 386 0 0 0 0 14 0 15 0 9 0 164816549 888975360 12124 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) 868140
[startup+51.1065 s]
/proc/loadavg: 2.00 2.02 2.01 3/82 32061
/proc/meminfo: memFree=1549344/2055920 swapFree=4181096/4192956
[pid=32042] ppid=32040 vsize=868140 CPUtime=50.57
/proc/32042/stat : 32042 (java) S 32040 32042 32005 0 -1 0 19840 386 1 0 5024 19 14 0 18 0 9 0 164816544 888975360 12126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32042/statm: 217035 12126 2633 9 0 211541 0
[pid=32042/tid=32044] ppid=32040 vsize=868140 CPUtime=50.11
/proc/32042/task/32044/stat : 32044 (java) R 32040 32042 32005 0 -1 64 14346 386 1 0 4980 17 14 0 25 0 9 0 164816545 888975360 12126 996147200 134512640 134550740 4294955968 18446744073709551615 4127177508 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32045] ppid=32040 vsize=868140 CPUtime=0.2
/proc/32042/task/32045/stat : 32045 (java) S 32040 32042 32005 0 -1 64 3619 386 0 0 6 0 14 0 16 0 9 0 164816547 888975360 12126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32046] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32046/stat : 32046 (java) S 32040 32042 32005 0 -1 64 16 386 0 0 0 0 14 0 16 0 9 0 164816547 888975360 12126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32047] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32047/stat : 32047 (java) S 32040 32042 32005 0 -1 64 12 386 0 0 0 0 14 0 16 0 9 0 164816547 888975360 12126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32048] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32048/stat : 32048 (java) S 32040 32042 32005 0 -1 64 0 386 0 0 0 0 14 0 18 0 9 0 164816549 888975360 12126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32049] ppid=32040 vsize=868140 CPUtime=0.5
/proc/32042/task/32049/stat : 32049 (java) S 32040 32042 32005 0 -1 64 1008 386 0 0 36 0 14 0 16 0 9 0 164816549 888975360 12126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32050] ppid=32040 vsize=868140 CPUtime=0.14
################
# More data... #
################
/proc/32042/stat : 32042 (java) S 32040 32042 32005 0 -1 0 19856 386 1 0 129574 23 14 0 18 0 9 0 164816544 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32042/statm: 217035 12137 2633 9 0 211541 0
[pid=32042/tid=32044] ppid=32040 vsize=868140 CPUtime=1295.64
/proc/32042/task/32044/stat : 32044 (java) R 32040 32042 32005 0 -1 64 14356 386 1 0 129530 20 14 0 25 0 9 0 164816545 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4127225644 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32042/tid=32045] ppid=32040 vsize=868140 CPUtime=0.2
/proc/32042/task/32045/stat : 32045 (java) S 32040 32042 32005 0 -1 64 3619 386 0 0 6 0 14 0 16 0 9 0 164816547 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32046] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32046/stat : 32046 (java) S 32040 32042 32005 0 -1 64 16 386 0 0 0 0 14 0 16 0 9 0 164816547 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32047] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32047/stat : 32047 (java) S 32040 32042 32005 0 -1 64 12 386 0 0 0 0 14 0 16 0 9 0 164816547 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32048] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32048/stat : 32048 (java) S 32040 32042 32005 0 -1 64 0 386 0 0 0 0 14 0 18 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32049] ppid=32040 vsize=868140 CPUtime=0.51
/proc/32042/task/32049/stat : 32049 (java) S 32040 32042 32005 0 -1 64 1014 386 0 0 37 0 14 0 16 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32050] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32050/stat : 32050 (java) S 32040 32042 32005 0 -1 64 2 386 0 0 0 0 14 0 19 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32051] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32051/stat : 32051 (java) S 32040 32042 32005 0 -1 64 39 386 0 0 0 0 14 0 15 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1296.11
Current children cumulated vsize (KiB) 868140
[startup+1311.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 32113
/proc/meminfo: memFree=1366176/2055920 swapFree=4181096/4192956
[pid=32042] ppid=32040 vsize=868140 CPUtime=1302.51
/proc/32042/stat : 32042 (java) S 32040 32042 32005 0 -1 0 19856 386 1 0 130214 23 14 0 18 0 9 0 164816544 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32042/statm: 217035 12137 2633 9 0 211541 0
[pid=32042/tid=32044] ppid=32040 vsize=868140 CPUtime=1302.04
/proc/32042/task/32044/stat : 32044 (java) R 32040 32042 32005 0 -1 64 14356 386 1 0 130170 20 14 0 25 0 9 0 164816545 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4127201427 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32042/tid=32045] ppid=32040 vsize=868140 CPUtime=0.2
/proc/32042/task/32045/stat : 32045 (java) S 32040 32042 32005 0 -1 64 3619 386 0 0 6 0 14 0 16 0 9 0 164816547 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32046] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32046/stat : 32046 (java) S 32040 32042 32005 0 -1 64 16 386 0 0 0 0 14 0 16 0 9 0 164816547 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32047] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32047/stat : 32047 (java) S 32040 32042 32005 0 -1 64 12 386 0 0 0 0 14 0 16 0 9 0 164816547 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32048] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32048/stat : 32048 (java) S 32040 32042 32005 0 -1 64 0 386 0 0 0 0 14 0 18 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32049] ppid=32040 vsize=868140 CPUtime=0.51
/proc/32042/task/32049/stat : 32049 (java) S 32040 32042 32005 0 -1 64 1014 386 0 0 37 0 14 0 16 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32050] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32050/stat : 32050 (java) S 32040 32042 32005 0 -1 64 2 386 0 0 0 0 14 0 19 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32051] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32051/stat : 32051 (java) S 32040 32042 32005 0 -1 64 39 386 0 0 0 0 14 0 15 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1302.51
Current children cumulated vsize (KiB) 868140
[startup+1315.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 32113
/proc/meminfo: memFree=1366176/2055920 swapFree=4181096/4192956
[pid=32042] ppid=32040 vsize=868140 CPUtime=1305.71
/proc/32042/stat : 32042 (java) S 32040 32042 32005 0 -1 0 19856 386 1 0 130534 23 14 0 18 0 9 0 164816544 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32042/statm: 217035 12137 2633 9 0 211541 0
[pid=32042/tid=32044] ppid=32040 vsize=868140 CPUtime=1305.24
/proc/32042/task/32044/stat : 32044 (java) R 32040 32042 32005 0 -1 64 14356 386 1 0 130490 20 14 0 25 0 9 0 164816545 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4127171227 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32042/tid=32045] ppid=32040 vsize=868140 CPUtime=0.2
/proc/32042/task/32045/stat : 32045 (java) S 32040 32042 32005 0 -1 64 3619 386 0 0 6 0 14 0 16 0 9 0 164816547 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32046] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32046/stat : 32046 (java) S 32040 32042 32005 0 -1 64 16 386 0 0 0 0 14 0 16 0 9 0 164816547 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32047] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32047/stat : 32047 (java) S 32040 32042 32005 0 -1 64 12 386 0 0 0 0 14 0 16 0 9 0 164816547 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32048] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32048/stat : 32048 (java) S 32040 32042 32005 0 -1 64 0 386 0 0 0 0 14 0 18 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32049] ppid=32040 vsize=868140 CPUtime=0.51
/proc/32042/task/32049/stat : 32049 (java) S 32040 32042 32005 0 -1 64 1014 386 0 0 37 0 14 0 16 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32050] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32050/stat : 32050 (java) S 32040 32042 32005 0 -1 64 2 386 0 0 0 0 14 0 19 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32051] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32051/stat : 32051 (java) S 32040 32042 32005 0 -1 64 39 386 0 0 0 0 14 0 15 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1305.71
Current children cumulated vsize (KiB) 868140
[startup+1316.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 32113
/proc/meminfo: memFree=1366176/2055920 swapFree=4181096/4192956
[pid=32042] ppid=32040 vsize=868140 CPUtime=1307.31
/proc/32042/stat : 32042 (java) S 32040 32042 32005 0 -1 0 19856 386 1 0 130694 23 14 0 18 0 9 0 164816544 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32042/statm: 217035 12137 2633 9 0 211541 0
[pid=32042/tid=32044] ppid=32040 vsize=868140 CPUtime=1306.84
/proc/32042/task/32044/stat : 32044 (java) R 32040 32042 32005 0 -1 64 14356 386 1 0 130650 20 14 0 25 0 9 0 164816545 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4127186440 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32042/tid=32045] ppid=32040 vsize=868140 CPUtime=0.2
/proc/32042/task/32045/stat : 32045 (java) S 32040 32042 32005 0 -1 64 3619 386 0 0 6 0 14 0 16 0 9 0 164816547 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32046] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32046/stat : 32046 (java) S 32040 32042 32005 0 -1 64 16 386 0 0 0 0 14 0 16 0 9 0 164816547 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32047] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32047/stat : 32047 (java) S 32040 32042 32005 0 -1 64 12 386 0 0 0 0 14 0 16 0 9 0 164816547 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32048] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32048/stat : 32048 (java) S 32040 32042 32005 0 -1 64 0 386 0 0 0 0 14 0 18 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32049] ppid=32040 vsize=868140 CPUtime=0.51
/proc/32042/task/32049/stat : 32049 (java) S 32040 32042 32005 0 -1 64 1014 386 0 0 37 0 14 0 16 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32050] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32050/stat : 32050 (java) S 32040 32042 32005 0 -1 64 2 386 0 0 0 0 14 0 19 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32051] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32051/stat : 32051 (java) S 32040 32042 32005 0 -1 64 39 386 0 0 0 0 14 0 15 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1307.31
Current children cumulated vsize (KiB) 868140
[startup+1318.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 32113
/proc/meminfo: memFree=1366176/2055920 swapFree=4181096/4192956
[pid=32042] ppid=32040 vsize=868140 CPUtime=1308.91
/proc/32042/stat : 32042 (java) S 32040 32042 32005 0 -1 0 19856 386 1 0 130854 23 14 0 18 0 9 0 164816544 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32042/statm: 217035 12137 2633 9 0 211541 0
[pid=32042/tid=32044] ppid=32040 vsize=868140 CPUtime=1308.43
/proc/32042/task/32044/stat : 32044 (java) R 32040 32042 32005 0 -1 64 14356 386 1 0 130809 20 14 0 25 0 9 0 164816545 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4127201427 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32042/tid=32045] ppid=32040 vsize=868140 CPUtime=0.2
/proc/32042/task/32045/stat : 32045 (java) S 32040 32042 32005 0 -1 64 3619 386 0 0 6 0 14 0 16 0 9 0 164816547 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32046] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32046/stat : 32046 (java) S 32040 32042 32005 0 -1 64 16 386 0 0 0 0 14 0 16 0 9 0 164816547 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32047] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32047/stat : 32047 (java) S 32040 32042 32005 0 -1 64 12 386 0 0 0 0 14 0 16 0 9 0 164816547 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32048] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32048/stat : 32048 (java) S 32040 32042 32005 0 -1 64 0 386 0 0 0 0 14 0 18 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32049] ppid=32040 vsize=868140 CPUtime=0.51
/proc/32042/task/32049/stat : 32049 (java) S 32040 32042 32005 0 -1 64 1014 386 0 0 37 0 14 0 16 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32050] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32050/stat : 32050 (java) S 32040 32042 32005 0 -1 64 2 386 0 0 0 0 14 0 19 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32051] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32051/stat : 32051 (java) S 32040 32042 32005 0 -1 64 39 386 0 0 0 0 14 0 15 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1308.91
Current children cumulated vsize (KiB) 868140
[startup+1319.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 32113
/proc/meminfo: memFree=1366112/2055920 swapFree=4181096/4192956
[pid=32042] ppid=32040 vsize=868140 CPUtime=1309.71
/proc/32042/stat : 32042 (java) S 32040 32042 32005 0 -1 0 19856 386 1 0 130934 23 14 0 18 0 9 0 164816544 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32042/statm: 217035 12137 2633 9 0 211541 0
[pid=32042/tid=32044] ppid=32040 vsize=868140 CPUtime=1309.23
/proc/32042/task/32044/stat : 32044 (java) R 32040 32042 32005 0 -1 64 14356 386 1 0 130889 20 14 0 25 0 9 0 164816545 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4126375703 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32042/tid=32045] ppid=32040 vsize=868140 CPUtime=0.2
/proc/32042/task/32045/stat : 32045 (java) S 32040 32042 32005 0 -1 64 3619 386 0 0 6 0 14 0 16 0 9 0 164816547 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32046] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32046/stat : 32046 (java) S 32040 32042 32005 0 -1 64 16 386 0 0 0 0 14 0 16 0 9 0 164816547 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32047] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32047/stat : 32047 (java) S 32040 32042 32005 0 -1 64 12 386 0 0 0 0 14 0 16 0 9 0 164816547 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32048] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32048/stat : 32048 (java) S 32040 32042 32005 0 -1 64 0 386 0 0 0 0 14 0 18 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32049] ppid=32040 vsize=868140 CPUtime=0.51
/proc/32042/task/32049/stat : 32049 (java) S 32040 32042 32005 0 -1 64 1014 386 0 0 37 0 14 0 16 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32050] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32050/stat : 32050 (java) S 32040 32042 32005 0 -1 64 2 386 0 0 0 0 14 0 19 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32051] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32051/stat : 32051 (java) S 32040 32042 32005 0 -1 64 39 386 0 0 0 0 14 0 15 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1309.71
Current children cumulated vsize (KiB) 868140
[startup+1319.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 32113
/proc/meminfo: memFree=1366112/2055920 swapFree=4181096/4192956
[pid=32042] ppid=32040 vsize=868140 CPUtime=1310.11
/proc/32042/stat : 32042 (java) S 32040 32042 32005 0 -1 0 19856 386 1 0 130974 23 14 0 18 0 9 0 164816544 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32042/statm: 217035 12137 2633 9 0 211541 0
[pid=32042/tid=32044] ppid=32040 vsize=868140 CPUtime=1309.63
/proc/32042/task/32044/stat : 32044 (java) R 32040 32042 32005 0 -1 64 14356 386 1 0 130929 20 14 0 25 0 9 0 164816545 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4127204866 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32042/tid=32045] ppid=32040 vsize=868140 CPUtime=0.2
/proc/32042/task/32045/stat : 32045 (java) S 32040 32042 32005 0 -1 64 3619 386 0 0 6 0 14 0 16 0 9 0 164816547 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32046] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32046/stat : 32046 (java) S 32040 32042 32005 0 -1 64 16 386 0 0 0 0 14 0 16 0 9 0 164816547 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32047] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32047/stat : 32047 (java) S 32040 32042 32005 0 -1 64 12 386 0 0 0 0 14 0 16 0 9 0 164816547 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32048] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32048/stat : 32048 (java) S 32040 32042 32005 0 -1 64 0 386 0 0 0 0 14 0 18 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32049] ppid=32040 vsize=868140 CPUtime=0.51
/proc/32042/task/32049/stat : 32049 (java) S 32040 32042 32005 0 -1 64 1014 386 0 0 37 0 14 0 16 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32050] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32050/stat : 32050 (java) S 32040 32042 32005 0 -1 64 2 386 0 0 0 0 14 0 19 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32042/tid=32051] ppid=32040 vsize=868140 CPUtime=0.14
/proc/32042/task/32051/stat : 32051 (java) S 32040 32042 32005 0 -1 64 39 386 0 0 0 0 14 0 15 0 9 0 164816549 888975360 12137 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1310.11
Current children cumulated vsize (KiB) 868140
Child status: 0
Real time (s): 1319.54
CPU time (s): 1310.15
CPU user time (s): 1309.89
CPU system time (s): 0.251961
CPU usage (%): 99.288
Max. virtual memory (cumulated for all children) (KiB): 868140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1309.89
system time used= 0.251961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20321
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= 28161
involuntary context switches= 41956
runsolver used 1.92871 second user time and 4.91025 second system time
The end
Begin job on node46 at 2008-07-05 17:00:52
IDJOB=1090066
IDBENCH=58391
IDSOLVER=363
FILE ID=node46/1090066-1215270052
PBS_JOBID= 7882241
Free space on /tmp= 66180 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/graphColoring/sgb/book/normalized-homer-12.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-1090066-1215270052/watcher-1090066-1215270052 -o /tmp/evaluation-result-1090066-1215270052/solver-1090066-1215270052 -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-1090066-1215270052.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 123e2cd4075a239e85b27a34c046082e
RANDOM SEED=705770555
node46.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.238
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.238
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: 1588616 kB
Buffers: 77156 kB
Cached: 315560 kB
SwapCached: 6172 kB
Active: 262956 kB
Inactive: 147272 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1588616 kB
SwapTotal: 4192956 kB
SwapFree: 4181096 kB
Dirty: 2456 kB
Writeback: 0 kB
Mapped: 25364 kB
Slab: 42784 kB
Committed_AS: 442936 kB
PageTables: 1584 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264992 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66204 MiB
End job on node46 at 2008-07-05 17:22:51