0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=esac.xml
0.28/0.32
0.28/0.32 instance
0.28/0.32 name=HOME/instance-1044884-1215022766.xml
0.28/0.35
0.28/0.35 domains being loaded...
0.28/0.36
0.28/0.36 variables being loaded...
0.38/0.46 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20 nbTotalValues=3953
0.38/0.46 => wckTime=0.217 cpuTime=0.17 mem=8M894
0.38/0.46
0.38/0.46 relations being loaded...
0.38/0.46
0.38/0.47 constraints being loaded...
1.15/1.22 nbConstraints=5565 nbRelationTypes=21 nbGlobalConstraints=25 nbSingletonDomainVariables=213
1.15/1.22 nbExtensionStructures=41 nbSharedExtensionStructures=5499 nbConflictsStructures=41
1.15/1.22 nbSharedConflictsStructures=5499 nbSharedBinaryRepresentations=858 minDegree=18 maxDegree=39 minArity=2
1.15/1.22 avgArity=2.03 maxArity=10 nbGenerators=0 nbFusions=0 symmetryWckTime=0.289 symmetryCpuTime=0.16 nbCliques=25
1.15/1.22 => wckTime=0.985 cpuTime=0.66 mem=42M158
1.25/1.35
1.25/1.36 solver IterativeSystematicSolver being built...
1.36/1.44
1.36/1.44 INFO : Forward propagation technique limited
1.45/1.52 => wckTime=1.278 cpuTime=0.8 mem=25M848
1.66/1.73
1.66/1.73 preprocessing
1.66/1.73 nbConstraintChecks=103376 nbPropagations=2764 nbRevisions=23807 nbUselessRevisions=18934 nbSingletonTests=663
1.66/1.73 nbEffectiveSingletonTests=0 nbACRemovals=2925 nbFoundSingletons=0 nbRemovedValues=2925 detectedInconsistency=no
1.66/1.73 => wckTime=0.214 cpuTime=0.18 mem=26M847
2.05/2.11
2.05/2.11 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=28M764)
1383.98/1396.78
1383.98/1396.78 search
1383.98/1396.78 run=25 nbConstraintChecks=1230008884 minDepth=27 maxDepth=400 nbPropagations=117302986 nbRevisions=2268116512
1383.98/1396.78 nbUselessRevisions=2060174407 nbAssignments=4741157 nbFailedAssignments=743884 nbInferredBacktracks=28
1383.98/1396.78 nbBacktracks=3994445 nbVisitedNodes=6198310 nbRestartNogoods=169 nbFoundSolutions=1 nbSEliminables=0
1383.98/1396.78 nbREliminables=213 nbIEliminables=173.41 nbDEliminables=0 nbPEliminables=0
1383.98/1396.78 => wckTime=1395.257 cpuTime=1382.3 mem=57M369
1383.98/1396.78
1383.98/1396.78 global
1383.98/1396.78 nbConstraintChecks=1230112260 nbPropagations=117305750 nbRevisions=2268140319 nbUselessRevisions=2060193341
1383.98/1396.78 nbRestartNogoods=169 solvingWckTime=1395.259 solvingCpuTime=1382.3 expiredTime=no totalExploration=no
1383.98/1396.78 nbFoundSolutions=1 firstSolutionCpuTime=1383.09 globalCpuTime=1383.15
1383.98/1396.78 => wckTime=1396.54 cpuTime=1383.1 mem=57M369
1383.98/1396.78
1383.98/1396.78 s SATISFIABLE
1383.98/1396.78 v 0 3 17 18 7 14 4 5 12 9 8 15 19 6 2 11 16 1 10 13 10 6 16 12 4 8 3 14 1 11 7 13 9 2 5 19 15 0 18 17 1 16 15 5 10 11 7 9 18 2 19 6 17 3 0 14 8 13 4 12 14 0 7 16 3 15 11 6 17 13 12 5 8 19 18 9 2 4 1 10 2 19 10 3 11 16 6 13 9 17 15 12 1 7 4 0 18 8 14 5 8 1 18 4 14 7 17 3 11 16 5 0 6 13 19 2 10 12 15 9 15 11 5 13 18 9 12 17 8 1 3 16 2 4 14 6 7 10 19 0 6 2 11 7 12 18 0 15 13 5 10 19 14 17 8 1 4 9 3 16 5 4 0 15 1 3 19 18 16 8 6 10 7 11 12 13 17 2 9 14 7 18 4 10 2 19 5 0 15 12 14 9 16 8 13 17 1 11 6 3 11 15 9 6 16 12 13 10 19 4 17 8 0 18 1 3 14 5 2 7 16 8 19 14 13 10 1 2 4 6 0 18 15 9 17 7 12 3 5 11 12 5 14 9 19 17 2 8 0 7 1 4 3 16 10 18 11 6 13 15 9 17 12 2 15 13 8 1 14 18 4 7 11 10 3 16 5 19 0 6 3 12 13 17 9 2 10 7 5 14 18 1 4 15 6 8 0 16 11 19 13 14 8 0 6 1 15 4 3 19 11 17 10 5 7 12 9 18 16 2 19 10 1 8 17 5 18 11 6 0 9 2 13 12 16 15 3 14 7 4 17 9 6 1 5 0 16 19 10 3 2 11 12 14 15 4 13 7 8 18 18 7 3 19 8 4 9 16 2 15 13 14 5 0 11 10 6 17 12 1 4 13 2 11 0 6 14 12 7 10 16 3 18 1 9 5 19 15 17 8
1383.98/1396.78 d NODES 4741157
1383.98/1396.78 d CHECKS 1230112260
1383.98/1396.78
1383.98/1396.78 totalWckTime=1396.599 totalCpuTime=1383.16
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1044884-1215022766/watcher-1044884-1215022766 -o /tmp/evaluation-result-1044884-1215022766/solver-1044884-1215022766 -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-1044884-1215022766.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 1.98 1.90 3/72 30437
/proc/meminfo: memFree=1553912/2055920 swapFree=4180472/4192956
[pid=30437] ppid=30435 vsize=1616 CPUtime=0
/proc/30437/stat : 30437 (java) R 30435 30437 30005 0 -1 0 178 0 0 0 0 0 0 0 18 0 1 0 1981251994 1654784 146 996147200 134512640 134550740 4294956144 18446744073709551615 11733600 0 0 4096 0 0 0 0 17 0 0 0
/proc/30437/statm: 404 148 122 9 0 46 0
[startup+0.014134 s]
/proc/loadavg: 1.92 1.98 1.90 3/72 30437
/proc/meminfo: memFree=1553912/2055920 swapFree=4180472/4192956
[pid=30437] ppid=30435 vsize=10904 CPUtime=0
/proc/30437/stat : 30437 (java) S 30435 30437 30005 0 -1 0 821 0 0 0 0 0 0 0 18 0 2 0 1981251994 11165696 574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/30437/statm: 2726 574 285 9 0 1198 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10904
[startup+0.10414 s]
/proc/loadavg: 1.92 1.98 1.90 3/72 30437
/proc/meminfo: memFree=1553912/2055920 swapFree=4180472/4192956
[pid=30437] ppid=30435 vsize=865884 CPUtime=0.09
/proc/30437/stat : 30437 (java) S 30435 30437 30005 0 -1 0 3784 0 1 0 7 2 0 0 18 0 9 0 1981251994 886665216 3235 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30437/statm: 216471 3235 1713 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.301157 s]
/proc/loadavg: 1.92 1.98 1.90 3/72 30437
/proc/meminfo: memFree=1553912/2055920 swapFree=4180472/4192956
[pid=30437] ppid=30435 vsize=866196 CPUtime=0.28
/proc/30437/stat : 30437 (java) S 30435 30437 30005 0 -1 0 5620 0 1 0 25 3 0 0 18 0 9 0 1981251994 886984704 5034 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30437/statm: 216549 5034 1902 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196
[startup+0.70119 s]
/proc/loadavg: 1.92 1.98 1.90 3/72 30437
/proc/meminfo: memFree=1553912/2055920 swapFree=4180472/4192956
[pid=30437] ppid=30435 vsize=867444 CPUtime=0.68
/proc/30437/stat : 30437 (java) S 30435 30437 30005 0 -1 0 8180 0 1 0 63 5 0 0 18 0 9 0 1981251994 888262656 7550 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30437/statm: 216861 7550 1974 9 0 211389 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867444
[startup+1.50225 s]
/proc/loadavg: 1.92 1.98 1.90 3/81 30446
/proc/meminfo: memFree=1508336/2055920 swapFree=4180472/4192956
[pid=30437] ppid=30435 vsize=867856 CPUtime=1.45
/proc/30437/stat : 30437 (java) S 30435 30437 30005 0 -1 0 25993 467 1 0 126 13 6 0 18 0 10 0 1981251994 888684544 16654 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30437/statm: 216964 16654 2633 9 0 211470 0
[pid=30437/tid=30439] ppid=30435 vsize=867856 CPUtime=1.05
/proc/30437/task/30439/stat : 30439 (java) R 30435 30437 30005 0 -1 64 19699 467 1 0 90 9 6 0 17 0 10 0 1981251995 888684544 16654 996147200 134512640 134550740 4294955984 18446744073709551615 4127066700 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30440] ppid=30435 vsize=867856 CPUtime=0.17
/proc/30437/task/30440/stat : 30440 (java) S 30435 30437 30005 0 -1 64 4603 467 0 0 10 1 6 0 17 0 10 0 1981251997 888684544 16654 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30441] ppid=30435 vsize=867856 CPUtime=0.06
/proc/30437/task/30441/stat : 30441 (java) S 30435 30437 30005 0 -1 64 16 467 0 0 0 0 6 0 16 0 10 0 1981251997 888684544 16654 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30442] ppid=30435 vsize=867856 CPUtime=0.06
/proc/30437/task/30442/stat : 30442 (java) S 30435 30437 30005 0 -1 64 9 467 0 0 0 0 6 0 16 0 10 0 1981251997 888684544 16654 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30443] ppid=30435 vsize=867856 CPUtime=0.06
/proc/30437/task/30443/stat : 30443 (java) S 30435 30437 30005 0 -1 64 1 467 0 0 0 0 6 0 18 0 10 0 1981251999 888684544 16654 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30444] ppid=30435 vsize=867856 CPUtime=0.31
/proc/30437/task/30444/stat : 30444 (java) S 30435 30437 30005 0 -1 64 858 467 0 0 25 0 6 0 16 0 10 0 1981251999 888684544 16654 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30445] ppid=30435 vsize=867856 CPUtime=0.06
/proc/30437/task/30445/stat : 30445 (java) S 30435 30437 30005 0 -1 64 1 467 0 0 0 0 6 0 19 0 10 0 1981251999 888684544 16654 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30446] ppid=30435 vsize=867856 CPUtime=0.06
/proc/30437/task/30446/stat : 30446 (java) S 30435 30437 30005 0 -1 64 8 467 0 0 0 0 6 0 15 0 10 0 1981251999 888684544 16654 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 867856
[startup+3.10139 s]
/proc/loadavg: 2.09 2.02 1.91 3/81 30450
/proc/meminfo: memFree=1496880/2055920 swapFree=4180472/4192956
[pid=30437] ppid=30435 vsize=867984 CPUtime=3.05
/proc/30437/stat : 30437 (java) S 30435 30437 30005 0 -1 0 26296 590 1 0 284 14 6 1 18 0 9 0 1981251994 888815616 16732 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30437/statm: 216996 16732 2633 9 0 211502 0
[pid=30437/tid=30439] ppid=30435 vsize=867984 CPUtime=2.56
/proc/30437/task/30439/stat : 30439 (java) R 30435 30437 30005 0 -1 64 19944 590 1 0 239 10 6 1 25 0 9 0 1981251995 888815616 16732 996147200 134512640 134550740 4294955984 18446744073709551615 4127165239 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30440] ppid=30435 vsize=867984 CPUtime=0.18
/proc/30437/task/30440/stat : 30440 (java) S 30435 30437 30005 0 -1 64 4604 590 0 0 10 1 6 1 17 0 9 0 1981251997 888815616 16732 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30441] ppid=30435 vsize=867984 CPUtime=0.07
/proc/30437/task/30441/stat : 30441 (java) S 30435 30437 30005 0 -1 64 16 590 0 0 0 0 6 1 16 0 9 0 1981251997 888815616 16732 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30442] ppid=30435 vsize=867984 CPUtime=0.07
/proc/30437/task/30442/stat : 30442 (java) S 30435 30437 30005 0 -1 64 9 590 0 0 0 0 6 1 16 0 9 0 1981251997 888815616 16732 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30443] ppid=30435 vsize=867984 CPUtime=0.07
/proc/30437/task/30443/stat : 30443 (java) S 30435 30437 30005 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 1981251999 888815616 16732 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30444] ppid=30435 vsize=867984 CPUtime=0.41
/proc/30437/task/30444/stat : 30444 (java) S 30435 30437 30005 0 -1 64 912 590 0 0 34 0 6 1 16 0 9 0 1981251999 888815616 16732 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30445] ppid=30435 vsize=867984 CPUtime=0.07
/proc/30437/task/30445/stat : 30445 (java) S 30435 30437 30005 0 -1 64 1 590 0 0 0 0 6 1 19 0 9 0 1981251999 888815616 16732 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30446] ppid=30435 vsize=867984 CPUtime=0.07
/proc/30437/task/30446/stat : 30446 (java) S 30435 30437 30005 0 -1 64 8 590 0 0 0 0 6 1 15 0 9 0 1981251999 888815616 16732 996147200 134512640 134550740 4294955984 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) 867984
[startup+6.30264 s]
/proc/loadavg: 2.09 2.02 1.91 3/81 30450
/proc/meminfo: memFree=1496752/2055920 swapFree=4180472/4192956
[pid=30437] ppid=30435 vsize=867984 CPUtime=6.22
/proc/30437/stat : 30437 (java) S 30435 30437 30005 0 -1 0 26876 590 1 0 601 14 6 1 18 0 9 0 1981251994 888815616 16735 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30437/statm: 216996 16735 2633 9 0 211502 0
[pid=30437/tid=30439] ppid=30435 vsize=867984 CPUtime=5.72
/proc/30437/task/30439/stat : 30439 (java) R 30435 30437 30005 0 -1 64 20497 590 1 0 555 10 6 1 25 0 9 0 1981251995 888815616 16735 996147200 134512640 134550740 4294955984 18446744073709551615 4127103724 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30440] ppid=30435 vsize=867984 CPUtime=0.18
/proc/30437/task/30440/stat : 30440 (java) S 30435 30437 30005 0 -1 64 4604 590 0 0 10 1 6 1 16 0 9 0 1981251997 888815616 16735 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30441] ppid=30435 vsize=867984 CPUtime=0.07
/proc/30437/task/30441/stat : 30441 (java) S 30435 30437 30005 0 -1 64 16 590 0 0 0 0 6 1 16 0 9 0 1981251997 888815616 16735 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30442] ppid=30435 vsize=867984 CPUtime=0.07
/proc/30437/task/30442/stat : 30442 (java) S 30435 30437 30005 0 -1 64 9 590 0 0 0 0 6 1 16 0 9 0 1981251997 888815616 16735 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30443] ppid=30435 vsize=867984 CPUtime=0.07
/proc/30437/task/30443/stat : 30443 (java) S 30435 30437 30005 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 1981251999 888815616 16735 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30444] ppid=30435 vsize=867984 CPUtime=0.42
/proc/30437/task/30444/stat : 30444 (java) S 30435 30437 30005 0 -1 64 916 590 0 0 35 0 6 1 15 0 9 0 1981251999 888815616 16735 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30445] ppid=30435 vsize=867984 CPUtime=0.07
/proc/30437/task/30445/stat : 30445 (java) S 30435 30437 30005 0 -1 64 1 590 0 0 0 0 6 1 19 0 9 0 1981251999 888815616 16735 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30446] ppid=30435 vsize=867984 CPUtime=0.07
/proc/30437/task/30446/stat : 30446 (java) S 30435 30437 30005 0 -1 64 31 590 0 0 0 0 6 1 15 0 9 0 1981251999 888815616 16735 996147200 134512640 134550740 4294955984 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) 867984
[startup+12.7012 s]
/proc/loadavg: 2.07 2.02 1.91 3/81 30450
/proc/meminfo: memFree=1491952/2055920 swapFree=4180472/4192956
[pid=30437] ppid=30435 vsize=867984 CPUtime=12.56
/proc/30437/stat : 30437 (java) S 30435 30437 30005 0 -1 0 30014 590 1 0 1234 15 6 1 18 0 9 0 1981251994 888815616 18292 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30437/statm: 216996 18292 2633 9 0 211502 0
[pid=30437/tid=30439] ppid=30435 vsize=867984 CPUtime=12.06
/proc/30437/task/30439/stat : 30439 (java) R 30435 30437 30005 0 -1 64 23635 590 1 0 1188 11 6 1 25 0 9 0 1981251995 888815616 18292 996147200 134512640 134550740 4294955984 18446744073709551615 4125952058 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30440] ppid=30435 vsize=867984 CPUtime=0.18
/proc/30437/task/30440/stat : 30440 (java) S 30435 30437 30005 0 -1 64 4604 590 0 0 10 1 6 1 16 0 9 0 1981251997 888815616 18292 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30441] ppid=30435 vsize=867984 CPUtime=0.07
/proc/30437/task/30441/stat : 30441 (java) S 30435 30437 30005 0 -1 64 16 590 0 0 0 0 6 1 16 0 9 0 1981251997 888815616 18292 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30442] ppid=30435 vsize=867984 CPUtime=0.07
/proc/30437/task/30442/stat : 30442 (java) S 30435 30437 30005 0 -1 64 9 590 0 0 0 0 6 1 16 0 9 0 1981251997 888815616 18292 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30443] ppid=30435 vsize=867984 CPUtime=0.07
/proc/30437/task/30443/stat : 30443 (java) S 30435 30437 30005 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 1981251999 888815616 18292 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30444] ppid=30435 vsize=867984 CPUtime=0.42
/proc/30437/task/30444/stat : 30444 (java) S 30435 30437 30005 0 -1 64 916 590 0 0 35 0 6 1 15 0 9 0 1981251999 888815616 18292 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30445] ppid=30435 vsize=867984 CPUtime=0.07
/proc/30437/task/30445/stat : 30445 (java) S 30435 30437 30005 0 -1 64 1 590 0 0 0 0 6 1 19 0 9 0 1981251999 888815616 18292 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30446] ppid=30435 vsize=867984 CPUtime=0.07
/proc/30437/task/30446/stat : 30446 (java) S 30435 30437 30005 0 -1 64 31 590 0 0 0 0 6 1 15 0 9 0 1981251999 888815616 18292 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867984
[startup+25.5022 s]
/proc/loadavg: 2.06 2.01 1.91 3/81 30450
/proc/meminfo: memFree=1483632/2055920 swapFree=4180472/4192956
[pid=30437] ppid=30435 vsize=867896 CPUtime=25.25
/proc/30437/stat : 30437 (java) S 30435 30437 30005 0 -1 0 31784 590 1 0 2502 16 6 1 18 0 9 0 1981251994 888725504 20029 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30437/statm: 216974 20029 2615 9 0 211502 0
[pid=30437/tid=30439] ppid=30435 vsize=867896 CPUtime=24.73
/proc/30437/task/30439/stat : 30439 (java) R 30435 30437 30005 0 -1 64 24321 590 1 0 2454 12 6 1 25 0 9 0 1981251995 888725504 20029 996147200 134512640 134550740 4294955984 18446744073709551615 4127108579 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30440] ppid=30435 vsize=867896 CPUtime=0.2
/proc/30437/task/30440/stat : 30440 (java) S 30435 30437 30005 0 -1 64 5687 590 0 0 12 1 6 1 16 0 9 0 1981251997 888725504 20029 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30441] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30441/stat : 30441 (java) S 30435 30437 30005 0 -1 64 16 590 0 0 0 0 6 1 16 0 9 0 1981251997 888725504 20029 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30442] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30442/stat : 30442 (java) S 30435 30437 30005 0 -1 64 10 590 0 0 0 0 6 1 16 0 9 0 1981251997 888725504 20029 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30443] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30443/stat : 30443 (java) S 30435 30437 30005 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 1981251999 888725504 20029 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30444] ppid=30435 vsize=867896 CPUtime=0.42
/proc/30437/task/30444/stat : 30444 (java) S 30435 30437 30005 0 -1 64 916 590 0 0 35 0 6 1 15 0 9 0 1981251999 888725504 20029 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30445] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30445/stat : 30445 (java) S 30435 30437 30005 0 -1 64 1 590 0 0 0 0 6 1 19 0 9 0 1981251999 888725504 20029 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30446] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30446/stat : 30446 (java) S 30435 30437 30005 0 -1 64 31 590 0 0 0 0 6 1 15 0 9 0 1981251999 888725504 20029 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 867896
[startup+51.1023 s]
/proc/loadavg: 2.04 2.01 1.91 3/81 30450
/proc/meminfo: memFree=1479280/2055920 swapFree=4180472/4192956
[pid=30437] ppid=30435 vsize=867896 CPUtime=50.64
/proc/30437/stat : 30437 (java) S 30435 30437 30005 0 -1 0 32868 590 1 0 5040 17 6 1 18 0 9 0 1981251994 888725504 21109 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30437/statm: 216974 21109 2615 9 0 211502 0
[pid=30437/tid=30439] ppid=30435 vsize=867896 CPUtime=50.11
/proc/30437/task/30439/stat : 30439 (java) R 30435 30437 30005 0 -1 64 24323 590 1 0 4992 12 6 1 25 0 9 0 1981251995 888725504 21109 996147200 134512640 134550740 4294955984 18446744073709551615 4127089837 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30440] ppid=30435 vsize=867896 CPUtime=0.21
/proc/30437/task/30440/stat : 30440 (java) S 30435 30437 30005 0 -1 64 6768 590 0 0 12 2 6 1 16 0 9 0 1981251997 888725504 21109 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30441] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30441/stat : 30441 (java) S 30435 30437 30005 0 -1 64 16 590 0 0 0 0 6 1 16 0 9 0 1981251997 888725504 21109 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30442] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30442/stat : 30442 (java) S 30435 30437 30005 0 -1 64 10 590 0 0 0 0 6 1 16 0 9 0 1981251997 888725504 21109 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30443] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30443/stat : 30443 (java) S 30435 30437 30005 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 1981251999 888725504 21109 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30444] ppid=30435 vsize=867896 CPUtime=0.42
/proc/30437/task/30444/stat : 30444 (java) S 30435 30437 30005 0 -1 64 917 590 0 0 35 0 6 1 16 0 9 0 1981251999 888725504 21109 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30445] ppid=30435 vsize=867896 CPUtime=0.07
################
# More data... #
################
/proc/30437/stat : 30437 (java) S 30435 30437 30005 0 -1 0 32943 590 1 0 137568 38 6 1 18 0 9 0 1981251994 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30437/statm: 216974 21119 2615 9 0 211502 0
[pid=30437/tid=30439] ppid=30435 vsize=867896 CPUtime=1375.46
/proc/30437/task/30439/stat : 30439 (java) R 30435 30437 30005 0 -1 64 24387 590 1 0 137507 32 6 1 25 0 9 0 1981251995 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4127167985 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30440] ppid=30435 vsize=867896 CPUtime=0.33
/proc/30437/task/30440/stat : 30440 (java) R 30435 30437 30005 0 -1 64 6777 590 0 0 24 2 6 1 16 0 9 0 1981251997 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30441] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30441/stat : 30441 (java) S 30435 30437 30005 0 -1 64 16 590 0 0 0 0 6 1 16 0 9 0 1981251997 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30442] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30442/stat : 30442 (java) S 30435 30437 30005 0 -1 64 10 590 0 0 0 0 6 1 16 0 9 0 1981251997 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30443] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30443/stat : 30443 (java) S 30435 30437 30005 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 1981251999 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30444] ppid=30435 vsize=867896 CPUtime=0.43
/proc/30437/task/30444/stat : 30444 (java) S 30435 30437 30005 0 -1 64 919 590 0 0 35 1 6 1 16 0 9 0 1981251999 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30437/tid=30445] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30445/stat : 30445 (java) S 30435 30437 30005 0 -1 64 1 590 0 0 0 0 6 1 19 0 9 0 1981251999 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30446] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30446/stat : 30446 (java) S 30435 30437 30005 0 -1 64 31 590 0 0 0 0 6 1 15 0 9 0 1981251999 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1376.13
Current children cumulated vsize (KiB) 867896
[startup+1391.9 s]
/proc/loadavg: 2.01 2.08 2.00 3/102 30702
/proc/meminfo: memFree=1393856/2055920 swapFree=4180472/4192956
[pid=30437] ppid=30435 vsize=867896 CPUtime=1379.27
/proc/30437/stat : 30437 (java) S 30435 30437 30005 0 -1 0 32943 590 1 0 137882 38 6 1 18 0 9 0 1981251994 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30437/statm: 216974 21119 2615 9 0 211502 0
[pid=30437/tid=30439] ppid=30435 vsize=867896 CPUtime=1378.59
/proc/30437/task/30439/stat : 30439 (java) R 30435 30437 30005 0 -1 64 24387 590 1 0 137820 32 6 1 25 0 9 0 1981251995 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4127077514 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30440] ppid=30435 vsize=867896 CPUtime=0.33
/proc/30437/task/30440/stat : 30440 (java) S 30435 30437 30005 0 -1 64 6777 590 0 0 24 2 6 1 16 0 9 0 1981251997 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30441] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30441/stat : 30441 (java) S 30435 30437 30005 0 -1 64 16 590 0 0 0 0 6 1 16 0 9 0 1981251997 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30442] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30442/stat : 30442 (java) S 30435 30437 30005 0 -1 64 10 590 0 0 0 0 6 1 16 0 9 0 1981251997 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30443] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30443/stat : 30443 (java) S 30435 30437 30005 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 1981251999 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30444] ppid=30435 vsize=867896 CPUtime=0.43
/proc/30437/task/30444/stat : 30444 (java) S 30435 30437 30005 0 -1 64 919 590 0 0 35 1 6 1 16 0 9 0 1981251999 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30437/tid=30445] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30445/stat : 30445 (java) S 30435 30437 30005 0 -1 64 1 590 0 0 0 0 6 1 19 0 9 0 1981251999 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30446] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30446/stat : 30446 (java) S 30435 30437 30005 0 -1 64 31 590 0 0 0 0 6 1 15 0 9 0 1981251999 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1379.27
Current children cumulated vsize (KiB) 867896
[startup+1395.1 s]
/proc/loadavg: 2.01 2.07 2.00 3/102 30702
/proc/meminfo: memFree=1393856/2055920 swapFree=4180472/4192956
[pid=30437] ppid=30435 vsize=867896 CPUtime=1382.4
/proc/30437/stat : 30437 (java) S 30435 30437 30005 0 -1 0 32943 590 1 0 138195 38 6 1 18 0 9 0 1981251994 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30437/statm: 216974 21119 2615 9 0 211502 0
[pid=30437/tid=30439] ppid=30435 vsize=867896 CPUtime=1381.73
/proc/30437/task/30439/stat : 30439 (java) R 30435 30437 30005 0 -1 64 24387 590 1 0 138134 32 6 1 25 0 9 0 1981251995 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4127087765 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30440] ppid=30435 vsize=867896 CPUtime=0.33
/proc/30437/task/30440/stat : 30440 (java) S 30435 30437 30005 0 -1 64 6777 590 0 0 24 2 6 1 16 0 9 0 1981251997 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30441] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30441/stat : 30441 (java) S 30435 30437 30005 0 -1 64 16 590 0 0 0 0 6 1 16 0 9 0 1981251997 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30442] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30442/stat : 30442 (java) S 30435 30437 30005 0 -1 64 10 590 0 0 0 0 6 1 16 0 9 0 1981251997 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30443] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30443/stat : 30443 (java) S 30435 30437 30005 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 1981251999 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30444] ppid=30435 vsize=867896 CPUtime=0.43
/proc/30437/task/30444/stat : 30444 (java) S 30435 30437 30005 0 -1 64 919 590 0 0 35 1 6 1 16 0 9 0 1981251999 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30437/tid=30445] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30445/stat : 30445 (java) S 30435 30437 30005 0 -1 64 1 590 0 0 0 0 6 1 19 0 9 0 1981251999 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30446] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30446/stat : 30446 (java) S 30435 30437 30005 0 -1 64 31 590 0 0 0 0 6 1 15 0 9 0 1981251999 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1382.4
Current children cumulated vsize (KiB) 867896
[startup+1395.91 s]
/proc/loadavg: 2.01 2.07 2.00 3/102 30702
/proc/meminfo: memFree=1393856/2055920 swapFree=4180472/4192956
[pid=30437] ppid=30435 vsize=867896 CPUtime=1383.2
/proc/30437/stat : 30437 (java) S 30435 30437 30005 0 -1 0 32943 590 1 0 138275 38 6 1 18 0 9 0 1981251994 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30437/statm: 216974 21119 2615 9 0 211502 0
[pid=30437/tid=30439] ppid=30435 vsize=867896 CPUtime=1382.52
/proc/30437/task/30439/stat : 30439 (java) R 30435 30437 30005 0 -1 64 24387 590 1 0 138213 32 6 1 25 0 9 0 1981251995 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4127086030 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30440] ppid=30435 vsize=867896 CPUtime=0.33
/proc/30437/task/30440/stat : 30440 (java) S 30435 30437 30005 0 -1 64 6777 590 0 0 24 2 6 1 16 0 9 0 1981251997 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30441] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30441/stat : 30441 (java) S 30435 30437 30005 0 -1 64 16 590 0 0 0 0 6 1 16 0 9 0 1981251997 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30442] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30442/stat : 30442 (java) S 30435 30437 30005 0 -1 64 10 590 0 0 0 0 6 1 16 0 9 0 1981251997 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30443] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30443/stat : 30443 (java) S 30435 30437 30005 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 1981251999 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30444] ppid=30435 vsize=867896 CPUtime=0.43
/proc/30437/task/30444/stat : 30444 (java) S 30435 30437 30005 0 -1 64 919 590 0 0 35 1 6 1 16 0 9 0 1981251999 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30437/tid=30445] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30445/stat : 30445 (java) S 30435 30437 30005 0 -1 64 1 590 0 0 0 0 6 1 19 0 9 0 1981251999 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30446] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30446/stat : 30446 (java) S 30435 30437 30005 0 -1 64 31 590 0 0 0 0 6 1 15 0 9 0 1981251999 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1383.2
Current children cumulated vsize (KiB) 867896
[startup+1396.3 s]
/proc/loadavg: 2.01 2.07 2.00 3/102 30702
/proc/meminfo: memFree=1393856/2055920 swapFree=4180472/4192956
[pid=30437] ppid=30435 vsize=867896 CPUtime=1383.58
/proc/30437/stat : 30437 (java) S 30435 30437 30005 0 -1 0 32943 590 1 0 138313 38 6 1 18 0 9 0 1981251994 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30437/statm: 216974 21119 2615 9 0 211502 0
[pid=30437/tid=30439] ppid=30435 vsize=867896 CPUtime=1382.91
/proc/30437/task/30439/stat : 30439 (java) R 30435 30437 30005 0 -1 64 24387 590 1 0 138252 32 6 1 25 0 9 0 1981251995 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4127088700 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30440] ppid=30435 vsize=867896 CPUtime=0.33
/proc/30437/task/30440/stat : 30440 (java) S 30435 30437 30005 0 -1 64 6777 590 0 0 24 2 6 1 16 0 9 0 1981251997 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30441] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30441/stat : 30441 (java) S 30435 30437 30005 0 -1 64 16 590 0 0 0 0 6 1 16 0 9 0 1981251997 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30442] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30442/stat : 30442 (java) S 30435 30437 30005 0 -1 64 10 590 0 0 0 0 6 1 16 0 9 0 1981251997 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30443] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30443/stat : 30443 (java) S 30435 30437 30005 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 1981251999 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30444] ppid=30435 vsize=867896 CPUtime=0.43
/proc/30437/task/30444/stat : 30444 (java) S 30435 30437 30005 0 -1 64 919 590 0 0 35 1 6 1 16 0 9 0 1981251999 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30437/tid=30445] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30445/stat : 30445 (java) S 30435 30437 30005 0 -1 64 1 590 0 0 0 0 6 1 19 0 9 0 1981251999 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30446] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30446/stat : 30446 (java) S 30435 30437 30005 0 -1 64 31 590 0 0 0 0 6 1 15 0 9 0 1981251999 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1383.58
Current children cumulated vsize (KiB) 867896
[startup+1396.7 s]
/proc/loadavg: 2.01 2.07 2.00 3/102 30702
/proc/meminfo: memFree=1393856/2055920 swapFree=4180472/4192956
[pid=30437] ppid=30435 vsize=867896 CPUtime=1383.98
/proc/30437/stat : 30437 (java) S 30435 30437 30005 0 -1 0 32943 590 1 0 138353 38 6 1 18 0 9 0 1981251994 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30437/statm: 216974 21119 2615 9 0 211502 0
[pid=30437/tid=30439] ppid=30435 vsize=867896 CPUtime=1383.31
/proc/30437/task/30439/stat : 30439 (java) R 30435 30437 30005 0 -1 64 24387 590 1 0 138292 32 6 1 25 0 9 0 1981251995 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4127165386 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30440] ppid=30435 vsize=867896 CPUtime=0.33
/proc/30437/task/30440/stat : 30440 (java) S 30435 30437 30005 0 -1 64 6777 590 0 0 24 2 6 1 16 0 9 0 1981251997 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30441] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30441/stat : 30441 (java) S 30435 30437 30005 0 -1 64 16 590 0 0 0 0 6 1 16 0 9 0 1981251997 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30442] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30442/stat : 30442 (java) S 30435 30437 30005 0 -1 64 10 590 0 0 0 0 6 1 16 0 9 0 1981251997 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30443] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30443/stat : 30443 (java) S 30435 30437 30005 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 1981251999 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30444] ppid=30435 vsize=867896 CPUtime=0.43
/proc/30437/task/30444/stat : 30444 (java) S 30435 30437 30005 0 -1 64 919 590 0 0 35 1 6 1 16 0 9 0 1981251999 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30437/tid=30445] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30445/stat : 30445 (java) S 30435 30437 30005 0 -1 64 1 590 0 0 0 0 6 1 19 0 9 0 1981251999 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30446] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30446/stat : 30446 (java) S 30435 30437 30005 0 -1 64 31 590 0 0 0 0 6 1 15 0 9 0 1981251999 888725504 21119 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1383.98
Current children cumulated vsize (KiB) 867896
[startup+1396.8 s]
/proc/loadavg: 2.01 2.07 2.00 3/102 30702
/proc/meminfo: memFree=1393856/2055920 swapFree=4180472/4192956
[pid=30437] ppid=30435 vsize=867896 CPUtime=1384.06
/proc/30437/stat : 30437 (java) S 30435 30437 30005 0 -1 0 32952 590 1 0 138361 38 6 1 18 0 9 0 1981251994 888725504 21124 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30437/statm: 216974 21124 2615 9 0 211502 0
[pid=30437/tid=30439] ppid=30435 vsize=867896 CPUtime=1383.39
/proc/30437/task/30439/stat : 30439 (java) S 30435 30437 30005 0 -1 64 24395 590 1 0 138300 32 6 1 23 0 9 0 1981251995 888725504 21124 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30440] ppid=30435 vsize=867896 CPUtime=0.33
/proc/30437/task/30440/stat : 30440 (java) S 30435 30437 30005 0 -1 64 6777 590 0 0 24 2 6 1 16 0 9 0 1981251997 888725504 21124 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30441] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30441/stat : 30441 (java) S 30435 30437 30005 0 -1 64 16 590 0 0 0 0 6 1 16 0 9 0 1981251997 888725504 21124 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30442] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30442/stat : 30442 (java) S 30435 30437 30005 0 -1 64 10 590 0 0 0 0 6 1 16 0 9 0 1981251997 888725504 21124 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30443] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30443/stat : 30443 (java) S 30435 30437 30005 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 1981251999 888725504 21124 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30444] ppid=30435 vsize=867896 CPUtime=0.44
/proc/30437/task/30444/stat : 30444 (java) S 30435 30437 30005 0 -1 64 920 590 0 0 36 1 6 1 16 0 9 0 1981251999 888725504 21124 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30445] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30445/stat : 30445 (java) S 30435 30437 30005 0 -1 64 1 590 0 0 0 0 6 1 19 0 9 0 1981251999 888725504 21124 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30437/tid=30446] ppid=30435 vsize=867896 CPUtime=0.07
/proc/30437/task/30446/stat : 30446 (java) S 30435 30437 30005 0 -1 64 31 590 0 0 0 0 6 1 15 0 9 0 1981251999 888725504 21124 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1384.06
Current children cumulated vsize (KiB) 867896
Child status: 0
Real time (s): 1396.84
CPU time (s): 1384.09
CPU user time (s): 1383.68
CPU system time (s): 0.408937
CPU usage (%): 99.0871
Max. virtual memory (cumulated for all children) (KiB): 867984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1383.68
system time used= 0.408937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33569
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= 30072
involuntary context switches= 52299
runsolver used 1.56576 second user time and 4.80527 second system time
The end
Begin job on node3 at 2008-07-02 20:19:26
IDJOB=1044884
IDBENCH=53523
IDSOLVER=364
FILE ID=node3/1044884-1215022766
PBS_JOBID= 7874464
Free space on /tmp= 66552 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/QCP-20/normalized-qcp-20-187-6_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-1044884-1215022766/watcher-1044884-1215022766 -o /tmp/evaluation-result-1044884-1215022766/solver-1044884-1215022766 -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-1044884-1215022766.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= b99e09050d1e5a990b013139f5dfdb16
RANDOM SEED=1607474119
node3.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1554392 kB
Buffers: 67300 kB
Cached: 339284 kB
SwapCached: 6516 kB
Active: 166284 kB
Inactive: 255644 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1554392 kB
SwapTotal: 4192956 kB
SwapFree: 4180472 kB
Dirty: 2468 kB
Writeback: 0 kB
Mapped: 23168 kB
Slab: 65112 kB
Committed_AS: 3381940 kB
PageTables: 1792 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= 66528 MiB
End job on node3 at 2008-07-02 20:42:43