0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=esac.xml
0.18/0.27
0.18/0.27 instance
0.18/0.27 name=HOME/instance-1085006-1215232519.xml
0.28/0.31
0.28/0.31 domains being loaded...
0.28/0.31
0.28/0.32 variables being loaded...
0.28/0.34 nbVariables=20 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5 nbTotalValues=100
0.28/0.34 => wckTime=0.098 cpuTime=0.09 mem=7M919
0.28/0.34
0.28/0.34 relations being loaded...
2.97/3.02
2.97/3.02 INFO : Contraction of relations, mem = 108M606
4.66/4.75
4.66/4.75 constraints being loaded...
7.35/7.42 nbConstraints=18 nbRelationTypes=18 nbGlobalConstraints=18 nbExtensionStructures=18
7.35/7.42 nbSharedExtensionStructures=0 nbConflictsStructures=18 nbSharedConflictsStructures=0
7.35/7.42 nbSharedBinaryRepresentations=0 minDegree=4 maxDegree=11 minArity=8 maxArity=8 nbGenerators=0 nbFusions=0
7.35/7.42 symmetryWckTime=0.078 symmetryCpuTime=0.02
7.35/7.42 => wckTime=7.176 cpuTime=5.88 mem=183M702
8.23/8.37
8.23/8.37 solver IterativeSystematicSolver being built...
8.33/8.43
8.33/8.43 INFO : Forward propagation technique limited
8.44/8.50 => wckTime=8.257 cpuTime=6.01 mem=179M867
8.83/8.91
8.83/8.91 preprocessing
8.83/8.91 nbConstraintChecks=0 nbValidityChecks=4992745 nbPropagations=65 nbRevisions=0 nbUselessRevisions=0
8.83/8.91 nbSingletonTests=24 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
8.83/8.91 detectedInconsistency=no
8.83/8.91 => wckTime=0.41 cpuTime=0.38 mem=180M739
9.62/9.79
9.62/9.79 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=181M637)
318.06/319.89
318.06/319.89 search
318.06/319.89 run=21 nbConstraintChecks=1120337 nbValidityChecks=2703997168 minDepth=3 maxDepth=20 nbPropagations=4689541
318.06/319.89 nbRevisions=0 nbUselessRevisions=0 nbAssignments=224438 nbFailedAssignments=119179 nbBacktracks=105061
318.06/319.89 nbVisitedNodes=412626 nbRestartNogoods=163 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=7.92
318.06/319.89 nbIEliminables=2.73 nbDEliminables=0 nbPEliminables=0
318.06/319.89 => wckTime=311.385 cpuTime=309.61 mem=186M829
318.06/319.89
318.06/319.89 global
318.06/319.89 nbConstraintChecks=1120337 nbValidityChecks=2708989913 nbPropagations=4689606 nbRestartNogoods=163
318.06/319.89 solvingWckTime=311.388 solvingCpuTime=309.61 expiredTime=no totalExploration=no nbFoundSolutions=1
318.06/319.89 firstSolutionCpuTime=315.62 globalCpuTime=315.66
318.06/319.89 => wckTime=319.647 cpuTime=315.62 mem=186M829
318.06/319.89
318.06/319.89 s SATISFIABLE
318.06/319.89 v 4 0 3 4 4 2 2 0 3 4 2 4 1 2 0 0 2 0 0 4
318.06/319.89 d NODES 224438
318.06/319.89 d CHECKS 1120337
318.06/319.89
318.06/319.89 totalWckTime=319.711 totalCpuTime=315.66
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085006-1215232519/watcher-1085006-1215232519 -o /tmp/evaluation-result-1085006-1215232519/solver-1085006-1215232519 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1085006-1215232519.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 4/72 7553
/proc/meminfo: memFree=1672696/2055920 swapFree=4121416/4192956
[pid=7553] ppid=7551 vsize=1616 CPUtime=0
/proc/7553/stat : 7553 (java) D 7551 7553 6099 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 1552926101 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/7553/statm: 404 145 119 9 0 46 0
[startup+0.0993139 s]
/proc/loadavg: 2.02 2.01 2.00 4/72 7553
/proc/meminfo: memFree=1672696/2055920 swapFree=4121416/4192956
[pid=7553] ppid=7551 vsize=865884 CPUtime=0.08
/proc/7553/stat : 7553 (java) S 7551 7553 6099 0 -1 0 3700 0 1 0 6 2 0 0 18 0 9 0 1552926101 886665216 3174 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7553/statm: 216471 3174 1685 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.101312 s]
/proc/loadavg: 2.02 2.01 2.00 4/72 7553
/proc/meminfo: memFree=1672696/2055920 swapFree=4121416/4192956
[pid=7553] ppid=7551 vsize=865884 CPUtime=0.09
/proc/7553/stat : 7553 (java) S 7551 7553 6099 0 -1 0 3727 0 1 0 7 2 0 0 18 0 9 0 1552926101 886665216 3193 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7553/statm: 216471 3194 1692 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.301347 s]
/proc/loadavg: 2.02 2.01 2.00 4/72 7553
/proc/meminfo: memFree=1672696/2055920 swapFree=4121416/4192956
[pid=7553] ppid=7551 vsize=866284 CPUtime=0.28
/proc/7553/stat : 7553 (java) S 7551 7553 6099 0 -1 0 6000 0 1 0 24 4 0 0 18 0 9 0 1552926101 887074816 5374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7553/statm: 216571 5374 1956 9 0 211099 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866284
[startup+0.701417 s]
/proc/loadavg: 2.02 2.01 2.00 4/72 7553
/proc/meminfo: memFree=1672696/2055920 swapFree=4121416/4192956
[pid=7553] ppid=7551 vsize=866400 CPUtime=0.68
/proc/7553/stat : 7553 (java) S 7551 7553 6099 0 -1 0 20384 0 1 0 58 10 0 0 18 0 9 0 1552926101 887193600 19753 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7553/statm: 216600 19753 1981 9 0 211128 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866400
[startup+1.50256 s]
/proc/loadavg: 2.02 2.01 2.00 3/81 7562
/proc/meminfo: memFree=1601328/2055920 swapFree=4121416/4192956
[pid=7553] ppid=7551 vsize=866400 CPUtime=1.47
/proc/7553/stat : 7553 (java) S 7551 7553 6099 0 -1 0 25244 0 1 0 134 13 0 0 18 0 9 0 1552926101 887193600 24611 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7553/statm: 216600 24611 1981 9 0 211128 0
[pid=7553/tid=7555] ppid=7551 vsize=866400 CPUtime=1.27
/proc/7553/task/7555/stat : 7555 (java) R 7551 7553 6099 0 -1 64 15657 0 1 0 119 8 0 0 25 0 9 0 1552926102 887193600 24611 996147200 134512640 134550740 4294955968 18446744073709551615 4126561931 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7556] ppid=7551 vsize=866400 CPUtime=0.11
/proc/7553/task/7556/stat : 7556 (java) S 7551 7553 6099 0 -1 64 8575 0 0 0 8 3 0 0 16 0 9 0 1552926103 887193600 24611 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7557] ppid=7551 vsize=866400 CPUtime=0
/proc/7553/task/7557/stat : 7557 (java) S 7551 7553 6099 0 -1 64 9 0 0 0 0 0 0 0 21 0 9 0 1552926103 887193600 24611 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7558] ppid=7551 vsize=866400 CPUtime=0
/proc/7553/task/7558/stat : 7558 (java) S 7551 7553 6099 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 1552926103 887193600 24611 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7559] ppid=7551 vsize=866400 CPUtime=0
/proc/7553/task/7559/stat : 7559 (java) S 7551 7553 6099 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 1552926105 887193600 24611 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7560] ppid=7551 vsize=866400 CPUtime=0.06
/proc/7553/task/7560/stat : 7560 (java) S 7551 7553 6099 0 -1 64 319 0 0 0 6 0 0 0 16 0 9 0 1552926105 887193600 24611 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7561] ppid=7551 vsize=866400 CPUtime=0
/proc/7553/task/7561/stat : 7561 (java) S 7551 7553 6099 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 1552926105 887193600 24611 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7562] ppid=7551 vsize=866400 CPUtime=0
/proc/7553/task/7562/stat : 7562 (java) S 7551 7553 6099 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1552926105 887193600 24611 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 866400
[startup+3.10184 s]
/proc/loadavg: 2.02 2.01 2.00 3/81 7562
/proc/meminfo: memFree=1568240/2055920 swapFree=4121416/4192956
[pid=7553] ppid=7551 vsize=866984 CPUtime=3.07
/proc/7553/stat : 7553 (java) S 7551 7553 6099 0 -1 0 34473 0 1 0 289 18 0 0 18 0 9 0 1552926101 887791616 33834 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7553/statm: 216746 33834 1982 9 0 211274 0
[pid=7553/tid=7555] ppid=7551 vsize=866984 CPUtime=2.65
/proc/7553/task/7555/stat : 7555 (java) R 7551 7553 6099 0 -1 64 15668 0 1 0 256 9 0 0 25 0 9 0 1552926102 887791616 33834 996147200 134512640 134550740 4294955968 18446744073709551615 4126633211 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7556] ppid=7551 vsize=866984 CPUtime=0.31
/proc/7553/task/7556/stat : 7556 (java) S 7551 7553 6099 0 -1 64 17665 0 0 0 24 7 0 0 16 0 9 0 1552926103 887791616 33834 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7557] ppid=7551 vsize=866984 CPUtime=0
/proc/7553/task/7557/stat : 7557 (java) S 7551 7553 6099 0 -1 64 9 0 0 0 0 0 0 0 21 0 9 0 1552926103 887791616 33834 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7558] ppid=7551 vsize=866984 CPUtime=0
/proc/7553/task/7558/stat : 7558 (java) S 7551 7553 6099 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 1552926103 887791616 33834 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7559] ppid=7551 vsize=866984 CPUtime=0
/proc/7553/task/7559/stat : 7559 (java) S 7551 7553 6099 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 1552926105 887791616 33834 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7560] ppid=7551 vsize=866984 CPUtime=0.08
/proc/7553/task/7560/stat : 7560 (java) S 7551 7553 6099 0 -1 64 447 0 0 0 8 0 0 0 16 0 9 0 1552926105 887791616 33834 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7561] ppid=7551 vsize=866984 CPUtime=0
/proc/7553/task/7561/stat : 7561 (java) S 7551 7553 6099 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 1552926105 887791616 33834 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7562] ppid=7551 vsize=866984 CPUtime=0
/proc/7553/task/7562/stat : 7562 (java) S 7551 7553 6099 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1552926105 887791616 33834 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 866984
[startup+6.30239 s]
/proc/loadavg: 2.02 2.01 2.00 3/81 7562
/proc/meminfo: memFree=1510704/2055920 swapFree=4121416/4192956
[pid=7553] ppid=7551 vsize=867052 CPUtime=6.27
/proc/7553/stat : 7553 (java) S 7551 7553 6099 0 -1 0 52011 0 1 0 601 26 0 0 18 0 9 0 1552926101 887861248 49213 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7553/statm: 216763 49213 2608 9 0 211291 0
[pid=7553/tid=7555] ppid=7551 vsize=867052 CPUtime=5.1
/proc/7553/task/7555/stat : 7555 (java) R 7551 7553 6099 0 -1 64 15713 0 1 0 499 11 0 0 25 0 9 0 1552926102 887861248 49213 996147200 134512640 134550740 4294955968 18446744073709551615 4126704996 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7556] ppid=7551 vsize=867052 CPUtime=1.02
/proc/7553/task/7556/stat : 7556 (java) S 7551 7553 6099 0 -1 64 35133 0 0 0 89 13 0 0 17 0 9 0 1552926103 887861248 49213 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7557] ppid=7551 vsize=867052 CPUtime=0
/proc/7553/task/7557/stat : 7557 (java) S 7551 7553 6099 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1552926103 887861248 49213 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7558] ppid=7551 vsize=867052 CPUtime=0
/proc/7553/task/7558/stat : 7558 (java) S 7551 7553 6099 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1552926103 887861248 49213 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7559] ppid=7551 vsize=867052 CPUtime=0
/proc/7553/task/7559/stat : 7559 (java) S 7551 7553 6099 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 1552926105 887861248 49213 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7560] ppid=7551 vsize=867052 CPUtime=0.11
/proc/7553/task/7560/stat : 7560 (java) S 7551 7553 6099 0 -1 64 469 0 0 0 11 0 0 0 16 0 9 0 1552926105 887861248 49213 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7561] ppid=7551 vsize=867052 CPUtime=0
/proc/7553/task/7561/stat : 7561 (java) S 7551 7553 6099 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 1552926105 887861248 49213 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7562] ppid=7551 vsize=867052 CPUtime=0
/proc/7553/task/7562/stat : 7562 (java) S 7551 7553 6099 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1552926105 887861248 49213 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 867052
[startup+12.7015 s]
/proc/loadavg: 2.01 2.01 2.00 3/81 7566
/proc/meminfo: memFree=1443304/2055920 swapFree=4121416/4192956
[pid=7553] ppid=7551 vsize=867788 CPUtime=12.6
/proc/7553/stat : 7553 (java) S 7551 7553 6099 0 -1 0 107634 270 1 0 1217 41 0 2 18 0 9 0 1552926101 888614912 59806 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7553/statm: 216947 59806 2635 9 0 211453 0
[pid=7553/tid=7555] ppid=7551 vsize=867788 CPUtime=10.27
/proc/7553/task/7555/stat : 7555 (java) R 7551 7553 6099 0 -1 64 19221 270 1 0 1013 12 0 2 25 0 9 0 1552926102 888614912 59806 996147200 134512640 134550740 4294955968 18446744073709551615 4125952166 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7556] ppid=7551 vsize=867788 CPUtime=2.05
/proc/7553/task/7556/stat : 7556 (java) S 7551 7553 6099 0 -1 64 86894 270 0 0 179 24 0 2 17 0 9 0 1552926103 888614912 59806 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7557] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7557/stat : 7557 (java) S 7551 7553 6099 0 -1 64 14 270 0 0 0 0 0 2 16 0 9 0 1552926103 888614912 59806 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7558] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7558/stat : 7558 (java) S 7551 7553 6099 0 -1 64 11 270 0 0 0 0 0 2 16 0 9 0 1552926103 888614912 59806 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7559] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7559/stat : 7559 (java) S 7551 7553 6099 0 -1 64 1 270 0 0 0 0 0 2 23 0 9 0 1552926105 888614912 59806 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7560] ppid=7551 vsize=867788 CPUtime=0.25
/proc/7553/task/7560/stat : 7560 (java) S 7551 7553 6099 0 -1 64 676 270 0 0 23 0 0 2 15 0 9 0 1552926105 888614912 59806 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7561] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7561/stat : 7561 (java) S 7551 7553 6099 0 -1 64 2 270 0 0 0 0 0 2 24 0 9 0 1552926105 888614912 59806 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7562] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7562/stat : 7562 (java) S 7551 7553 6099 0 -1 64 9 270 0 0 0 0 0 2 15 0 9 0 1552926105 888614912 59806 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 867788
[startup+25.5027 s]
/proc/loadavg: 2.01 2.01 2.00 3/81 7566
/proc/meminfo: memFree=1443304/2055920 swapFree=4121416/4192956
[pid=7553] ppid=7551 vsize=867788 CPUtime=25.29
/proc/7553/stat : 7553 (java) S 7551 7553 6099 0 -1 0 107703 270 1 0 2486 41 0 2 18 0 9 0 1552926101 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7553/statm: 216947 59811 2635 9 0 211453 0
[pid=7553/tid=7555] ppid=7551 vsize=867788 CPUtime=22.95
/proc/7553/task/7555/stat : 7555 (java) R 7551 7553 6099 0 -1 64 19283 270 1 0 2281 12 0 2 25 0 9 0 1552926102 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4126820274 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7556] ppid=7551 vsize=867788 CPUtime=2.05
/proc/7553/task/7556/stat : 7556 (java) S 7551 7553 6099 0 -1 64 86894 270 0 0 179 24 0 2 16 0 9 0 1552926103 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7557] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7557/stat : 7557 (java) S 7551 7553 6099 0 -1 64 14 270 0 0 0 0 0 2 16 0 9 0 1552926103 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7558] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7558/stat : 7558 (java) S 7551 7553 6099 0 -1 64 11 270 0 0 0 0 0 2 16 0 9 0 1552926103 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7559] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7559/stat : 7559 (java) S 7551 7553 6099 0 -1 64 1 270 0 0 0 0 0 2 23 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7560] ppid=7551 vsize=867788 CPUtime=0.26
/proc/7553/task/7560/stat : 7560 (java) S 7551 7553 6099 0 -1 64 683 270 0 0 24 0 0 2 16 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7561] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7561/stat : 7561 (java) S 7551 7553 6099 0 -1 64 2 270 0 0 0 0 0 2 24 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7562] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7562/stat : 7562 (java) S 7551 7553 6099 0 -1 64 9 270 0 0 0 0 0 2 15 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 867788
[startup+51.1022 s]
/proc/loadavg: 2.01 2.00 2.00 3/81 7566
/proc/meminfo: memFree=1443368/2055920 swapFree=4121416/4192956
[pid=7553] ppid=7551 vsize=867788 CPUtime=50.66
/proc/7553/stat : 7553 (java) S 7551 7553 6099 0 -1 0 107821 270 1 0 5023 41 0 2 18 0 9 0 1552926101 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7553/statm: 216947 59811 2635 9 0 211453 0
[pid=7553/tid=7555] ppid=7551 vsize=867788 CPUtime=48.33
/proc/7553/task/7555/stat : 7555 (java) R 7551 7553 6099 0 -1 64 19401 270 1 0 4818 13 0 2 25 0 9 0 1552926102 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4126820069 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7556] ppid=7551 vsize=867788 CPUtime=2.05
/proc/7553/task/7556/stat : 7556 (java) S 7551 7553 6099 0 -1 64 86894 270 0 0 179 24 0 2 16 0 9 0 1552926103 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7557] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7557/stat : 7557 (java) S 7551 7553 6099 0 -1 64 14 270 0 0 0 0 0 2 16 0 9 0 1552926103 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7558] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7558/stat : 7558 (java) S 7551 7553 6099 0 -1 64 11 270 0 0 0 0 0 2 16 0 9 0 1552926103 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7559] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7559/stat : 7559 (java) S 7551 7553 6099 0 -1 64 1 270 0 0 0 0 0 2 23 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7560] ppid=7551 vsize=867788 CPUtime=0.26
/proc/7553/task/7560/stat : 7560 (java) S 7551 7553 6099 0 -1 64 683 270 0 0 24 0 0 2 16 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7561] ppid=7551 vsize=867788 CPUtime=0.02
################
# More data... #
################
/proc/7553/stat : 7553 (java) S 7551 7553 6099 0 -1 0 108473 270 1 0 30487 47 0 2 18 0 9 0 1552926101 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7553/statm: 216947 59811 2635 9 0 211453 0
[pid=7553/tid=7555] ppid=7551 vsize=867788 CPUtime=303.03
/proc/7553/task/7555/stat : 7555 (java) R 7551 7553 6099 0 -1 64 20053 270 1 0 30282 19 0 2 25 0 9 0 1552926102 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4126678541 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7556] ppid=7551 vsize=867788 CPUtime=2.05
/proc/7553/task/7556/stat : 7556 (java) S 7551 7553 6099 0 -1 64 86894 270 0 0 179 24 0 2 16 0 9 0 1552926103 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7557] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7557/stat : 7557 (java) S 7551 7553 6099 0 -1 64 14 270 0 0 0 0 0 2 16 0 9 0 1552926103 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7558] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7558/stat : 7558 (java) S 7551 7553 6099 0 -1 64 11 270 0 0 0 0 0 2 16 0 9 0 1552926103 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7559] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7559/stat : 7559 (java) S 7551 7553 6099 0 -1 64 1 270 0 0 0 0 0 2 23 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7560] ppid=7551 vsize=867788 CPUtime=0.26
/proc/7553/task/7560/stat : 7560 (java) S 7551 7553 6099 0 -1 64 683 270 0 0 24 0 0 2 16 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7561] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7561/stat : 7561 (java) S 7551 7553 6099 0 -1 64 2 270 0 0 0 0 0 2 24 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7562] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7562/stat : 7562 (java) S 7551 7553 6099 0 -1 64 9 270 0 0 0 0 0 2 15 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 305.36
Current children cumulated vsize (KiB) 867788
[startup+313.507 s]
/proc/loadavg: 2.03 2.02 2.00 3/81 7858
/proc/meminfo: memFree=1435944/2055920 swapFree=4121416/4192956
[pid=7553] ppid=7551 vsize=867788 CPUtime=311.77
/proc/7553/stat : 7553 (java) S 7551 7553 6099 0 -1 0 108473 270 1 0 31128 47 0 2 18 0 9 0 1552926101 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7553/statm: 216947 59811 2635 9 0 211453 0
[pid=7553/tid=7555] ppid=7551 vsize=867788 CPUtime=309.44
/proc/7553/task/7555/stat : 7555 (java) R 7551 7553 6099 0 -1 64 20053 270 1 0 30923 19 0 2 25 0 9 0 1552926102 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4126820043 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7556] ppid=7551 vsize=867788 CPUtime=2.05
/proc/7553/task/7556/stat : 7556 (java) S 7551 7553 6099 0 -1 64 86894 270 0 0 179 24 0 2 16 0 9 0 1552926103 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7557] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7557/stat : 7557 (java) S 7551 7553 6099 0 -1 64 14 270 0 0 0 0 0 2 16 0 9 0 1552926103 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7558] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7558/stat : 7558 (java) S 7551 7553 6099 0 -1 64 11 270 0 0 0 0 0 2 16 0 9 0 1552926103 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7559] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7559/stat : 7559 (java) S 7551 7553 6099 0 -1 64 1 270 0 0 0 0 0 2 23 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7560] ppid=7551 vsize=867788 CPUtime=0.26
/proc/7553/task/7560/stat : 7560 (java) S 7551 7553 6099 0 -1 64 683 270 0 0 24 0 0 2 16 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7561] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7561/stat : 7561 (java) S 7551 7553 6099 0 -1 64 2 270 0 0 0 0 0 2 24 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7562] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7562/stat : 7562 (java) S 7551 7553 6099 0 -1 64 9 270 0 0 0 0 0 2 15 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 311.77
Current children cumulated vsize (KiB) 867788
[startup+316.702 s]
/proc/loadavg: 2.03 2.02 2.00 3/81 7858
/proc/meminfo: memFree=1435944/2055920 swapFree=4121416/4192956
[pid=7553] ppid=7551 vsize=867788 CPUtime=314.96
/proc/7553/stat : 7553 (java) S 7551 7553 6099 0 -1 0 108473 270 1 0 31447 47 0 2 18 0 9 0 1552926101 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7553/statm: 216947 59811 2635 9 0 211453 0
[pid=7553/tid=7555] ppid=7551 vsize=867788 CPUtime=312.64
/proc/7553/task/7555/stat : 7555 (java) R 7551 7553 6099 0 -1 64 20053 270 1 0 31243 19 0 2 25 0 9 0 1552926102 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4126820226 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7556] ppid=7551 vsize=867788 CPUtime=2.05
/proc/7553/task/7556/stat : 7556 (java) S 7551 7553 6099 0 -1 64 86894 270 0 0 179 24 0 2 16 0 9 0 1552926103 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7557] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7557/stat : 7557 (java) S 7551 7553 6099 0 -1 64 14 270 0 0 0 0 0 2 16 0 9 0 1552926103 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7558] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7558/stat : 7558 (java) S 7551 7553 6099 0 -1 64 11 270 0 0 0 0 0 2 16 0 9 0 1552926103 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7559] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7559/stat : 7559 (java) S 7551 7553 6099 0 -1 64 1 270 0 0 0 0 0 2 23 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7560] ppid=7551 vsize=867788 CPUtime=0.26
/proc/7553/task/7560/stat : 7560 (java) S 7551 7553 6099 0 -1 64 683 270 0 0 24 0 0 2 16 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7561] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7561/stat : 7561 (java) S 7551 7553 6099 0 -1 64 2 270 0 0 0 0 0 2 24 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7562] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7562/stat : 7562 (java) S 7551 7553 6099 0 -1 64 9 270 0 0 0 0 0 2 15 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 314.96
Current children cumulated vsize (KiB) 867788
[startup+318.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/81 7858
/proc/meminfo: memFree=1435944/2055920 swapFree=4121416/4192956
[pid=7553] ppid=7551 vsize=867788 CPUtime=316.56
/proc/7553/stat : 7553 (java) S 7551 7553 6099 0 -1 0 108473 270 1 0 31607 47 0 2 18 0 9 0 1552926101 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7553/statm: 216947 59811 2635 9 0 211453 0
[pid=7553/tid=7555] ppid=7551 vsize=867788 CPUtime=314.23
/proc/7553/task/7555/stat : 7555 (java) R 7551 7553 6099 0 -1 64 20053 270 1 0 31402 19 0 2 25 0 9 0 1552926102 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4126820069 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7556] ppid=7551 vsize=867788 CPUtime=2.05
/proc/7553/task/7556/stat : 7556 (java) S 7551 7553 6099 0 -1 64 86894 270 0 0 179 24 0 2 16 0 9 0 1552926103 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7557] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7557/stat : 7557 (java) S 7551 7553 6099 0 -1 64 14 270 0 0 0 0 0 2 16 0 9 0 1552926103 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7558] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7558/stat : 7558 (java) S 7551 7553 6099 0 -1 64 11 270 0 0 0 0 0 2 16 0 9 0 1552926103 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7559] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7559/stat : 7559 (java) S 7551 7553 6099 0 -1 64 1 270 0 0 0 0 0 2 23 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7560] ppid=7551 vsize=867788 CPUtime=0.26
/proc/7553/task/7560/stat : 7560 (java) S 7551 7553 6099 0 -1 64 683 270 0 0 24 0 0 2 16 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7561] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7561/stat : 7561 (java) S 7551 7553 6099 0 -1 64 2 270 0 0 0 0 0 2 24 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7562] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7562/stat : 7562 (java) S 7551 7553 6099 0 -1 64 9 270 0 0 0 0 0 2 15 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 316.56
Current children cumulated vsize (KiB) 867788
[startup+319.102 s]
/proc/loadavg: 2.03 2.02 2.00 3/81 7858
/proc/meminfo: memFree=1435944/2055920 swapFree=4121416/4192956
[pid=7553] ppid=7551 vsize=867788 CPUtime=317.36
/proc/7553/stat : 7553 (java) S 7551 7553 6099 0 -1 0 108473 270 1 0 31687 47 0 2 18 0 9 0 1552926101 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7553/statm: 216947 59811 2635 9 0 211453 0
[pid=7553/tid=7555] ppid=7551 vsize=867788 CPUtime=315.03
/proc/7553/task/7555/stat : 7555 (java) R 7551 7553 6099 0 -1 64 20053 270 1 0 31482 19 0 2 25 0 9 0 1552926102 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4126820069 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7556] ppid=7551 vsize=867788 CPUtime=2.05
/proc/7553/task/7556/stat : 7556 (java) S 7551 7553 6099 0 -1 64 86894 270 0 0 179 24 0 2 16 0 9 0 1552926103 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7557] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7557/stat : 7557 (java) S 7551 7553 6099 0 -1 64 14 270 0 0 0 0 0 2 16 0 9 0 1552926103 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7558] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7558/stat : 7558 (java) S 7551 7553 6099 0 -1 64 11 270 0 0 0 0 0 2 16 0 9 0 1552926103 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7559] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7559/stat : 7559 (java) S 7551 7553 6099 0 -1 64 1 270 0 0 0 0 0 2 23 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7560] ppid=7551 vsize=867788 CPUtime=0.26
/proc/7553/task/7560/stat : 7560 (java) S 7551 7553 6099 0 -1 64 683 270 0 0 24 0 0 2 16 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7561] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7561/stat : 7561 (java) S 7551 7553 6099 0 -1 64 2 270 0 0 0 0 0 2 24 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7562] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7562/stat : 7562 (java) S 7551 7553 6099 0 -1 64 9 270 0 0 0 0 0 2 15 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 317.36
Current children cumulated vsize (KiB) 867788
[startup+319.503 s]
/proc/loadavg: 2.03 2.02 2.00 3/81 7858
/proc/meminfo: memFree=1435944/2055920 swapFree=4121416/4192956
[pid=7553] ppid=7551 vsize=867788 CPUtime=317.76
/proc/7553/stat : 7553 (java) S 7551 7553 6099 0 -1 0 108473 270 1 0 31727 47 0 2 18 0 9 0 1552926101 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7553/statm: 216947 59811 2635 9 0 211453 0
[pid=7553/tid=7555] ppid=7551 vsize=867788 CPUtime=315.43
/proc/7553/task/7555/stat : 7555 (java) R 7551 7553 6099 0 -1 64 20053 270 1 0 31522 19 0 2 25 0 9 0 1552926102 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4126820043 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7556] ppid=7551 vsize=867788 CPUtime=2.05
/proc/7553/task/7556/stat : 7556 (java) S 7551 7553 6099 0 -1 64 86894 270 0 0 179 24 0 2 16 0 9 0 1552926103 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7557] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7557/stat : 7557 (java) S 7551 7553 6099 0 -1 64 14 270 0 0 0 0 0 2 16 0 9 0 1552926103 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7558] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7558/stat : 7558 (java) S 7551 7553 6099 0 -1 64 11 270 0 0 0 0 0 2 16 0 9 0 1552926103 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7559] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7559/stat : 7559 (java) S 7551 7553 6099 0 -1 64 1 270 0 0 0 0 0 2 23 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7560] ppid=7551 vsize=867788 CPUtime=0.26
/proc/7553/task/7560/stat : 7560 (java) S 7551 7553 6099 0 -1 64 683 270 0 0 24 0 0 2 16 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7561] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7561/stat : 7561 (java) S 7551 7553 6099 0 -1 64 2 270 0 0 0 0 0 2 24 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7562] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7562/stat : 7562 (java) S 7551 7553 6099 0 -1 64 9 270 0 0 0 0 0 2 15 0 9 0 1552926105 888614912 59811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 317.76
Current children cumulated vsize (KiB) 867788
[startup+319.903 s]
/proc/loadavg: 2.03 2.02 2.00 3/81 7858
/proc/meminfo: memFree=1435944/2055920 swapFree=4121416/4192956
[pid=7553] ppid=7551 vsize=867788 CPUtime=318.16
/proc/7553/stat : 7553 (java) S 7551 7553 6099 0 -1 0 108480 270 1 0 31766 48 0 2 18 0 9 0 1552926101 888614912 59815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7553/statm: 216947 59815 2635 9 0 211453 0
[pid=7553/tid=7555] ppid=7551 vsize=867788 CPUtime=315.82
/proc/7553/task/7555/stat : 7555 (java) S 7551 7553 6099 0 -1 64 20060 270 1 0 31561 19 0 2 25 0 9 0 1552926102 888614912 59815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7556] ppid=7551 vsize=867788 CPUtime=2.05
/proc/7553/task/7556/stat : 7556 (java) S 7551 7553 6099 0 -1 64 86894 270 0 0 179 24 0 2 16 0 9 0 1552926103 888614912 59815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7557] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7557/stat : 7557 (java) S 7551 7553 6099 0 -1 64 14 270 0 0 0 0 0 2 16 0 9 0 1552926103 888614912 59815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7558] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7558/stat : 7558 (java) S 7551 7553 6099 0 -1 64 11 270 0 0 0 0 0 2 16 0 9 0 1552926103 888614912 59815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7553/tid=7559] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7559/stat : 7559 (java) S 7551 7553 6099 0 -1 64 1 270 0 0 0 0 0 2 23 0 9 0 1552926105 888614912 59815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7560] ppid=7551 vsize=867788 CPUtime=0.26
/proc/7553/task/7560/stat : 7560 (java) S 7551 7553 6099 0 -1 64 683 270 0 0 24 0 0 2 16 0 9 0 1552926105 888614912 59815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7561] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7561/stat : 7561 (java) S 7551 7553 6099 0 -1 64 2 270 0 0 0 0 0 2 24 0 9 0 1552926105 888614912 59815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7553/tid=7562] ppid=7551 vsize=867788 CPUtime=0.02
/proc/7553/task/7562/stat : 7562 (java) S 7551 7553 6099 0 -1 64 9 270 0 0 0 0 0 2 15 0 9 0 1552926105 888614912 59815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 318.16
Current children cumulated vsize (KiB) 867788
Child status: 0
Real time (s): 319.951
CPU time (s): 318.215
CPU user time (s): 317.669
CPU system time (s): 0.545917
CPU usage (%): 99.4573
Max. virtual memory (cumulated for all children) (KiB): 871056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 317.669
system time used= 0.545917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108780
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= 7916
involuntary context switches= 12182
runsolver used 0.376942 second user time and 1.09683 second system time
The end
Begin job on node14 at 2008-07-05 06:35:21
IDJOB=1085006
IDBENCH=57592
IDSOLVER=364
FILE ID=node14/1085006-1215232519
PBS_JOBID= 7881837
Free space on /tmp= 66424 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-0_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085006-1215232519/watcher-1085006-1215232519 -o /tmp/evaluation-result-1085006-1215232519/solver-1085006-1215232519 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1085006-1215232519.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= a42b1fcf5ad10b80deb15852b7f7abc6
RANDOM SEED=774913506
node14.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.267
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 : 5931.00
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.267
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: 1673176 kB
Buffers: 37040 kB
Cached: 193288 kB
SwapCached: 65676 kB
Active: 249728 kB
Inactive: 79136 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1673176 kB
SwapTotal: 4192956 kB
SwapFree: 4121416 kB
Dirty: 24092 kB
Writeback: 0 kB
Mapped: 106104 kB
Slab: 39060 kB
Committed_AS: 3114908 kB
PageTables: 1956 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= 66424 MiB
End job on node14 at 2008-07-05 06:40:41