0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mac.xml
0.27/0.32
0.27/0.32 instance
0.27/0.32 name=HOME/instance-1084821-1215232083.xml
0.27/0.35
0.27/0.35 domains being loaded...
0.27/0.36
0.27/0.36 variables being loaded...
0.27/0.38 nbVariables=20 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5 nbTotalValues=100
0.27/0.38 => wckTime=0.14 cpuTime=0.1 mem=7M919
0.27/0.38
0.27/0.38 relations being loaded...
3.35/3.42
3.35/3.42 INFO : Contraction of relations, mem = 108M609
5.13/5.27
5.13/5.27 constraints being loaded...
7.90/8.09 nbConstraints=18 nbRelationTypes=18 nbGlobalConstraints=18 nbExtensionStructures=18
7.90/8.09 nbSharedExtensionStructures=0 nbConflictsStructures=18 nbSharedConflictsStructures=0
7.90/8.09 nbSharedBinaryRepresentations=0 minDegree=2 maxDegree=11 minArity=8 maxArity=8 nbGenerators=0 nbFusions=0
7.90/8.09 symmetryWckTime=0.075 symmetryCpuTime=0.02
7.90/8.09 => wckTime=7.847 cpuTime=6.42 mem=182M667
8.88/9.03
8.88/9.05 solver IterativeSystematicSolver being built...
8.98/9.10
8.98/9.10 INFO : Forward propagation technique limited
8.98/9.17 => wckTime=8.93 cpuTime=6.54 mem=179M834
9.17/9.40
9.27/9.40 preprocessing
9.27/9.40 nbConstraintChecks=0 nbValidityChecks=1405279 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0
9.27/9.40 nbRemovedValues=0 detectedInconsistency=no
9.27/9.40 => wckTime=0.224 cpuTime=0.22 mem=179M834
9.96/10.14
9.96/10.14 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=180M769)
66.05/66.71
66.05/66.71 search
66.05/66.71 run=19 nbConstraintChecks=449037 nbValidityChecks=564238902 minDepth=2 maxDepth=20 nbPropagations=1994773
66.05/66.71 nbRevisions=0 nbUselessRevisions=0 nbAssignments=96317 nbFailedAssignments=52959 nbBacktracks=43181
66.05/66.71 nbVisitedNodes=179454 nbRestartNogoods=167 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=7.27
66.05/66.71 nbIEliminables=4.23 nbDEliminables=0 nbPEliminables=0
66.05/66.71 => wckTime=57.538 cpuTime=56.92 mem=183M378
66.05/66.71
66.05/66.71 global
66.05/66.71 nbConstraintChecks=449037 nbValidityChecks=565644181 nbPropagations=1994793 nbRestartNogoods=167
66.05/66.71 solvingWckTime=57.542 solvingCpuTime=56.92 expiredTime=no totalExploration=no nbFoundSolutions=1
66.05/66.71 firstSolutionCpuTime=63.45 globalCpuTime=63.51
66.05/66.71 => wckTime=66.473 cpuTime=63.46 mem=183M378
66.05/66.71
66.05/66.71 s SATISFIABLE
66.05/66.71 v 3 3 0 4 1 4 3 0 4 0 3 4 4 4 3 3 2 4 4 1
66.05/66.71 d NODES 96317
66.05/66.71 d CHECKS 449037
66.05/66.72
66.05/66.72 totalWckTime=66.529 totalCpuTime=63.51
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1084821-1215232083/watcher-1084821-1215232083 -o /tmp/evaluation-result-1084821-1215232083/solver-1084821-1215232083 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1084821-1215232083.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.01 1.99 1.99 4/73 27115
/proc/meminfo: memFree=1616216/2055920 swapFree=4112768/4192956
[pid=27115] ppid=27113 vsize=10616 CPUtime=0
/proc/27115/stat : 27115 (java) S 27113 27115 26847 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 1552878893 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27115/statm: 2654 472 209 9 0 1184 0
[pid=27115/tid=27116] ppid=27113 vsize=10616 CPUtime=0
/proc/27115/task/27116/stat : 27116 (java) R 27113 27115 26847 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 1552878895 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 9453528 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.110094 s]
/proc/loadavg: 2.01 1.99 1.99 4/73 27115
/proc/meminfo: memFree=1616216/2055920 swapFree=4112768/4192956
[pid=27115] ppid=27113 vsize=865884 CPUtime=0.09
/proc/27115/stat : 27115 (java) S 27113 27115 26847 0 -1 0 3790 0 1 0 7 2 0 0 18 0 9 0 1552878893 886665216 3241 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27115/statm: 216471 3241 1715 9 0 211026 0
[pid=27115/tid=27116] ppid=27113 vsize=865884 CPUtime=0.07
/proc/27115/task/27116/stat : 27116 (java) R 27113 27115 26847 0 -1 64 2887 0 1 0 6 1 0 0 18 0 9 0 1552878895 886665216 3241 996147200 134512640 134550740 4294955968 18446744073709551615 103840649 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.201107 s]
/proc/loadavg: 2.01 1.99 1.99 4/73 27115
/proc/meminfo: memFree=1616216/2055920 swapFree=4112768/4192956
[pid=27115] ppid=27113 vsize=866048 CPUtime=0.18
/proc/27115/stat : 27115 (java) S 27113 27115 26847 0 -1 0 4639 0 1 0 15 3 0 0 18 0 9 0 1552878893 886833152 4066 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27115/statm: 216512 4066 1852 9 0 211060 0
[pid=27115/tid=27116] ppid=27113 vsize=866048 CPUtime=0.16
/proc/27115/task/27116/stat : 27116 (java) R 27113 27115 26847 0 -1 64 3736 0 1 0 14 2 0 0 18 0 9 0 1552878895 886833152 4066 996147200 134512640 134550740 4294955968 18446744073709551615 102255518 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866048
[startup+0.301117 s]
/proc/loadavg: 2.01 1.99 1.99 4/73 27115
/proc/meminfo: memFree=1616216/2055920 swapFree=4112768/4192956
[pid=27115] ppid=27113 vsize=866196 CPUtime=0.27
/proc/27115/stat : 27115 (java) S 27113 27115 26847 0 -1 0 5620 0 1 0 24 3 0 0 18 0 9 0 1552878893 886984704 5034 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27115/statm: 216549 5034 1902 9 0 211097 0
[pid=27115/tid=27116] ppid=27113 vsize=866196 CPUtime=0.23
/proc/27115/task/27116/stat : 27116 (java) R 27113 27115 26847 0 -1 64 4655 0 1 0 21 2 0 0 19 0 9 0 1552878895 886984704 5034 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 2147483391 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866196
[startup+0.701163 s]
/proc/loadavg: 2.01 1.99 1.99 4/73 27115
/proc/meminfo: memFree=1616216/2055920 swapFree=4112768/4192956
[pid=27115] ppid=27113 vsize=866408 CPUtime=0.67
/proc/27115/stat : 27115 (java) S 27113 27115 26847 0 -1 0 13191 0 1 0 60 7 0 0 18 0 9 0 1552878893 887201792 12561 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27115/statm: 216602 12561 1969 9 0 211130 0
[pid=27115/tid=27116] ppid=27113 vsize=866408 CPUtime=0.6
/proc/27115/task/27116/stat : 27116 (java) R 27113 27115 26847 0 -1 64 12172 0 1 0 54 6 0 0 20 0 9 0 1552878895 887201792 12561 996147200 134512640 134550740 4294955968 18446744073709551615 4126417760 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 866408
[startup+1.50125 s]
/proc/loadavg: 2.01 1.99 1.99 3/82 27124
/proc/meminfo: memFree=1544720/2055920 swapFree=4112768/4192956
[pid=27115] ppid=27113 vsize=866408 CPUtime=1.46
/proc/27115/stat : 27115 (java) S 27113 27115 26847 0 -1 0 23866 0 1 0 135 11 0 0 18 0 9 0 1552878893 887201792 23234 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27115/statm: 216602 23234 1981 9 0 211130 0
[pid=27115/tid=27116] ppid=27113 vsize=866408 CPUtime=1.3
/proc/27115/task/27116/stat : 27116 (java) R 27113 27115 26847 0 -1 64 15653 0 1 0 122 8 0 0 25 0 9 0 1552878895 887201792 23234 996147200 134512640 134550740 4294955968 18446744073709551615 4126417768 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27118] ppid=27113 vsize=866408 CPUtime=0.08
/proc/27115/task/27118/stat : 27118 (java) S 27113 27115 26847 0 -1 64 7195 0 0 0 6 2 0 0 16 0 9 0 1552878896 887201792 23234 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27119] ppid=27113 vsize=866408 CPUtime=0
/proc/27115/task/27119/stat : 27119 (java) S 27113 27115 26847 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1552878897 887201792 23234 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27120] ppid=27113 vsize=866408 CPUtime=0
/proc/27115/task/27120/stat : 27120 (java) S 27113 27115 26847 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1552878897 887201792 23234 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27121] ppid=27113 vsize=866408 CPUtime=0
/proc/27115/task/27121/stat : 27121 (java) S 27113 27115 26847 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1552878899 887201792 23234 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27122] ppid=27113 vsize=866408 CPUtime=0.06
/proc/27115/task/27122/stat : 27122 (java) S 27113 27115 26847 0 -1 64 325 0 0 0 6 0 0 0 16 0 9 0 1552878899 887201792 23234 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27123] ppid=27113 vsize=866408 CPUtime=0
/proc/27115/task/27123/stat : 27123 (java) S 27113 27115 26847 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1552878899 887201792 23234 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27124] ppid=27113 vsize=866408 CPUtime=0
/proc/27115/task/27124/stat : 27124 (java) S 27113 27115 26847 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1552878899 887201792 23234 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 866408
[startup+3.10244 s]
/proc/loadavg: 2.01 1.99 1.99 3/82 27124
/proc/meminfo: memFree=1511632/2055920 swapFree=4112768/4192956
[pid=27115] ppid=27113 vsize=866540 CPUtime=3.05
/proc/27115/stat : 27115 (java) S 27113 27115 26847 0 -1 0 32824 0 1 0 289 16 0 0 18 0 9 0 1552878893 887336960 32188 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27115/statm: 216635 32188 1981 9 0 211163 0
[pid=27115/tid=27116] ppid=27113 vsize=866540 CPUtime=2.69
/proc/27115/task/27116/stat : 27116 (java) R 27113 27115 26847 0 -1 64 15657 0 1 0 260 9 0 0 25 0 9 0 1552878895 887336960 32188 996147200 134512640 134550740 4294955968 18446744073709551615 4126417448 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27118] ppid=27113 vsize=866540 CPUtime=0.28
/proc/27115/task/27118/stat : 27118 (java) S 27113 27115 26847 0 -1 64 16145 0 0 0 22 6 0 0 16 0 9 0 1552878896 887336960 32188 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27119] ppid=27113 vsize=866540 CPUtime=0
/proc/27115/task/27119/stat : 27119 (java) S 27113 27115 26847 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1552878897 887336960 32188 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27120] ppid=27113 vsize=866540 CPUtime=0
/proc/27115/task/27120/stat : 27120 (java) S 27113 27115 26847 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1552878897 887336960 32188 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27121] ppid=27113 vsize=866540 CPUtime=0
/proc/27115/task/27121/stat : 27121 (java) S 27113 27115 26847 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1552878899 887336960 32188 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27122] ppid=27113 vsize=866540 CPUtime=0.07
/proc/27115/task/27122/stat : 27122 (java) S 27113 27115 26847 0 -1 64 329 0 0 0 7 0 0 0 16 0 9 0 1552878899 887336960 32188 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27123] ppid=27113 vsize=866540 CPUtime=0
/proc/27115/task/27123/stat : 27123 (java) S 27113 27115 26847 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1552878899 887336960 32188 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27124] ppid=27113 vsize=866540 CPUtime=0
/proc/27115/task/27124/stat : 27124 (java) S 27113 27115 26847 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1552878899 887336960 32188 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 866540
[startup+6.30279 s]
/proc/loadavg: 2.09 2.00 2.00 3/82 27124
/proc/meminfo: memFree=1465808/2055920 swapFree=4112768/4192956
[pid=27115] ppid=27113 vsize=867064 CPUtime=6.21
/proc/27115/stat : 27115 (java) S 27113 27115 26847 0 -1 0 45855 0 1 0 600 21 0 0 18 0 9 0 1552878893 887873536 43060 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27115/statm: 216766 43060 2608 9 0 211294 0
[pid=27115/tid=27116] ppid=27113 vsize=867064 CPUtime=5.12
/proc/27115/task/27116/stat : 27116 (java) R 27113 27115 26847 0 -1 64 15708 0 1 0 503 9 0 0 25 0 9 0 1552878895 887873536 43060 996147200 134512640 134550740 4294955968 18446744073709551615 4126635049 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27118] ppid=27113 vsize=867064 CPUtime=0.95
/proc/27115/task/27118/stat : 27118 (java) S 27113 27115 26847 0 -1 64 28976 0 0 0 85 10 0 0 16 0 9 0 1552878896 887873536 43060 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27119] ppid=27113 vsize=867064 CPUtime=0
/proc/27115/task/27119/stat : 27119 (java) S 27113 27115 26847 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1552878897 887873536 43060 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27120] ppid=27113 vsize=867064 CPUtime=0
/proc/27115/task/27120/stat : 27120 (java) S 27113 27115 26847 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1552878897 887873536 43060 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27121] ppid=27113 vsize=867064 CPUtime=0
/proc/27115/task/27121/stat : 27121 (java) S 27113 27115 26847 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1552878899 887873536 43060 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27122] ppid=27113 vsize=867064 CPUtime=0.11
/proc/27115/task/27122/stat : 27122 (java) S 27113 27115 26847 0 -1 64 475 0 0 0 11 0 0 0 16 0 9 0 1552878899 887873536 43060 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27123] ppid=27113 vsize=867064 CPUtime=0
/proc/27115/task/27123/stat : 27123 (java) S 27113 27115 26847 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1552878899 887873536 43060 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27124] ppid=27113 vsize=867064 CPUtime=0
/proc/27115/task/27124/stat : 27124 (java) S 27113 27115 26847 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1552878899 887873536 43060 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867064
[startup+12.7025 s]
/proc/loadavg: 2.16 2.02 2.01 3/82 27128
/proc/meminfo: memFree=1386824/2055920 swapFree=4112768/4192956
[pid=27115] ppid=27113 vsize=867476 CPUtime=12.54
/proc/27115/stat : 27115 (java) S 27113 27115 26847 0 -1 0 107545 267 1 0 1214 38 0 2 18 0 9 0 1552878893 888295424 59758 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27115/statm: 216869 59758 2635 9 0 211375 0
[pid=27115/tid=27116] ppid=27113 vsize=867476 CPUtime=10.16
/proc/27115/task/27116/stat : 27116 (java) R 27113 27115 26847 0 -1 64 19220 267 1 0 1003 11 0 2 25 0 9 0 1552878895 888295424 59758 996147200 134512640 134550740 4294955968 18446744073709551615 4126820789 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27118] ppid=27113 vsize=867476 CPUtime=2.1
/proc/27115/task/27118/stat : 27118 (java) S 27113 27115 26847 0 -1 64 86829 267 0 0 185 23 0 2 17 0 9 0 1552878896 888295424 59758 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27119] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27119/stat : 27119 (java) S 27113 27115 26847 0 -1 64 17 267 0 0 0 0 0 2 16 0 9 0 1552878897 888295424 59758 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27120] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27120/stat : 27120 (java) S 27113 27115 26847 0 -1 64 8 267 0 0 0 0 0 2 16 0 9 0 1552878897 888295424 59758 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27121] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27121/stat : 27121 (java) S 27113 27115 26847 0 -1 64 0 267 0 0 0 0 0 2 18 0 9 0 1552878899 888295424 59758 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27122] ppid=27113 vsize=867476 CPUtime=0.27
/proc/27115/task/27122/stat : 27122 (java) S 27113 27115 26847 0 -1 64 647 267 0 0 25 0 0 2 16 0 9 0 1552878899 888295424 59758 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27123] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27123/stat : 27123 (java) S 27113 27115 26847 0 -1 64 2 267 0 0 0 0 0 2 19 0 9 0 1552878899 888295424 59758 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27124] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27124/stat : 27124 (java) S 27113 27115 26847 0 -1 64 10 267 0 0 0 0 0 2 15 0 9 0 1552878899 888295424 59758 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 867476
[startup+25.502 s]
/proc/loadavg: 2.12 2.02 2.00 3/82 27128
/proc/meminfo: memFree=1386888/2055920 swapFree=4112768/4192956
[pid=27115] ppid=27113 vsize=867476 CPUtime=25.22
/proc/27115/stat : 27115 (java) S 27113 27115 26847 0 -1 0 107664 267 1 0 2482 38 0 2 18 0 9 0 1552878893 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27115/statm: 216869 59760 2635 9 0 211375 0
[pid=27115/tid=27116] ppid=27113 vsize=867476 CPUtime=22.84
/proc/27115/task/27116/stat : 27116 (java) R 27113 27115 26847 0 -1 64 19336 267 1 0 2271 11 0 2 25 0 9 0 1552878895 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4126820789 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27118] ppid=27113 vsize=867476 CPUtime=2.1
/proc/27115/task/27118/stat : 27118 (java) S 27113 27115 26847 0 -1 64 86829 267 0 0 185 23 0 2 16 0 9 0 1552878896 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27119] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27119/stat : 27119 (java) S 27113 27115 26847 0 -1 64 17 267 0 0 0 0 0 2 16 0 9 0 1552878897 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27120] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27120/stat : 27120 (java) S 27113 27115 26847 0 -1 64 8 267 0 0 0 0 0 2 16 0 9 0 1552878897 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27121] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27121/stat : 27121 (java) S 27113 27115 26847 0 -1 64 0 267 0 0 0 0 0 2 18 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27122] ppid=27113 vsize=867476 CPUtime=0.27
/proc/27115/task/27122/stat : 27122 (java) S 27113 27115 26847 0 -1 64 650 267 0 0 25 0 0 2 16 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27123] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27123/stat : 27123 (java) S 27113 27115 26847 0 -1 64 2 267 0 0 0 0 0 2 19 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27124] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27124/stat : 27124 (java) S 27113 27115 26847 0 -1 64 10 267 0 0 0 0 0 2 15 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 867476
[startup+51.1018 s]
/proc/loadavg: 2.08 2.02 2.00 3/82 27128
/proc/meminfo: memFree=1386888/2055920 swapFree=4112768/4192956
[pid=27115] ppid=27113 vsize=867476 CPUtime=50.59
/proc/27115/stat : 27115 (java) S 27113 27115 26847 0 -1 0 107931 267 1 0 5018 39 0 2 18 0 9 0 1552878893 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27115/statm: 216869 59760 2635 9 0 211375 0
[pid=27115/tid=27116] ppid=27113 vsize=867476 CPUtime=48.21
/proc/27115/task/27116/stat : 27116 (java) R 27113 27115 26847 0 -1 64 19603 267 1 0 4807 12 0 2 25 0 9 0 1552878895 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4126820773 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27118] ppid=27113 vsize=867476 CPUtime=2.1
################
# More data... #
################
/proc/27115/stat : 27115 (java) S 27113 27115 26847 0 -1 0 108000 267 1 0 5663 39 0 2 18 0 9 0 1552878893 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27115/statm: 216869 59760 2635 9 0 211375 0
[pid=27115/tid=27116] ppid=27113 vsize=867476 CPUtime=54.65
/proc/27115/task/27116/stat : 27116 (java) R 27113 27115 26847 0 -1 64 19672 267 1 0 5451 12 0 2 25 0 9 0 1552878895 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4126821008 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27118] ppid=27113 vsize=867476 CPUtime=2.1
/proc/27115/task/27118/stat : 27118 (java) S 27113 27115 26847 0 -1 64 86829 267 0 0 185 23 0 2 16 0 9 0 1552878896 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27119] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27119/stat : 27119 (java) S 27113 27115 26847 0 -1 64 17 267 0 0 0 0 0 2 16 0 9 0 1552878897 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27120] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27120/stat : 27120 (java) S 27113 27115 26847 0 -1 64 8 267 0 0 0 0 0 2 16 0 9 0 1552878897 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27121] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27121/stat : 27121 (java) S 27113 27115 26847 0 -1 64 0 267 0 0 0 0 0 2 18 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27122] ppid=27113 vsize=867476 CPUtime=0.27
/proc/27115/task/27122/stat : 27122 (java) S 27113 27115 26847 0 -1 64 650 267 0 0 25 0 0 2 16 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27123] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27123/stat : 27123 (java) S 27113 27115 26847 0 -1 64 2 267 0 0 0 0 0 2 19 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27124] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27124/stat : 27124 (java) S 27113 27115 26847 0 -1 64 10 267 0 0 0 0 0 2 15 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 57.04
Current children cumulated vsize (KiB) 867476
[startup+60.8019 s]
/proc/loadavg: 2.07 2.02 2.00 3/82 27128
/proc/meminfo: memFree=1386952/2055920 swapFree=4112768/4192956
[pid=27115] ppid=27113 vsize=867476 CPUtime=60.2
/proc/27115/stat : 27115 (java) S 27113 27115 26847 0 -1 0 108034 267 1 0 5979 39 0 2 18 0 9 0 1552878893 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27115/statm: 216869 59760 2635 9 0 211375 0
[pid=27115/tid=27116] ppid=27113 vsize=867476 CPUtime=57.82
/proc/27115/task/27116/stat : 27116 (java) R 27113 27115 26847 0 -1 64 19706 267 1 0 5768 12 0 2 25 0 9 0 1552878895 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4126841567 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27118] ppid=27113 vsize=867476 CPUtime=2.1
/proc/27115/task/27118/stat : 27118 (java) S 27113 27115 26847 0 -1 64 86829 267 0 0 185 23 0 2 16 0 9 0 1552878896 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27119] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27119/stat : 27119 (java) S 27113 27115 26847 0 -1 64 17 267 0 0 0 0 0 2 16 0 9 0 1552878897 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27120] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27120/stat : 27120 (java) S 27113 27115 26847 0 -1 64 8 267 0 0 0 0 0 2 16 0 9 0 1552878897 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27121] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27121/stat : 27121 (java) S 27113 27115 26847 0 -1 64 0 267 0 0 0 0 0 2 18 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27122] ppid=27113 vsize=867476 CPUtime=0.27
/proc/27115/task/27122/stat : 27122 (java) S 27113 27115 26847 0 -1 64 650 267 0 0 25 0 0 2 16 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27123] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27123/stat : 27123 (java) S 27113 27115 26847 0 -1 64 2 267 0 0 0 0 0 2 19 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27124] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27124/stat : 27124 (java) S 27113 27115 26847 0 -1 64 10 267 0 0 0 0 0 2 15 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 60.2
Current children cumulated vsize (KiB) 867476
[startup+64.0023 s]
/proc/loadavg: 2.07 2.02 2.00 3/82 27128
/proc/meminfo: memFree=1386888/2055920 swapFree=4112768/4192956
[pid=27115] ppid=27113 vsize=867476 CPUtime=63.37
/proc/27115/stat : 27115 (java) S 27113 27115 26847 0 -1 0 108069 267 1 0 6296 39 0 2 18 0 9 0 1552878893 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27115/statm: 216869 59760 2635 9 0 211375 0
[pid=27115/tid=27116] ppid=27113 vsize=867476 CPUtime=60.98
/proc/27115/task/27116/stat : 27116 (java) R 27113 27115 26847 0 -1 64 19741 267 1 0 6084 12 0 2 25 0 9 0 1552878895 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4126820930 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27118] ppid=27113 vsize=867476 CPUtime=2.1
/proc/27115/task/27118/stat : 27118 (java) S 27113 27115 26847 0 -1 64 86829 267 0 0 185 23 0 2 16 0 9 0 1552878896 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27119] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27119/stat : 27119 (java) S 27113 27115 26847 0 -1 64 17 267 0 0 0 0 0 2 16 0 9 0 1552878897 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27120] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27120/stat : 27120 (java) S 27113 27115 26847 0 -1 64 8 267 0 0 0 0 0 2 16 0 9 0 1552878897 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27121] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27121/stat : 27121 (java) S 27113 27115 26847 0 -1 64 0 267 0 0 0 0 0 2 18 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27122] ppid=27113 vsize=867476 CPUtime=0.27
/proc/27115/task/27122/stat : 27122 (java) S 27113 27115 26847 0 -1 64 650 267 0 0 25 0 0 2 16 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27123] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27123/stat : 27123 (java) S 27113 27115 26847 0 -1 64 2 267 0 0 0 0 0 2 19 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27124] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27124/stat : 27124 (java) S 27113 27115 26847 0 -1 64 10 267 0 0 0 0 0 2 15 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 63.37
Current children cumulated vsize (KiB) 867476
[startup+65.6025 s]
/proc/loadavg: 2.06 2.01 2.00 3/82 27128
/proc/meminfo: memFree=1386888/2055920 swapFree=4112768/4192956
[pid=27115] ppid=27113 vsize=867476 CPUtime=64.96
/proc/27115/stat : 27115 (java) S 27113 27115 26847 0 -1 0 108086 267 1 0 6455 39 0 2 18 0 9 0 1552878893 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27115/statm: 216869 59760 2635 9 0 211375 0
[pid=27115/tid=27116] ppid=27113 vsize=867476 CPUtime=62.57
/proc/27115/task/27116/stat : 27116 (java) R 27113 27115 26847 0 -1 64 19758 267 1 0 6243 12 0 2 25 0 9 0 1552878895 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4126833043 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27118] ppid=27113 vsize=867476 CPUtime=2.1
/proc/27115/task/27118/stat : 27118 (java) S 27113 27115 26847 0 -1 64 86829 267 0 0 185 23 0 2 16 0 9 0 1552878896 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27119] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27119/stat : 27119 (java) S 27113 27115 26847 0 -1 64 17 267 0 0 0 0 0 2 16 0 9 0 1552878897 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27120] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27120/stat : 27120 (java) S 27113 27115 26847 0 -1 64 8 267 0 0 0 0 0 2 16 0 9 0 1552878897 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27121] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27121/stat : 27121 (java) S 27113 27115 26847 0 -1 64 0 267 0 0 0 0 0 2 18 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27122] ppid=27113 vsize=867476 CPUtime=0.27
/proc/27115/task/27122/stat : 27122 (java) S 27113 27115 26847 0 -1 64 650 267 0 0 25 0 0 2 16 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27123] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27123/stat : 27123 (java) S 27113 27115 26847 0 -1 64 2 267 0 0 0 0 0 2 19 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27124] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27124/stat : 27124 (java) S 27113 27115 26847 0 -1 64 10 267 0 0 0 0 0 2 15 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 64.96
Current children cumulated vsize (KiB) 867476
[startup+66.4026 s]
/proc/loadavg: 2.06 2.01 2.00 3/82 27128
/proc/meminfo: memFree=1386888/2055920 swapFree=4112768/4192956
[pid=27115] ppid=27113 vsize=867476 CPUtime=65.75
/proc/27115/stat : 27115 (java) S 27113 27115 26847 0 -1 0 108094 267 1 0 6534 39 0 2 18 0 9 0 1552878893 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27115/statm: 216869 59760 2635 9 0 211375 0
[pid=27115/tid=27116] ppid=27113 vsize=867476 CPUtime=63.36
/proc/27115/task/27116/stat : 27116 (java) R 27113 27115 26847 0 -1 64 19766 267 1 0 6322 12 0 2 25 0 9 0 1552878895 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4126820737 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27118] ppid=27113 vsize=867476 CPUtime=2.1
/proc/27115/task/27118/stat : 27118 (java) S 27113 27115 26847 0 -1 64 86829 267 0 0 185 23 0 2 16 0 9 0 1552878896 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27119] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27119/stat : 27119 (java) S 27113 27115 26847 0 -1 64 17 267 0 0 0 0 0 2 16 0 9 0 1552878897 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27120] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27120/stat : 27120 (java) S 27113 27115 26847 0 -1 64 8 267 0 0 0 0 0 2 16 0 9 0 1552878897 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27121] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27121/stat : 27121 (java) S 27113 27115 26847 0 -1 64 0 267 0 0 0 0 0 2 18 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27122] ppid=27113 vsize=867476 CPUtime=0.27
/proc/27115/task/27122/stat : 27122 (java) S 27113 27115 26847 0 -1 64 650 267 0 0 25 0 0 2 16 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27123] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27123/stat : 27123 (java) S 27113 27115 26847 0 -1 64 2 267 0 0 0 0 0 2 19 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27124] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27124/stat : 27124 (java) S 27113 27115 26847 0 -1 64 10 267 0 0 0 0 0 2 15 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 65.75
Current children cumulated vsize (KiB) 867476
[startup+66.6026 s]
/proc/loadavg: 2.06 2.01 2.00 3/82 27128
/proc/meminfo: memFree=1386888/2055920 swapFree=4112768/4192956
[pid=27115] ppid=27113 vsize=867476 CPUtime=65.95
/proc/27115/stat : 27115 (java) S 27113 27115 26847 0 -1 0 108096 267 1 0 6554 39 0 2 18 0 9 0 1552878893 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27115/statm: 216869 59760 2635 9 0 211375 0
[pid=27115/tid=27116] ppid=27113 vsize=867476 CPUtime=63.56
/proc/27115/task/27116/stat : 27116 (java) R 27113 27115 26847 0 -1 64 19768 267 1 0 6342 12 0 2 25 0 9 0 1552878895 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4126820930 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27118] ppid=27113 vsize=867476 CPUtime=2.1
/proc/27115/task/27118/stat : 27118 (java) S 27113 27115 26847 0 -1 64 86829 267 0 0 185 23 0 2 16 0 9 0 1552878896 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27119] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27119/stat : 27119 (java) S 27113 27115 26847 0 -1 64 17 267 0 0 0 0 0 2 16 0 9 0 1552878897 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27120] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27120/stat : 27120 (java) S 27113 27115 26847 0 -1 64 8 267 0 0 0 0 0 2 16 0 9 0 1552878897 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27121] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27121/stat : 27121 (java) S 27113 27115 26847 0 -1 64 0 267 0 0 0 0 0 2 18 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27122] ppid=27113 vsize=867476 CPUtime=0.27
/proc/27115/task/27122/stat : 27122 (java) S 27113 27115 26847 0 -1 64 650 267 0 0 25 0 0 2 16 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27123] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27123/stat : 27123 (java) S 27113 27115 26847 0 -1 64 2 267 0 0 0 0 0 2 19 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27124] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27124/stat : 27124 (java) S 27113 27115 26847 0 -1 64 10 267 0 0 0 0 0 2 15 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 65.95
Current children cumulated vsize (KiB) 867476
[startup+66.7026 s]
/proc/loadavg: 2.06 2.01 2.00 3/82 27128
/proc/meminfo: memFree=1386888/2055920 swapFree=4112768/4192956
[pid=27115] ppid=27113 vsize=867476 CPUtime=66.05
/proc/27115/stat : 27115 (java) S 27113 27115 26847 0 -1 0 108097 267 1 0 6564 39 0 2 18 0 9 0 1552878893 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27115/statm: 216869 59760 2635 9 0 211375 0
[pid=27115/tid=27116] ppid=27113 vsize=867476 CPUtime=63.66
/proc/27115/task/27116/stat : 27116 (java) R 27113 27115 26847 0 -1 64 19769 267 1 0 6352 12 0 2 25 0 9 0 1552878895 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4126820789 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27118] ppid=27113 vsize=867476 CPUtime=2.1
/proc/27115/task/27118/stat : 27118 (java) S 27113 27115 26847 0 -1 64 86829 267 0 0 185 23 0 2 16 0 9 0 1552878896 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27119] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27119/stat : 27119 (java) S 27113 27115 26847 0 -1 64 17 267 0 0 0 0 0 2 16 0 9 0 1552878897 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27120] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27120/stat : 27120 (java) S 27113 27115 26847 0 -1 64 8 267 0 0 0 0 0 2 16 0 9 0 1552878897 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27121] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27121/stat : 27121 (java) S 27113 27115 26847 0 -1 64 0 267 0 0 0 0 0 2 18 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27122] ppid=27113 vsize=867476 CPUtime=0.27
/proc/27115/task/27122/stat : 27122 (java) S 27113 27115 26847 0 -1 64 650 267 0 0 25 0 0 2 16 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27123] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27123/stat : 27123 (java) S 27113 27115 26847 0 -1 64 2 267 0 0 0 0 0 2 19 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27115/tid=27124] ppid=27113 vsize=867476 CPUtime=0.02
/proc/27115/task/27124/stat : 27124 (java) R 27113 27115 26847 0 -1 64 10 267 0 0 0 0 0 2 15 0 9 0 1552878899 888295424 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 66.05
Current children cumulated vsize (KiB) 867476
Child status: 0
Real time (s): 66.7931
CPU time (s): 66.1249
CPU user time (s): 65.666
CPU system time (s): 0.45893
CPU usage (%): 98.9996
Max. virtual memory (cumulated for all children) (KiB): 871068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 65.666
system time used= 0.45893
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108490
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= 2571
involuntary context switches= 3979
runsolver used 0.113982 second user time and 0.205968 second system time
The end
Begin job on node38 at 2008-07-05 06:28:05
IDJOB=1084821
IDBENCH=57584
IDSOLVER=363
FILE ID=node38/1084821-1215232083
PBS_JOBID= 7881933
Free space on /tmp= 66392 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1084821-1215232083/watcher-1084821-1215232083 -o /tmp/evaluation-result-1084821-1215232083/solver-1084821-1215232083 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1084821-1215232083.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= d79ec5163944086e4aebac72d51eb912
RANDOM SEED=1450439747
node38.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.223
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.223
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: 1616696 kB
Buffers: 46144 kB
Cached: 243424 kB
SwapCached: 74232 kB
Active: 300224 kB
Inactive: 83816 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1616696 kB
SwapTotal: 4192956 kB
SwapFree: 4112768 kB
Dirty: 24072 kB
Writeback: 0 kB
Mapped: 101904 kB
Slab: 40192 kB
Committed_AS: 2956956 kB
PageTables: 2104 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66392 MiB
End job on node38 at 2008-07-05 06:29:12