0.05/0.09
0.05/0.09 Abscon 112 (May, 2008)
0.18/0.27
0.18/0.27 configuration
0.18/0.27 name=mac.xml
0.28/0.30
0.28/0.30 instance
0.28/0.30 name=HOME/instance-1094520-1215251651.xml
0.28/0.34
0.28/0.34 domains being loaded...
0.28/0.35
0.28/0.35 variables being loaded...
0.28/0.37 nbVariables=23 nbDomainTypes=1 minDomainSize=3 maxDomainSize=3 nbTotalValues=69
0.28/0.38 => wckTime=0.107 cpuTime=0.1 mem=7M919
0.28/0.38
0.28/0.38 relations being loaded...
2.45/2.52
2.45/2.52 INFO : Contraction of relations, mem = 106M832
15.43/15.63
15.43/15.63 constraints being loaded...
22.92/23.21 nbConstraints=16 nbRelationTypes=16 nbGlobalConstraints=16 nbExtensionStructures=16
22.92/23.22 nbSharedExtensionStructures=0 nbConflictsStructures=16 nbSharedConflictsStructures=0
22.92/23.22 nbSharedBinaryRepresentations=0 minDegree=7 maxDegree=16 minArity=15 maxArity=15 nbGenerators=0 nbFusions=0
22.92/23.22 symmetryWckTime=0.153 symmetryCpuTime=0.03
22.92/23.22 => wckTime=22.947 cpuTime=17.39 mem=661M237
26.91/27.21
26.91/27.22 solver IterativeSystematicSolver being built...
26.91/27.28
26.91/27.28 INFO : Forward propagation technique limited
27.01/27.35 => wckTime=27.084 cpuTime=17.53 mem=533M845
27.61/27.96
27.61/27.96 preprocessing
27.61/27.96 nbConstraintChecks=0 nbValidityChecks=2400000 nbPropagations=23 nbRevisions=0 nbUselessRevisions=0
27.61/27.96 nbRemovedValues=0 detectedInconsistency=no
27.61/27.96 => wckTime=0.607 cpuTime=0.59 mem=533M845
29.09/29.46
29.09/29.46 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=534M775)
99.43/100.42
99.43/100.43 search
99.43/100.43 run=17 nbConstraintChecks=21188 nbValidityChecks=507272541 minDepth=0 maxDepth=11 nbPropagations=581961
99.43/100.43 nbRevisions=0 nbUselessRevisions=0 nbAssignments=54102 nbFailedAssignments=25712 nbBacktracks=28251
99.43/100.43 nbVisitedNodes=98403 nbRestartNogoods=104 nbSEliminables=0 nbREliminables=14.77 nbIEliminables=0
99.43/100.43 nbDEliminables=0 nbPEliminables=0
99.43/100.43 => wckTime=73.07 cpuTime=72.29 mem=536M504
99.43/100.43
99.43/100.43 global
99.43/100.43 nbConstraintChecks=21188 nbValidityChecks=509672541 nbPropagations=581984 nbRestartNogoods=104
99.43/100.43 solvingWckTime=73.073 solvingCpuTime=72.29 expiredTime=no totalExploration=yes nbFoundSolutions=0
99.43/100.43 globalCpuTime=89.88
99.43/100.43 => wckTime=100.159 cpuTime=89.83 mem=536M504
99.43/100.43
99.43/100.43 s UNSATISFIABLE
99.43/100.43 d NODES 54102
99.43/100.43 d CHECKS 21188
99.43/100.43
99.43/100.43 totalWckTime=100.23 totalCpuTime=89.88
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1094520-1215251651/watcher-1094520-1215251651 -o /tmp/evaluation-result-1094520-1215251651/solver-1094520-1215251651 -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-1094520-1215251651.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.00 2.01 2.00 4/80 26554
/proc/meminfo: memFree=1466096/2055920 swapFree=4122872/4192956
[pid=26554] ppid=26552 vsize=18572 CPUtime=0
/proc/26554/stat : 26554 (runsolver) R 26552 26554 23202 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 1554840717 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26554/statm: 4643 292 257 25 0 2626 0
[startup+0.0688889 s]
/proc/loadavg: 2.00 2.01 2.00 4/80 26554
/proc/meminfo: memFree=1466096/2055920 swapFree=4122872/4192956
[pid=26554] ppid=26552 vsize=864076 CPUtime=0.05
/proc/26554/stat : 26554 (java) S 26552 26554 23202 0 -1 0 2800 0 1 0 4 1 0 0 18 0 9 0 1554840717 884813824 2338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26554/statm: 216019 2338 1120 9 0 210976 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864076
[startup+0.102891 s]
/proc/loadavg: 2.00 2.01 2.00 4/80 26554
/proc/meminfo: memFree=1466096/2055920 swapFree=4122872/4192956
[pid=26554] ppid=26552 vsize=865884 CPUtime=0.08
/proc/26554/stat : 26554 (java) S 26552 26554 23202 0 -1 0 3672 0 1 0 6 2 0 0 18 0 9 0 1554840717 886665216 3147 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26554/statm: 216471 3147 1681 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301919 s]
/proc/loadavg: 2.00 2.01 2.00 4/80 26554
/proc/meminfo: memFree=1466096/2055920 swapFree=4122872/4192956
[pid=26554] ppid=26552 vsize=867296 CPUtime=0.28
/proc/26554/stat : 26554 (java) S 26552 26554 23202 0 -1 0 5700 0 1 0 25 3 0 0 18 0 9 0 1554840717 888111104 5102 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26554/statm: 216824 5102 1935 9 0 211352 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 867296
[startup+0.702955 s]
/proc/loadavg: 2.00 2.01 2.00 4/80 26554
/proc/meminfo: memFree=1466096/2055920 swapFree=4122872/4192956
[pid=26554] ppid=26552 vsize=867424 CPUtime=0.68
/proc/26554/stat : 26554 (java) S 26552 26554 23202 0 -1 0 18620 0 1 0 58 10 0 0 18 0 9 0 1554840717 888242176 17988 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26554/statm: 216856 17988 1983 9 0 211384 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867424
[startup+1.50204 s]
/proc/loadavg: 2.08 2.02 2.01 3/89 26563
/proc/meminfo: memFree=1374056/2055920 swapFree=4122872/4192956
[pid=26554] ppid=26552 vsize=867424 CPUtime=1.47
/proc/26554/stat : 26554 (java) S 26552 26554 23202 0 -1 0 32270 0 1 0 132 15 0 0 18 0 9 0 1554840717 888242176 31636 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26554/statm: 216856 31636 1983 9 0 211384 0
[pid=26554/tid=26556] ppid=26552 vsize=867424 CPUtime=1.23
/proc/26554/task/26556/stat : 26556 (java) R 26552 26554 23202 0 -1 64 15669 0 1 0 115 8 0 0 25 0 9 0 1554840719 888242176 31636 996147200 134512640 134550740 4294955968 18446744073709551615 4126583120 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26557] ppid=26552 vsize=867424 CPUtime=0.15
/proc/26554/task/26557/stat : 26557 (java) S 26552 26554 23202 0 -1 64 15568 0 0 0 9 6 0 0 16 0 9 0 1554840720 888242176 31636 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26558] ppid=26552 vsize=867424 CPUtime=0
/proc/26554/task/26558/stat : 26558 (java) S 26552 26554 23202 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1554840721 888242176 31636 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26559] ppid=26552 vsize=867424 CPUtime=0
/proc/26554/task/26559/stat : 26559 (java) S 26552 26554 23202 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1554840721 888242176 31636 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26560] ppid=26552 vsize=867424 CPUtime=0
/proc/26554/task/26560/stat : 26560 (java) S 26552 26554 23202 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1554840723 888242176 31636 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26561] ppid=26552 vsize=867424 CPUtime=0.06
/proc/26554/task/26561/stat : 26561 (java) S 26552 26554 23202 0 -1 64 336 0 0 0 6 0 0 0 16 0 9 0 1554840723 888242176 31636 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26562] ppid=26552 vsize=867424 CPUtime=0
/proc/26554/task/26562/stat : 26562 (java) S 26552 26554 23202 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1554840723 888242176 31636 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26563] ppid=26552 vsize=867424 CPUtime=0
/proc/26554/task/26563/stat : 26563 (java) S 26552 26554 23202 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1554840723 888242176 31636 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867424
[startup+3.10119 s]
/proc/loadavg: 2.08 2.02 2.01 3/89 26563
/proc/meminfo: memFree=1342376/2055920 swapFree=4122872/4192956
[pid=26554] ppid=26552 vsize=867424 CPUtime=3.06
/proc/26554/stat : 26554 (java) S 26552 26554 23202 0 -1 0 41397 0 1 0 285 21 0 0 18 0 9 0 1554840717 888242176 40758 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26554/statm: 216856 40758 1984 9 0 211384 0
[pid=26554/tid=26556] ppid=26552 vsize=867424 CPUtime=2.44
/proc/26554/task/26556/stat : 26556 (java) R 26552 26554 23202 0 -1 64 15680 0 1 0 236 8 0 0 25 0 9 0 1554840719 888242176 40758 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26557] ppid=26552 vsize=867424 CPUtime=0.51
/proc/26554/task/26557/stat : 26557 (java) R 26552 26554 23202 0 -1 64 24679 0 0 0 40 11 0 0 18 0 9 0 1554840720 888242176 40758 996147200 134512640 134550740 4294955968 18446744073709551615 102516792 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26558] ppid=26552 vsize=867424 CPUtime=0
/proc/26554/task/26558/stat : 26558 (java) S 26552 26554 23202 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1554840721 888242176 40758 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26559] ppid=26552 vsize=867424 CPUtime=0
/proc/26554/task/26559/stat : 26559 (java) S 26552 26554 23202 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1554840721 888242176 40758 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26560] ppid=26552 vsize=867424 CPUtime=0
/proc/26554/task/26560/stat : 26560 (java) S 26552 26554 23202 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1554840723 888242176 40758 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26561] ppid=26552 vsize=867424 CPUtime=0.08
/proc/26554/task/26561/stat : 26561 (java) S 26552 26554 23202 0 -1 64 341 0 0 0 8 0 0 0 16 0 9 0 1554840723 888242176 40758 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26562] ppid=26552 vsize=867424 CPUtime=0
/proc/26554/task/26562/stat : 26562 (java) S 26552 26554 23202 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1554840723 888242176 40758 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26563] ppid=26552 vsize=867424 CPUtime=0
/proc/26554/task/26563/stat : 26563 (java) S 26552 26554 23202 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1554840723 888242176 40758 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867424
[startup+6.30251 s]
/proc/loadavg: 2.08 2.02 2.01 3/89 26563
/proc/meminfo: memFree=1257320/2055920 swapFree=4122872/4192956
[pid=26554] ppid=26552 vsize=867648 CPUtime=6.22
/proc/26554/stat : 26554 (java) S 26552 26554 23202 0 -1 0 64889 0 1 0 589 33 0 0 18 0 9 0 1554840717 888471552 62052 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26554/statm: 216912 62052 2606 9 0 211440 0
[pid=26554/tid=26556] ppid=26552 vsize=867648 CPUtime=4.48
/proc/26554/task/26556/stat : 26556 (java) R 26552 26554 23202 0 -1 64 15693 0 1 0 439 9 0 0 25 0 9 0 1554840719 888471552 62052 996147200 134512640 134550740 4294955968 18446744073709551615 102064736 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26557] ppid=26552 vsize=867648 CPUtime=1.61
/proc/26554/task/26557/stat : 26557 (java) S 26552 26554 23202 0 -1 64 48085 0 0 0 140 21 0 0 16 0 9 0 1554840720 888471552 62052 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26558] ppid=26552 vsize=867648 CPUtime=0
/proc/26554/task/26558/stat : 26558 (java) S 26552 26554 23202 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1554840721 888471552 62052 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26559] ppid=26552 vsize=867648 CPUtime=0
/proc/26554/task/26559/stat : 26559 (java) S 26552 26554 23202 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1554840721 888471552 62052 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26560] ppid=26552 vsize=867648 CPUtime=0
/proc/26554/task/26560/stat : 26560 (java) S 26552 26554 23202 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1554840723 888471552 62052 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26561] ppid=26552 vsize=867648 CPUtime=0.09
/proc/26554/task/26561/stat : 26561 (java) S 26552 26554 23202 0 -1 64 414 0 0 0 9 0 0 0 16 0 9 0 1554840723 888471552 62052 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26562] ppid=26552 vsize=867648 CPUtime=0
/proc/26554/task/26562/stat : 26562 (java) S 26552 26554 23202 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1554840723 888471552 62052 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26563] ppid=26552 vsize=867648 CPUtime=0
/proc/26554/task/26563/stat : 26563 (java) S 26552 26554 23202 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1554840723 888471552 62052 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867648
[startup+12.7011 s]
/proc/loadavg: 2.14 2.04 2.01 4/89 26563
/proc/meminfo: memFree=1072296/2055920 swapFree=4122872/4192956
[pid=26554] ppid=26552 vsize=867648 CPUtime=12.56
/proc/26554/stat : 26554 (java) S 26552 26554 23202 0 -1 0 113824 0 1 0 1199 57 0 0 18 0 9 0 1554840717 888471552 110975 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26554/statm: 216912 110975 2606 9 0 211440 0
[pid=26554/tid=26556] ppid=26552 vsize=867648 CPUtime=9.07
/proc/26554/task/26556/stat : 26556 (java) R 26552 26554 23202 0 -1 64 15705 0 1 0 894 13 0 0 25 0 9 0 1554840719 888471552 110975 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26557] ppid=26552 vsize=867648 CPUtime=3.37
/proc/26554/task/26557/stat : 26557 (java) R 26552 26554 23202 0 -1 64 97007 0 0 0 295 42 0 0 16 0 9 0 1554840720 888471552 110975 996147200 134512640 134550740 4294955968 18446744073709551615 102723252 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26558] ppid=26552 vsize=867648 CPUtime=0
/proc/26554/task/26558/stat : 26558 (java) S 26552 26554 23202 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1554840721 888471552 110975 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26559] ppid=26552 vsize=867648 CPUtime=0
/proc/26554/task/26559/stat : 26559 (java) S 26552 26554 23202 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1554840721 888471552 110975 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26560] ppid=26552 vsize=867648 CPUtime=0
/proc/26554/task/26560/stat : 26560 (java) S 26552 26554 23202 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1554840723 888471552 110975 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26561] ppid=26552 vsize=867648 CPUtime=0.09
/proc/26554/task/26561/stat : 26561 (java) S 26552 26554 23202 0 -1 64 415 0 0 0 9 0 0 0 17 0 9 0 1554840723 888471552 110975 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26562] ppid=26552 vsize=867648 CPUtime=0
/proc/26554/task/26562/stat : 26562 (java) S 26552 26554 23202 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1554840723 888471552 110975 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26563] ppid=26552 vsize=867648 CPUtime=0
/proc/26554/task/26563/stat : 26563 (java) S 26552 26554 23202 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1554840723 888471552 110975 996147200 134512640 134550740 4294955968 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) 867648
[startup+25.5024 s]
/proc/loadavg: 2.12 2.04 2.01 3/89 26567
/proc/meminfo: memFree=745576/2055920 swapFree=4122872/4192956
[pid=26554] ppid=26552 vsize=885264 CPUtime=25.23
/proc/26554/stat : 26554 (java) S 26552 26554 23202 0 -1 0 298576 275 1 0 2403 114 0 6 18 0 9 0 1554840717 906510336 182677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26554/statm: 221316 182677 2610 9 0 215844 0
[pid=26554/tid=26556] ppid=26552 vsize=885264 CPUtime=17.65
/proc/26554/task/26556/stat : 26556 (java) S 26552 26554 23202 0 -1 64 16389 275 1 0 1744 15 0 6 24 0 9 0 1554840719 906510336 182677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26557] ppid=26552 vsize=885264 CPUtime=7.42
/proc/26554/task/26557/stat : 26557 (java) R 26552 26554 23202 0 -1 64 280841 275 0 0 644 92 0 6 25 0 9 0 1554840720 906510336 182677 996147200 134512640 134550740 4294955968 18446744073709551615 102731896 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26558] ppid=26552 vsize=885264 CPUtime=0.06
/proc/26554/task/26558/stat : 26558 (java) S 26552 26554 23202 0 -1 64 13 275 0 0 0 0 0 6 16 0 9 0 1554840721 906510336 182677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26559] ppid=26552 vsize=885264 CPUtime=0.06
/proc/26554/task/26559/stat : 26559 (java) S 26552 26554 23202 0 -1 64 5 275 0 0 0 0 0 6 15 0 9 0 1554840721 906510336 182677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26560] ppid=26552 vsize=885264 CPUtime=0.06
/proc/26554/task/26560/stat : 26560 (java) S 26552 26554 23202 0 -1 64 0 275 0 0 0 0 0 6 18 0 9 0 1554840723 906510336 182677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26561] ppid=26552 vsize=885264 CPUtime=0.19
/proc/26554/task/26561/stat : 26561 (java) S 26552 26554 23202 0 -1 64 498 275 0 0 13 0 0 6 16 0 9 0 1554840723 906510336 182677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26562] ppid=26552 vsize=885264 CPUtime=0.06
/proc/26554/task/26562/stat : 26562 (java) S 26552 26554 23202 0 -1 64 2 275 0 0 0 0 0 6 19 0 9 0 1554840723 906510336 182677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26563] ppid=26552 vsize=885264 CPUtime=0.06
/proc/26554/task/26563/stat : 26563 (java) S 26552 26554 23202 0 -1 64 15 275 0 0 0 0 0 6 15 0 9 0 1554840723 906510336 182677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 885264
[startup+51.103 s]
/proc/loadavg: 2.15 2.05 2.01 3/89 26567
/proc/meminfo: memFree=762664/2055920 swapFree=4122872/4192956
[pid=26554] ppid=26552 vsize=868028 CPUtime=50.59
/proc/26554/stat : 26554 (java) S 26552 26554 23202 0 -1 0 343824 275 1 0 4929 124 0 6 18 0 9 0 1554840717 888860672 178499 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26554/statm: 217007 178499 2635 9 0 211513 0
[pid=26554/tid=26556] ppid=26552 vsize=868028 CPUtime=41.23
/proc/26554/task/26556/stat : 26556 (java) R 26552 26554 23202 0 -1 64 21205 275 1 0 4100 17 0 6 25 0 9 0 1554840719 888860672 178499 996147200 134512640 134550740 4294955968 18446744073709551615 4126844957 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26557] ppid=26552 vsize=868028 CPUtime=9.08
/proc/26554/task/26557/stat : 26557 (java) S 26552 26554 23202 0 -1 64 321101 275 0 0 803 99 0 6 16 0 9 0 1554840720 888860672 178499 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26558] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26558/stat : 26558 (java) S 26552 26554 23202 0 -1 64 19 275 0 0 0 0 0 6 16 0 9 0 1554840721 888860672 178499 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26559] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26559/stat : 26559 (java) S 26552 26554 23202 0 -1 64 12 275 0 0 0 0 0 6 16 0 9 0 1554840721 888860672 178499 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26560] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26560/stat : 26560 (java) S 26552 26554 23202 0 -1 64 0 275 0 0 0 0 0 6 18 0 9 0 1554840723 888860672 178499 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26561] ppid=26552 vsize=868028 CPUtime=0.31
/proc/26554/task/26561/stat : 26561 (java) S 26552 26554 23202 0 -1 64 649 275 0 0 24 1 0 6 16 0 9 0 1554840723 888860672 178499 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26562] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26562/stat : 26562 (java) S 26552 26554 23202 0 -1 64 2 275 0 0 0 0 0 6 19 0 9 0 1554840723 888860672 178499 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26563] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26563/stat : 26563 (java) S 26552 26554 23202 0 -1 64 23 275 0 0 0 0 0 6 15 0 9 0 1554840723 888860672 178499 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 868028
Solver just ended. Dumping a history of the last processes samples
[startup+76.7025 s]
/proc/loadavg: 2.09 2.04 2.01 3/89 26567
/proc/meminfo: memFree=762664/2055920 swapFree=4122872/4192956
[pid=26554] ppid=26552 vsize=868028 CPUtime=75.94
/proc/26554/stat : 26554 (java) S 26552 26554 23202 0 -1 0 343941 275 1 0 7464 124 0 6 18 0 9 0 1554840717 888860672 178499 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26554/statm: 217007 178499 2635 9 0 211513 0
[pid=26554/tid=26556] ppid=26552 vsize=868028 CPUtime=66.58
/proc/26554/task/26556/stat : 26556 (java) R 26552 26554 23202 0 -1 64 21322 275 1 0 6635 17 0 6 25 0 9 0 1554840719 888860672 178499 996147200 134512640 134550740 4294955968 18446744073709551615 4126830335 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26557] ppid=26552 vsize=868028 CPUtime=9.08
/proc/26554/task/26557/stat : 26557 (java) S 26552 26554 23202 0 -1 64 321101 275 0 0 803 99 0 6 16 0 9 0 1554840720 888860672 178499 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26558] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26558/stat : 26558 (java) S 26552 26554 23202 0 -1 64 19 275 0 0 0 0 0 6 16 0 9 0 1554840721 888860672 178499 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26559] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26559/stat : 26559 (java) S 26552 26554 23202 0 -1 64 12 275 0 0 0 0 0 6 16 0 9 0 1554840721 888860672 178499 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26560] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26560/stat : 26560 (java) S 26552 26554 23202 0 -1 64 0 275 0 0 0 0 0 6 18 0 9 0 1554840723 888860672 178499 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26561] ppid=26552 vsize=868028 CPUtime=0.31
/proc/26554/task/26561/stat : 26561 (java) S 26552 26554 23202 0 -1 64 649 275 0 0 24 1 0 6 16 0 9 0 1554840723 888860672 178499 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26562] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26562/stat : 26562 (java) S 26552 26554 23202 0 -1 64 2 275 0 0 0 0 0 6 19 0 9 0 1554840723 888860672 178499 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26563] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26563/stat : 26563 (java) S 26552 26554 23202 0 -1 64 23 275 0 0 0 0 0 6 15 0 9 0 1554840723 888860672 178499 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 75.94
Current children cumulated vsize (KiB) 868028
[startup+89.5018 s]
/proc/loadavg: 2.08 2.04 2.01 3/89 26567
/proc/meminfo: memFree=762536/2055920 swapFree=4122872/4192956
[pid=26554] ppid=26552 vsize=868028 CPUtime=88.63
/proc/26554/stat : 26554 (java) S 26552 26554 23202 0 -1 0 343999 275 1 0 8732 125 0 6 18 0 9 0 1554840717 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26554/statm: 217007 178500 2635 9 0 211513 0
[pid=26554/tid=26556] ppid=26552 vsize=868028 CPUtime=79.26
/proc/26554/task/26556/stat : 26556 (java) R 26552 26554 23202 0 -1 64 21379 275 1 0 7903 17 0 6 25 0 9 0 1554840719 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4126838146 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26557] ppid=26552 vsize=868028 CPUtime=9.08
/proc/26554/task/26557/stat : 26557 (java) S 26552 26554 23202 0 -1 64 321101 275 0 0 803 99 0 6 16 0 9 0 1554840720 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26558] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26558/stat : 26558 (java) S 26552 26554 23202 0 -1 64 19 275 0 0 0 0 0 6 16 0 9 0 1554840721 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26559] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26559/stat : 26559 (java) S 26552 26554 23202 0 -1 64 12 275 0 0 0 0 0 6 16 0 9 0 1554840721 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26560] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26560/stat : 26560 (java) S 26552 26554 23202 0 -1 64 0 275 0 0 0 0 0 6 18 0 9 0 1554840723 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26561] ppid=26552 vsize=868028 CPUtime=0.32
/proc/26554/task/26561/stat : 26561 (java) S 26552 26554 23202 0 -1 64 650 275 0 0 25 1 0 6 17 0 9 0 1554840723 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26562] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26562/stat : 26562 (java) S 26552 26554 23202 0 -1 64 2 275 0 0 0 0 0 6 19 0 9 0 1554840723 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26563] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26563/stat : 26563 (java) S 26552 26554 23202 0 -1 64 23 275 0 0 0 0 0 6 15 0 9 0 1554840723 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 88.63
Current children cumulated vsize (KiB) 868028
[startup+95.9024 s]
/proc/loadavg: 2.07 2.04 2.01 3/89 26567
/proc/meminfo: memFree=762536/2055920 swapFree=4122872/4192956
[pid=26554] ppid=26552 vsize=868028 CPUtime=94.97
/proc/26554/stat : 26554 (java) S 26552 26554 23202 0 -1 0 344029 275 1 0 9366 125 0 6 18 0 9 0 1554840717 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26554/statm: 217007 178500 2635 9 0 211513 0
[pid=26554/tid=26556] ppid=26552 vsize=868028 CPUtime=85.6
/proc/26554/task/26556/stat : 26556 (java) R 26552 26554 23202 0 -1 64 21409 275 1 0 8537 17 0 6 25 0 9 0 1554840719 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4126830325 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26557] ppid=26552 vsize=868028 CPUtime=9.08
/proc/26554/task/26557/stat : 26557 (java) S 26552 26554 23202 0 -1 64 321101 275 0 0 803 99 0 6 16 0 9 0 1554840720 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26558] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26558/stat : 26558 (java) S 26552 26554 23202 0 -1 64 19 275 0 0 0 0 0 6 16 0 9 0 1554840721 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26559] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26559/stat : 26559 (java) S 26552 26554 23202 0 -1 64 12 275 0 0 0 0 0 6 16 0 9 0 1554840721 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26560] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26560/stat : 26560 (java) S 26552 26554 23202 0 -1 64 0 275 0 0 0 0 0 6 18 0 9 0 1554840723 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26561] ppid=26552 vsize=868028 CPUtime=0.32
/proc/26554/task/26561/stat : 26561 (java) S 26552 26554 23202 0 -1 64 650 275 0 0 25 1 0 6 17 0 9 0 1554840723 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26562] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26562/stat : 26562 (java) S 26552 26554 23202 0 -1 64 2 275 0 0 0 0 0 6 19 0 9 0 1554840723 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26563] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26563/stat : 26563 (java) S 26552 26554 23202 0 -1 64 23 275 0 0 0 0 0 6 15 0 9 0 1554840723 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 94.97
Current children cumulated vsize (KiB) 868028
[startup+99.1018 s]
/proc/loadavg: 2.30 2.09 2.02 3/89 26567
/proc/meminfo: memFree=762536/2055920 swapFree=4122872/4192956
[pid=26554] ppid=26552 vsize=868028 CPUtime=98.14
/proc/26554/stat : 26554 (java) S 26552 26554 23202 0 -1 0 344045 275 1 0 9683 125 0 6 18 0 9 0 1554840717 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26554/statm: 217007 178500 2635 9 0 211513 0
[pid=26554/tid=26556] ppid=26552 vsize=868028 CPUtime=88.77
/proc/26554/task/26556/stat : 26556 (java) R 26552 26554 23202 0 -1 64 21425 275 1 0 8854 17 0 6 25 0 9 0 1554840719 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4126830325 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26557] ppid=26552 vsize=868028 CPUtime=9.08
/proc/26554/task/26557/stat : 26557 (java) S 26552 26554 23202 0 -1 64 321101 275 0 0 803 99 0 6 16 0 9 0 1554840720 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26558] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26558/stat : 26558 (java) S 26552 26554 23202 0 -1 64 19 275 0 0 0 0 0 6 16 0 9 0 1554840721 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26559] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26559/stat : 26559 (java) S 26552 26554 23202 0 -1 64 12 275 0 0 0 0 0 6 16 0 9 0 1554840721 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26560] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26560/stat : 26560 (java) S 26552 26554 23202 0 -1 64 0 275 0 0 0 0 0 6 18 0 9 0 1554840723 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26561] ppid=26552 vsize=868028 CPUtime=0.32
/proc/26554/task/26561/stat : 26561 (java) S 26552 26554 23202 0 -1 64 650 275 0 0 25 1 0 6 17 0 9 0 1554840723 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26562] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26562/stat : 26562 (java) S 26552 26554 23202 0 -1 64 2 275 0 0 0 0 0 6 19 0 9 0 1554840723 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26563] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26563/stat : 26563 (java) S 26552 26554 23202 0 -1 64 23 275 0 0 0 0 0 6 15 0 9 0 1554840723 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 98.14
Current children cumulated vsize (KiB) 868028
[startup+99.9018 s]
/proc/loadavg: 2.30 2.09 2.02 3/89 26567
/proc/meminfo: memFree=762536/2055920 swapFree=4122872/4192956
[pid=26554] ppid=26552 vsize=868028 CPUtime=98.93
/proc/26554/stat : 26554 (java) S 26552 26554 23202 0 -1 0 344049 275 1 0 9762 125 0 6 18 0 9 0 1554840717 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26554/statm: 217007 178500 2635 9 0 211513 0
[pid=26554/tid=26556] ppid=26552 vsize=868028 CPUtime=89.56
/proc/26554/task/26556/stat : 26556 (java) R 26552 26554 23202 0 -1 64 21429 275 1 0 8933 17 0 6 25 0 9 0 1554840719 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4126830325 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26557] ppid=26552 vsize=868028 CPUtime=9.08
/proc/26554/task/26557/stat : 26557 (java) S 26552 26554 23202 0 -1 64 321101 275 0 0 803 99 0 6 16 0 9 0 1554840720 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26558] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26558/stat : 26558 (java) S 26552 26554 23202 0 -1 64 19 275 0 0 0 0 0 6 16 0 9 0 1554840721 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26559] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26559/stat : 26559 (java) S 26552 26554 23202 0 -1 64 12 275 0 0 0 0 0 6 16 0 9 0 1554840721 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26560] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26560/stat : 26560 (java) S 26552 26554 23202 0 -1 64 0 275 0 0 0 0 0 6 18 0 9 0 1554840723 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26561] ppid=26552 vsize=868028 CPUtime=0.32
/proc/26554/task/26561/stat : 26561 (java) S 26552 26554 23202 0 -1 64 650 275 0 0 25 1 0 6 17 0 9 0 1554840723 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26562] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26562/stat : 26562 (java) S 26552 26554 23202 0 -1 64 2 275 0 0 0 0 0 6 19 0 9 0 1554840723 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26563] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26563/stat : 26563 (java) S 26552 26554 23202 0 -1 64 23 275 0 0 0 0 0 6 15 0 9 0 1554840723 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 98.93
Current children cumulated vsize (KiB) 868028
[startup+100.303 s]
/proc/loadavg: 2.30 2.09 2.02 3/89 26567
/proc/meminfo: memFree=762536/2055920 swapFree=4122872/4192956
[pid=26554] ppid=26552 vsize=868028 CPUtime=99.33
/proc/26554/stat : 26554 (java) S 26552 26554 23202 0 -1 0 344051 275 1 0 9802 125 0 6 18 0 9 0 1554840717 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26554/statm: 217007 178500 2635 9 0 211513 0
[pid=26554/tid=26556] ppid=26552 vsize=868028 CPUtime=89.96
/proc/26554/task/26556/stat : 26556 (java) R 26552 26554 23202 0 -1 64 21431 275 1 0 8973 17 0 6 25 0 9 0 1554840719 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4126830499 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26557] ppid=26552 vsize=868028 CPUtime=9.08
/proc/26554/task/26557/stat : 26557 (java) S 26552 26554 23202 0 -1 64 321101 275 0 0 803 99 0 6 16 0 9 0 1554840720 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26558] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26558/stat : 26558 (java) S 26552 26554 23202 0 -1 64 19 275 0 0 0 0 0 6 16 0 9 0 1554840721 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26559] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26559/stat : 26559 (java) S 26552 26554 23202 0 -1 64 12 275 0 0 0 0 0 6 16 0 9 0 1554840721 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26560] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26560/stat : 26560 (java) S 26552 26554 23202 0 -1 64 0 275 0 0 0 0 0 6 18 0 9 0 1554840723 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26561] ppid=26552 vsize=868028 CPUtime=0.32
/proc/26554/task/26561/stat : 26561 (java) S 26552 26554 23202 0 -1 64 650 275 0 0 25 1 0 6 17 0 9 0 1554840723 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26562] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26562/stat : 26562 (java) S 26552 26554 23202 0 -1 64 2 275 0 0 0 0 0 6 19 0 9 0 1554840723 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26554/tid=26563] ppid=26552 vsize=868028 CPUtime=0.06
/proc/26554/task/26563/stat : 26563 (java) S 26552 26554 23202 0 -1 64 23 275 0 0 0 0 0 6 15 0 9 0 1554840723 888860672 178500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 99.33
Current children cumulated vsize (KiB) 868028
[startup+100.504 s]
/proc/loadavg: 2.30 2.09 2.02 3/89 26567
/proc/meminfo: memFree=762536/2055920 swapFree=4122872/4192956
[pid=26554] ppid=26552 vsize=0 CPUtime=99.51
/proc/26554/stat : 26554 (java) Z 26552 26554 23202 0 -1 12 344172 275 1 0 9815 130 0 6 16 0 2 0 1554840717 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26554/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 99.51
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 100.557
CPU time (s): 99.5849
CPU user time (s): 98.1571
CPU system time (s): 1.42778
CPU usage (%): 99.0331
Max. virtual memory (cumulated for all children) (KiB): 885264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 98.1571
system time used= 1.42778
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 344447
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= 3620
involuntary context switches= 6914
runsolver used 0.118981 second user time and 0.347947 second system time
The end
Begin job on node12 at 2008-07-05 11:54:17
IDJOB=1094520
IDBENCH=58807
IDSOLVER=363
FILE ID=node12/1094520-1215251651
PBS_JOBID= 7881889
Free space on /tmp= 66292 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-22.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-1094520-1215251651/watcher-1094520-1215251651 -o /tmp/evaluation-result-1094520-1215251651/solver-1094520-1215251651 -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-1094520-1215251651.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 2c0c2559db7dd9b7ee60dc52c682bfbe
RANDOM SEED=422472420
node12.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.236
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.236
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: 1466576 kB
Buffers: 61932 kB
Cached: 283164 kB
SwapCached: 64536 kB
Active: 429816 kB
Inactive: 101980 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1466576 kB
SwapTotal: 4192956 kB
SwapFree: 4122872 kB
Dirty: 72412 kB
Writeback: 0 kB
Mapped: 202680 kB
Slab: 42416 kB
Committed_AS: 3861412 kB
PageTables: 2152 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= 66288 MiB
End job on node12 at 2008-07-05 11:55:57