0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.19/0.23
0.19/0.23 configuration
0.19/0.23 name=mac.xml
0.19/0.26
0.19/0.27 instance
0.19/0.27 name=HOME/instance-1048793-1215044043.xml
0.29/0.30
0.29/0.30 domains being loaded...
0.29/0.31
0.29/0.31 variables being loaded...
0.58/0.68 nbVariables=1972 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2 nbTotalValues=3914
0.58/0.68 => wckTime=0.446 cpuTime=0.36 mem=12M730
0.58/0.68
0.58/0.68 predicates being loaded...
0.69/0.73
0.69/0.74 constraints being loaded...
1.86/1.90 nbConstraints=3394 nbGlobalConstraints=97 nbSingletonDomainVariables=30 nbConvertedConstraints=2828
1.86/1.90 nbConvertConstraintsChecks=98 nbExtensionStructures=26 nbSharedExtensionStructures=2825 nbConflictsStructures=33
1.86/1.90 nbSharedConflictsStructures=3287 nbSharedBinaryRepresentations=53 nbEvaluationManagers=7
1.86/1.90 nbSharedEvaluationManagers=462 minDegree=1 maxDegree=32 minArity=2 avgArity=2.29 maxArity=186 nbGenerators=97
1.86/1.90 nbFusions=0 symmetryWckTime=0.459 symmetryCpuTime=0.23
1.86/1.90 => wckTime=1.669 cpuTime=1.23 mem=45M2
1.96/2.02
1.96/2.02 solver IterativeSystematicSolver being built...
2.06/2.11
2.06/2.11 INFO : Forward propagation technique limited
2.16/2.25 => wckTime=2.019 cpuTime=1.42 mem=38M54
2.16/2.28
2.16/2.28 preprocessing
2.16/2.28 nbConstraintChecks=0 nbPropagations=1972 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.16/2.28 detectedInconsistency=no
2.16/2.28 => wckTime=0.021 cpuTime=0.02 mem=39M7
115.41/115.57
115.41/115.57 search
115.41/115.57 run=17 nbConstraintChecks=39541644 nbValidityChecks=4599299 minDepth=0 maxDepth=196 nbPropagations=30555395
115.41/115.57 nbRevisions=84286566 nbUselessRevisions=53991170 nbAssignments=423668 nbFailedAssignments=27506
115.41/115.57 nbBacktracks=393784 nbVisitedNodes=478217 nbRestartNogoods=103 nbSEliminables=? nbREliminables=?
115.41/115.57 nbIEliminables=? nbDEliminables=? nbPEliminables=?
115.41/115.57 => wckTime=113.312 cpuTime=113.17 mem=40M25
115.41/115.57
115.41/115.57 global
115.41/115.57 nbConstraintChecks=39541644 nbValidityChecks=4599299 nbPropagations=30557367 nbRevisions=84286566
115.41/115.57 nbUselessRevisions=53991170 nbRestartNogoods=103 solvingWckTime=113.314 solvingCpuTime=113.17 expiredTime=no
115.41/115.57 totalExploration=yes nbFoundSolutions=0 globalCpuTime=114.63
115.41/115.57 => wckTime=115.338 cpuTime=114.59 mem=40M25
115.41/115.57
115.41/115.57 s UNSATISFIABLE
115.41/115.57 d NODES 423668
115.41/115.57 d CHECKS 39541644
115.41/115.57
115.41/115.57 totalWckTime=115.389 totalCpuTime=114.63
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1048793-1215044043/watcher-1048793-1215044043 -o /tmp/evaluation-result-1048793-1215044043/solver-1048793-1215044043 -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-1048793-1215044043.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.00 1.91 4/74 1541
/proc/meminfo: memFree=1799384/2055920 swapFree=4181172/4192956
[pid=1541] ppid=1539 vsize=1472 CPUtime=0
/proc/1541/stat : 1541 (java) R 1539 1541 32315 0 -1 0 112 0 0 0 0 0 0 0 19 0 1 0 245347055 1507328 85 996147200 134512640 134550740 4294956144 18446744073709551615 3864724 0 0 4096 0 0 0 0 17 0 0 0
/proc/1541/statm: 368 85 63 9 0 10 0
[startup+0.00836404 s]
/proc/loadavg: 1.92 2.00 1.91 4/74 1541
/proc/meminfo: memFree=1799384/2055920 swapFree=4181172/4192956
[pid=1541] ppid=1539 vsize=1616 CPUtime=0
/proc/1541/stat : 1541 (java) D 1539 1541 32315 0 -1 0 177 0 0 0 0 0 0 0 19 0 1 0 245347055 1654784 145 996147200 134512640 134550740 4294956144 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099855350 0 0 17 1 0 0
/proc/1541/statm: 404 145 119 9 0 46 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1616
[startup+0.102386 s]
/proc/loadavg: 1.92 2.00 1.91 4/74 1541
/proc/meminfo: memFree=1799384/2055920 swapFree=4181172/4192956
[pid=1541] ppid=1539 vsize=865884 CPUtime=0.09
/proc/1541/stat : 1541 (java) S 1539 1541 32315 0 -1 0 3841 0 1 0 7 2 0 0 19 0 9 0 245347055 886665216 3285 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1541/statm: 216471 3285 1733 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.302424 s]
/proc/loadavg: 1.92 2.00 1.91 4/74 1541
/proc/meminfo: memFree=1799384/2055920 swapFree=4181172/4192956
[pid=1541] ppid=1539 vsize=866128 CPUtime=0.29
/proc/1541/stat : 1541 (java) S 1539 1541 32315 0 -1 0 5983 0 1 0 25 4 0 0 19 0 9 0 245347055 886915072 5357 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1541/statm: 216532 5357 1957 9 0 211060 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866128
[startup+0.701503 s]
/proc/loadavg: 1.92 2.00 1.91 4/74 1541
/proc/meminfo: memFree=1799384/2055920 swapFree=4181172/4192956
[pid=1541] ppid=1539 vsize=867076 CPUtime=0.69
/proc/1541/stat : 1541 (java) S 1539 1541 32315 0 -1 0 8355 0 1 0 64 5 0 0 19 0 9 0 245347055 887885824 7716 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1541/statm: 216769 7716 1998 9 0 211275 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867076
[startup+1.50165 s]
/proc/loadavg: 1.92 2.00 1.91 3/83 1550
/proc/meminfo: memFree=1765136/2055920 swapFree=4181172/4192956
[pid=1541] ppid=1539 vsize=867692 CPUtime=1.48
/proc/1541/stat : 1541 (java) S 1539 1541 32315 0 -1 0 14628 0 1 0 128 20 0 0 19 0 9 0 245347055 888516608 13985 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1541/statm: 216923 13985 2015 9 0 211429 0
[pid=1541/tid=1543] ppid=1539 vsize=867692 CPUtime=1.25
/proc/1541/task/1543/stat : 1543 (java) R 1539 1541 32315 0 -1 64 13196 0 1 0 106 19 0 0 25 0 9 0 245347056 888516608 13985 996147200 134512640 134550740 4294955984 18446744073709551615 4127066069 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1544] ppid=1539 vsize=867692 CPUtime=0
/proc/1541/task/1544/stat : 1544 (java) S 1539 1541 32315 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 245347058 888516608 13985 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1545] ppid=1539 vsize=867692 CPUtime=0
/proc/1541/task/1545/stat : 1545 (java) S 1539 1541 32315 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 245347058 888516608 13985 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1546] ppid=1539 vsize=867692 CPUtime=0
/proc/1541/task/1546/stat : 1546 (java) S 1539 1541 32315 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 245347058 888516608 13985 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1547] ppid=1539 vsize=867692 CPUtime=0
/proc/1541/task/1547/stat : 1547 (java) S 1539 1541 32315 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 245347060 888516608 13985 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1548] ppid=1539 vsize=867692 CPUtime=0.21
/proc/1541/task/1548/stat : 1548 (java) S 1539 1541 32315 0 -1 64 734 0 0 0 21 0 0 0 16 0 9 0 245347060 888516608 13985 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1549] ppid=1539 vsize=867692 CPUtime=0
/proc/1541/task/1549/stat : 1549 (java) S 1539 1541 32315 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 245347060 888516608 13985 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1550] ppid=1539 vsize=867692 CPUtime=0
/proc/1541/task/1550/stat : 1550 (java) S 1539 1541 32315 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 245347060 888516608 13985 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867692
[startup+3.10196 s]
/proc/loadavg: 1.92 2.00 1.91 3/83 1554
/proc/meminfo: memFree=1738128/2055920 swapFree=4181172/4192956
[pid=1541] ppid=1539 vsize=868136 CPUtime=3.05
/proc/1541/stat : 1541 (java) S 1539 1541 32315 0 -1 0 28757 516 1 0 264 24 17 0 19 0 9 0 245347055 888971264 17867 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1541/statm: 217034 17867 2633 9 0 211540 0
[pid=1541/tid=1543] ppid=1539 vsize=868136 CPUtime=2.55
/proc/1541/task/1543/stat : 1543 (java) R 1539 1541 32315 0 -1 64 20235 516 1 0 217 21 17 0 25 0 9 0 245347056 888971264 17867 996147200 134512640 134550740 4294955984 18446744073709551615 4127278640 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=868136 CPUtime=0.28
/proc/1541/task/1544/stat : 1544 (java) S 1539 1541 32315 0 -1 64 6670 516 0 0 10 1 17 0 17 0 9 0 245347058 888971264 17867 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1545] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1545/stat : 1545 (java) S 1539 1541 32315 0 -1 64 16 516 0 0 0 0 17 0 17 0 9 0 245347058 888971264 17867 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1546] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1546/stat : 1546 (java) S 1539 1541 32315 0 -1 64 14 516 0 0 0 0 17 0 16 0 9 0 245347058 888971264 17867 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1547] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1547/stat : 1547 (java) S 1539 1541 32315 0 -1 64 1 516 0 0 0 0 17 0 18 0 9 0 245347060 888971264 17867 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1548] ppid=1539 vsize=868136 CPUtime=0.52
/proc/1541/task/1548/stat : 1548 (java) S 1539 1541 32315 0 -1 64 1010 516 0 0 35 0 17 0 16 0 9 0 245347060 888971264 17867 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1549] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1549/stat : 1549 (java) S 1539 1541 32315 0 -1 64 1 516 0 0 0 0 17 0 19 0 9 0 245347060 888971264 17867 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1550] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1550/stat : 1550 (java) S 1539 1541 32315 0 -1 64 8 516 0 0 0 0 17 0 15 0 9 0 245347060 888971264 17867 996147200 134512640 134550740 4294955984 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) 868136
[startup+6.30158 s]
/proc/loadavg: 1.93 2.00 1.91 3/83 1554
/proc/meminfo: memFree=1737488/2055920 swapFree=4181172/4192956
[pid=1541] ppid=1539 vsize=868136 CPUtime=6.25
/proc/1541/stat : 1541 (java) S 1539 1541 32315 0 -1 0 28792 516 1 0 584 24 17 0 19 0 9 0 245347055 888971264 17870 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1541/statm: 217034 17870 2633 9 0 211540 0
[pid=1541/tid=1543] ppid=1539 vsize=868136 CPUtime=5.75
/proc/1541/task/1543/stat : 1543 (java) R 1539 1541 32315 0 -1 64 20238 516 1 0 537 21 17 0 25 0 9 0 245347056 888971264 17870 996147200 134512640 134550740 4294955984 18446744073709551615 4127278611 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=868136 CPUtime=0.28
/proc/1541/task/1544/stat : 1544 (java) S 1539 1541 32315 0 -1 64 6670 516 0 0 10 1 17 0 16 0 9 0 245347058 888971264 17870 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1545] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1545/stat : 1545 (java) S 1539 1541 32315 0 -1 64 16 516 0 0 0 0 17 0 17 0 9 0 245347058 888971264 17870 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1546] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1546/stat : 1546 (java) S 1539 1541 32315 0 -1 64 14 516 0 0 0 0 17 0 16 0 9 0 245347058 888971264 17870 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1547] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1547/stat : 1547 (java) S 1539 1541 32315 0 -1 64 1 516 0 0 0 0 17 0 18 0 9 0 245347060 888971264 17870 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1548] ppid=1539 vsize=868136 CPUtime=0.53
/proc/1541/task/1548/stat : 1548 (java) S 1539 1541 32315 0 -1 64 1013 516 0 0 36 0 17 0 16 0 9 0 245347060 888971264 17870 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1549] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1549/stat : 1549 (java) S 1539 1541 32315 0 -1 64 1 516 0 0 0 0 17 0 19 0 9 0 245347060 888971264 17870 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1550] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1550/stat : 1550 (java) S 1539 1541 32315 0 -1 64 37 516 0 0 0 0 17 0 15 0 9 0 245347060 888971264 17870 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 868136
[startup+12.7018 s]
/proc/loadavg: 1.93 2.00 1.91 3/83 1554
/proc/meminfo: memFree=1737296/2055920 swapFree=4181172/4192956
[pid=1541] ppid=1539 vsize=868136 CPUtime=12.66
/proc/1541/stat : 1541 (java) S 1539 1541 32315 0 -1 0 28799 516 1 0 1224 25 17 0 19 0 9 0 245347055 888971264 17873 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1541/statm: 217034 17873 2633 9 0 211540 0
[pid=1541/tid=1543] ppid=1539 vsize=868136 CPUtime=12.14
/proc/1541/task/1543/stat : 1543 (java) R 1539 1541 32315 0 -1 64 20240 516 1 0 1176 21 17 0 25 0 9 0 245347056 888971264 17873 996147200 134512640 134550740 4294955984 18446744073709551615 4127274416 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=868136 CPUtime=0.28
/proc/1541/task/1544/stat : 1544 (java) S 1539 1541 32315 0 -1 64 6670 516 0 0 10 1 17 0 16 0 9 0 245347058 888971264 17873 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1545] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1545/stat : 1545 (java) S 1539 1541 32315 0 -1 64 16 516 0 0 0 0 17 0 17 0 9 0 245347058 888971264 17873 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1546] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1546/stat : 1546 (java) S 1539 1541 32315 0 -1 64 14 516 0 0 0 0 17 0 16 0 9 0 245347058 888971264 17873 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1547] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1547/stat : 1547 (java) S 1539 1541 32315 0 -1 64 1 516 0 0 0 0 17 0 18 0 9 0 245347060 888971264 17873 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1548] ppid=1539 vsize=868136 CPUtime=0.54
/proc/1541/task/1548/stat : 1548 (java) S 1539 1541 32315 0 -1 64 1018 516 0 0 37 0 17 0 17 0 9 0 245347060 888971264 17873 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1549] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1549/stat : 1549 (java) S 1539 1541 32315 0 -1 64 1 516 0 0 0 0 17 0 19 0 9 0 245347060 888971264 17873 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1550] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1550/stat : 1550 (java) S 1539 1541 32315 0 -1 64 37 516 0 0 0 0 17 0 15 0 9 0 245347060 888971264 17873 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 868136
[startup+25.5023 s]
/proc/loadavg: 1.95 2.00 1.91 3/83 1554
/proc/meminfo: memFree=1737360/2055920 swapFree=4181172/4192956
[pid=1541] ppid=1539 vsize=868136 CPUtime=25.45
/proc/1541/stat : 1541 (java) S 1539 1541 32315 0 -1 0 28799 516 1 0 2503 25 17 0 19 0 9 0 245347055 888971264 17873 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1541/statm: 217034 17873 2633 9 0 211540 0
[pid=1541/tid=1543] ppid=1539 vsize=868136 CPUtime=24.93
/proc/1541/task/1543/stat : 1543 (java) R 1539 1541 32315 0 -1 64 20240 516 1 0 2455 21 17 0 25 0 9 0 245347056 888971264 17873 996147200 134512640 134550740 4294955984 18446744073709551615 4127278611 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=868136 CPUtime=0.28
/proc/1541/task/1544/stat : 1544 (java) S 1539 1541 32315 0 -1 64 6670 516 0 0 10 1 17 0 16 0 9 0 245347058 888971264 17873 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1545] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1545/stat : 1545 (java) S 1539 1541 32315 0 -1 64 16 516 0 0 0 0 17 0 17 0 9 0 245347058 888971264 17873 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1546] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1546/stat : 1546 (java) S 1539 1541 32315 0 -1 64 14 516 0 0 0 0 17 0 16 0 9 0 245347058 888971264 17873 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1547] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1547/stat : 1547 (java) S 1539 1541 32315 0 -1 64 1 516 0 0 0 0 17 0 18 0 9 0 245347060 888971264 17873 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1548] ppid=1539 vsize=868136 CPUtime=0.54
/proc/1541/task/1548/stat : 1548 (java) S 1539 1541 32315 0 -1 64 1018 516 0 0 37 0 17 0 16 0 9 0 245347060 888971264 17873 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1549] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1549/stat : 1549 (java) S 1539 1541 32315 0 -1 64 1 516 0 0 0 0 17 0 19 0 9 0 245347060 888971264 17873 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1550] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1550/stat : 1550 (java) S 1539 1541 32315 0 -1 64 37 516 0 0 0 0 17 0 15 0 9 0 245347060 888971264 17873 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 868136
[startup+51.1022 s]
/proc/loadavg: 1.97 2.00 1.91 3/83 1554
/proc/meminfo: memFree=1737360/2055920 swapFree=4181172/4192956
[pid=1541] ppid=1539 vsize=868136 CPUtime=51.04
/proc/1541/stat : 1541 (java) S 1539 1541 32315 0 -1 0 28799 516 1 0 5062 25 17 0 19 0 9 0 245347055 888971264 17873 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1541/statm: 217034 17873 2633 9 0 211540 0
[pid=1541/tid=1543] ppid=1539 vsize=868136 CPUtime=50.52
/proc/1541/task/1543/stat : 1543 (java) R 1539 1541 32315 0 -1 64 20240 516 1 0 5014 21 17 0 25 0 9 0 245347056 888971264 17873 996147200 134512640 134550740 4294955984 18446744073709551615 4127281984 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=868136 CPUtime=0.28
/proc/1541/task/1544/stat : 1544 (java) S 1539 1541 32315 0 -1 64 6670 516 0 0 10 1 17 0 16 0 9 0 245347058 888971264 17873 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1545] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1545/stat : 1545 (java) S 1539 1541 32315 0 -1 64 16 516 0 0 0 0 17 0 17 0 9 0 245347058 888971264 17873 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1546] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1546/stat : 1546 (java) S 1539 1541 32315 0 -1 64 14 516 0 0 0 0 17 0 16 0 9 0 245347058 888971264 17873 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1547] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1547/stat : 1547 (java) S 1539 1541 32315 0 -1 64 1 516 0 0 0 0 17 0 18 0 9 0 245347060 888971264 17873 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1548] ppid=1539 vsize=868136 CPUtime=0.54
/proc/1541/task/1548/stat : 1548 (java) S 1539 1541 32315 0 -1 64 1018 516 0 0 37 0 17 0 16 0 9 0 245347060 888971264 17873 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1549] ppid=1539 vsize=868136 CPUtime=0.17
################
# More data... #
################
[pid=1541/tid=1543] ppid=1539 vsize=868136 CPUtime=101.69
/proc/1541/task/1543/stat : 1543 (java) R 1539 1541 32315 0 -1 64 20240 516 1 0 10131 21 17 0 25 0 9 0 245347056 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4127278611 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=868136 CPUtime=0.28
/proc/1541/task/1544/stat : 1544 (java) S 1539 1541 32315 0 -1 64 6670 516 0 0 10 1 17 0 16 0 9 0 245347058 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1545] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1545/stat : 1545 (java) S 1539 1541 32315 0 -1 64 16 516 0 0 0 0 17 0 17 0 9 0 245347058 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1546] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1546/stat : 1546 (java) S 1539 1541 32315 0 -1 64 14 516 0 0 0 0 17 0 16 0 9 0 245347058 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1547] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1547/stat : 1547 (java) S 1539 1541 32315 0 -1 64 1 516 0 0 0 0 17 0 18 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1548] ppid=1539 vsize=868136 CPUtime=0.54
/proc/1541/task/1548/stat : 1548 (java) S 1539 1541 32315 0 -1 64 1019 516 0 0 37 0 17 0 16 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1549] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1549/stat : 1549 (java) S 1539 1541 32315 0 -1 64 1 516 0 0 0 0 17 0 19 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1550] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1550/stat : 1550 (java) S 1539 1541 32315 0 -1 64 37 516 0 0 0 0 17 0 15 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 868136
Solver just ended. Dumping a history of the last processes samples
[startup+108.701 s]
/proc/loadavg: 1.98 2.00 1.91 3/83 1554
/proc/meminfo: memFree=1737232/2055920 swapFree=4181172/4192956
[pid=1541] ppid=1539 vsize=868136 CPUtime=108.6
/proc/1541/stat : 1541 (java) S 1539 1541 32315 0 -1 0 28800 516 1 0 10818 25 17 0 19 0 9 0 245347055 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1541/statm: 217034 17874 2633 9 0 211540 0
[pid=1541/tid=1543] ppid=1539 vsize=868136 CPUtime=108.08
/proc/1541/task/1543/stat : 1543 (java) R 1539 1541 32315 0 -1 64 20240 516 1 0 10770 21 17 0 25 0 9 0 245347056 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4127278654 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=868136 CPUtime=0.28
/proc/1541/task/1544/stat : 1544 (java) S 1539 1541 32315 0 -1 64 6670 516 0 0 10 1 17 0 16 0 9 0 245347058 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1545] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1545/stat : 1545 (java) S 1539 1541 32315 0 -1 64 16 516 0 0 0 0 17 0 17 0 9 0 245347058 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1546] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1546/stat : 1546 (java) S 1539 1541 32315 0 -1 64 14 516 0 0 0 0 17 0 16 0 9 0 245347058 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1547] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1547/stat : 1547 (java) S 1539 1541 32315 0 -1 64 1 516 0 0 0 0 17 0 18 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1548] ppid=1539 vsize=868136 CPUtime=0.54
/proc/1541/task/1548/stat : 1548 (java) S 1539 1541 32315 0 -1 64 1019 516 0 0 37 0 17 0 16 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1549] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1549/stat : 1549 (java) S 1539 1541 32315 0 -1 64 1 516 0 0 0 0 17 0 19 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1550] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1550/stat : 1550 (java) S 1539 1541 32315 0 -1 64 37 516 0 0 0 0 17 0 15 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 108.6
Current children cumulated vsize (KiB) 868136
[startup+111.903 s]
/proc/loadavg: 1.98 2.00 1.91 3/83 1554
/proc/meminfo: memFree=1737232/2055920 swapFree=4181172/4192956
[pid=1541] ppid=1539 vsize=868136 CPUtime=111.8
/proc/1541/stat : 1541 (java) S 1539 1541 32315 0 -1 0 28800 516 1 0 11138 25 17 0 19 0 9 0 245347055 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1541/statm: 217034 17874 2633 9 0 211540 0
[pid=1541/tid=1543] ppid=1539 vsize=868136 CPUtime=111.28
/proc/1541/task/1543/stat : 1543 (java) R 1539 1541 32315 0 -1 64 20240 516 1 0 11090 21 17 0 25 0 9 0 245347056 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4127262785 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=868136 CPUtime=0.28
/proc/1541/task/1544/stat : 1544 (java) S 1539 1541 32315 0 -1 64 6670 516 0 0 10 1 17 0 16 0 9 0 245347058 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1545] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1545/stat : 1545 (java) S 1539 1541 32315 0 -1 64 16 516 0 0 0 0 17 0 17 0 9 0 245347058 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1546] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1546/stat : 1546 (java) S 1539 1541 32315 0 -1 64 14 516 0 0 0 0 17 0 16 0 9 0 245347058 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1547] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1547/stat : 1547 (java) S 1539 1541 32315 0 -1 64 1 516 0 0 0 0 17 0 18 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1548] ppid=1539 vsize=868136 CPUtime=0.54
/proc/1541/task/1548/stat : 1548 (java) S 1539 1541 32315 0 -1 64 1019 516 0 0 37 0 17 0 16 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1549] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1549/stat : 1549 (java) S 1539 1541 32315 0 -1 64 1 516 0 0 0 0 17 0 19 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1550] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1550/stat : 1550 (java) S 1539 1541 32315 0 -1 64 37 516 0 0 0 0 17 0 15 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 111.8
Current children cumulated vsize (KiB) 868136
[startup+113.501 s]
/proc/loadavg: 1.98 2.00 1.91 3/83 1554
/proc/meminfo: memFree=1737232/2055920 swapFree=4181172/4192956
[pid=1541] ppid=1539 vsize=868136 CPUtime=113.4
/proc/1541/stat : 1541 (java) S 1539 1541 32315 0 -1 0 28800 516 1 0 11298 25 17 0 19 0 9 0 245347055 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1541/statm: 217034 17874 2633 9 0 211540 0
[pid=1541/tid=1543] ppid=1539 vsize=868136 CPUtime=112.88
/proc/1541/task/1543/stat : 1543 (java) R 1539 1541 32315 0 -1 64 20240 516 1 0 11250 21 17 0 25 0 9 0 245347056 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4127258760 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=868136 CPUtime=0.28
/proc/1541/task/1544/stat : 1544 (java) S 1539 1541 32315 0 -1 64 6670 516 0 0 10 1 17 0 16 0 9 0 245347058 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1545] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1545/stat : 1545 (java) S 1539 1541 32315 0 -1 64 16 516 0 0 0 0 17 0 17 0 9 0 245347058 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1546] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1546/stat : 1546 (java) S 1539 1541 32315 0 -1 64 14 516 0 0 0 0 17 0 16 0 9 0 245347058 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1547] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1547/stat : 1547 (java) S 1539 1541 32315 0 -1 64 1 516 0 0 0 0 17 0 18 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1548] ppid=1539 vsize=868136 CPUtime=0.54
/proc/1541/task/1548/stat : 1548 (java) S 1539 1541 32315 0 -1 64 1019 516 0 0 37 0 17 0 16 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1549] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1549/stat : 1549 (java) S 1539 1541 32315 0 -1 64 1 516 0 0 0 0 17 0 19 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1550] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1550/stat : 1550 (java) S 1539 1541 32315 0 -1 64 37 516 0 0 0 0 17 0 15 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 113.4
Current children cumulated vsize (KiB) 868136
[startup+114.301 s]
/proc/loadavg: 1.98 2.00 1.91 3/83 1554
/proc/meminfo: memFree=1737232/2055920 swapFree=4181172/4192956
[pid=1541] ppid=1539 vsize=868136 CPUtime=114.21
/proc/1541/stat : 1541 (java) S 1539 1541 32315 0 -1 0 28800 516 1 0 11379 25 17 0 19 0 9 0 245347055 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1541/statm: 217034 17874 2633 9 0 211540 0
[pid=1541/tid=1543] ppid=1539 vsize=868136 CPUtime=113.68
/proc/1541/task/1543/stat : 1543 (java) R 1539 1541 32315 0 -1 64 20240 516 1 0 11330 21 17 0 25 0 9 0 245347056 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4127282057 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=868136 CPUtime=0.28
/proc/1541/task/1544/stat : 1544 (java) S 1539 1541 32315 0 -1 64 6670 516 0 0 10 1 17 0 16 0 9 0 245347058 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1545] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1545/stat : 1545 (java) S 1539 1541 32315 0 -1 64 16 516 0 0 0 0 17 0 17 0 9 0 245347058 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1546] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1546/stat : 1546 (java) S 1539 1541 32315 0 -1 64 14 516 0 0 0 0 17 0 16 0 9 0 245347058 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1547] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1547/stat : 1547 (java) S 1539 1541 32315 0 -1 64 1 516 0 0 0 0 17 0 18 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1548] ppid=1539 vsize=868136 CPUtime=0.54
/proc/1541/task/1548/stat : 1548 (java) S 1539 1541 32315 0 -1 64 1019 516 0 0 37 0 17 0 16 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1549] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1549/stat : 1549 (java) S 1539 1541 32315 0 -1 64 1 516 0 0 0 0 17 0 19 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1550] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1550/stat : 1550 (java) S 1539 1541 32315 0 -1 64 37 516 0 0 0 0 17 0 15 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 114.21
Current children cumulated vsize (KiB) 868136
[startup+115.102 s]
/proc/loadavg: 1.98 2.00 1.91 3/83 1554
/proc/meminfo: memFree=1737232/2055920 swapFree=4181172/4192956
[pid=1541] ppid=1539 vsize=868136 CPUtime=115
/proc/1541/stat : 1541 (java) S 1539 1541 32315 0 -1 0 28800 516 1 0 11458 25 17 0 19 0 9 0 245347055 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1541/statm: 217034 17874 2633 9 0 211540 0
[pid=1541/tid=1543] ppid=1539 vsize=868136 CPUtime=114.48
/proc/1541/task/1543/stat : 1543 (java) R 1539 1541 32315 0 -1 64 20240 516 1 0 11410 21 17 0 25 0 9 0 245347056 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4127273374 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=868136 CPUtime=0.28
/proc/1541/task/1544/stat : 1544 (java) S 1539 1541 32315 0 -1 64 6670 516 0 0 10 1 17 0 16 0 9 0 245347058 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1545] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1545/stat : 1545 (java) S 1539 1541 32315 0 -1 64 16 516 0 0 0 0 17 0 17 0 9 0 245347058 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1546] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1546/stat : 1546 (java) S 1539 1541 32315 0 -1 64 14 516 0 0 0 0 17 0 16 0 9 0 245347058 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1547] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1547/stat : 1547 (java) S 1539 1541 32315 0 -1 64 1 516 0 0 0 0 17 0 18 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1548] ppid=1539 vsize=868136 CPUtime=0.54
/proc/1541/task/1548/stat : 1548 (java) S 1539 1541 32315 0 -1 64 1019 516 0 0 37 0 17 0 16 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1549] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1549/stat : 1549 (java) S 1539 1541 32315 0 -1 64 1 516 0 0 0 0 17 0 19 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1550] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1550/stat : 1550 (java) S 1539 1541 32315 0 -1 64 37 516 0 0 0 0 17 0 15 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 115
Current children cumulated vsize (KiB) 868136
[startup+115.507 s]
/proc/loadavg: 1.99 2.00 1.91 3/83 1554
/proc/meminfo: memFree=1737232/2055920 swapFree=4181172/4192956
[pid=1541] ppid=1539 vsize=868136 CPUtime=115.41
/proc/1541/stat : 1541 (java) S 1539 1541 32315 0 -1 0 28800 516 1 0 11499 25 17 0 19 0 9 0 245347055 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1541/statm: 217034 17874 2633 9 0 211540 0
[pid=1541/tid=1543] ppid=1539 vsize=868136 CPUtime=114.89
/proc/1541/task/1543/stat : 1543 (java) R 1539 1541 32315 0 -1 64 20240 516 1 0 11451 21 17 0 25 0 9 0 245347056 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4127276881 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1544] ppid=1539 vsize=868136 CPUtime=0.28
/proc/1541/task/1544/stat : 1544 (java) S 1539 1541 32315 0 -1 64 6670 516 0 0 10 1 17 0 16 0 9 0 245347058 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1545] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1545/stat : 1545 (java) S 1539 1541 32315 0 -1 64 16 516 0 0 0 0 17 0 17 0 9 0 245347058 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1546] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1546/stat : 1546 (java) S 1539 1541 32315 0 -1 64 14 516 0 0 0 0 17 0 16 0 9 0 245347058 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1547] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1547/stat : 1547 (java) S 1539 1541 32315 0 -1 64 1 516 0 0 0 0 17 0 18 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1548] ppid=1539 vsize=868136 CPUtime=0.54
/proc/1541/task/1548/stat : 1548 (java) S 1539 1541 32315 0 -1 64 1019 516 0 0 37 0 17 0 16 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1541/tid=1549] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1549/stat : 1549 (java) S 1539 1541 32315 0 -1 64 1 516 0 0 0 0 17 0 19 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1541/tid=1550] ppid=1539 vsize=868136 CPUtime=0.17
/proc/1541/task/1550/stat : 1550 (java) S 1539 1541 32315 0 -1 64 37 516 0 0 0 0 17 0 15 0 9 0 245347060 888971264 17874 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 115.41
Current children cumulated vsize (KiB) 868136
Child status: 0
Real time (s): 115.593
CPU time (s): 115.509
CPU user time (s): 115.231
CPU system time (s): 0.277957
CPU usage (%): 99.9279
Max. virtual memory (cumulated for all children) (KiB): 868172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 115.231
system time used= 0.277957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29348
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= 3928
involuntary context switches= 4315
runsolver used 0.109983 second user time and 0.32495 second system time
The end
Begin job on node85 at 2008-07-03 02:14:03
IDJOB=1048793
IDBENCH=54516
IDSOLVER=363
FILE ID=node85/1048793-1215044043
PBS_JOBID= 7875008
Free space on /tmp= 126848 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/pseudo/ssa/normalized-ssa-2670-141.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-1048793-1215044043/watcher-1048793-1215044043 -o /tmp/evaluation-result-1048793-1215044043/solver-1048793-1215044043 -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-1048793-1215044043.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= a24bdf9aff1b96befc788e928e7ebb69
RANDOM SEED=1453179301
node85.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.272
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.272
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1799864 kB
Buffers: 28544 kB
Cached: 146532 kB
SwapCached: 5532 kB
Active: 78992 kB
Inactive: 116816 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1799864 kB
SwapTotal: 4192956 kB
SwapFree: 4181172 kB
Dirty: 2524 kB
Writeback: 0 kB
Mapped: 27236 kB
Slab: 45872 kB
Committed_AS: 572172 kB
PageTables: 1532 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= 126848 MiB
End job on node85 at 2008-07-03 02:15:59