0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.19/0.25
0.19/0.25 configuration
0.19/0.25 name=mac.xml
0.19/0.29
0.19/0.29 instance
0.19/0.29 name=HOME/instance-1048688-1215043672.xml
0.29/0.33
0.29/0.33 domains being loaded...
0.29/0.33
0.29/0.33 variables being loaded...
0.29/0.38 nbVariables=105 nbDomainTypes=1 minDomainSize=3 maxDomainSize=3 nbTotalValues=315
0.29/0.38 => wckTime=0.122 cpuTime=0.12 mem=7M919
0.29/0.38
0.29/0.38 predicates being loaded...
0.38/0.44
0.38/0.44 constraints being loaded...
0.78/0.87 nbConstraints=469 nbGlobalConstraints=14 nbConflictsStructures=1 nbSharedConflictsStructures=454
0.78/0.87 nbSharedBinaryRepresentations=0 nbEvaluationManagers=1 nbSharedEvaluationManagers=454 minDegree=14 maxDegree=17
0.78/0.87 minArity=3 avgArity=3.69 maxArity=26 nbGenerators=14 nbFusions=0 symmetryWckTime=0.104 symmetryCpuTime=0.05
0.78/0.87 => wckTime=0.617 cpuTime=0.45 mem=21M581
0.87/0.94
0.87/0.94 solver IterativeSystematicSolver being built...
0.97/1.04
0.97/1.04 INFO : Forward propagation technique limited
1.07/1.11 => wckTime=0.851 cpuTime=0.59 mem=24M260
1.07/1.12
1.07/1.12 preprocessing
1.07/1.12 nbConstraintChecks=0 nbPropagations=105 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.07/1.12 detectedInconsistency=no
1.07/1.12 => wckTime=0.011 cpuTime=0.01 mem=24M260
1.17/1.28
1.17/1.28 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=25M251)
110.82/111.95
110.82/111.95 search
110.82/111.95 run=23 nbConstraintChecks=36997980 nbValidityChecks=46443535 minDepth=4 maxDepth=105 nbPropagations=16203315
110.82/111.95 nbRevisions=58189979 nbUselessRevisions=45496829 nbAssignments=1274679 nbFailedAssignments=301807
110.82/111.95 nbBacktracks=972113 nbVisitedNodes=1806716 nbRestartNogoods=193 nbFoundSolutions=1 nbSEliminables=0
110.82/111.95 nbREliminables=60.53 nbIEliminables=19.19 nbDEliminables=0 nbPEliminables=0
110.82/111.95 => wckTime=110.841 cpuTime=109.71 mem=25M251
110.82/111.95
110.82/111.95 global
110.82/111.95 nbConstraintChecks=36997980 nbValidityChecks=46443535 nbPropagations=16203420 nbRevisions=58189979
110.82/111.95 nbUselessRevisions=45496829 nbRestartNogoods=193 solvingWckTime=110.843 solvingCpuTime=109.71 expiredTime=no
110.82/111.95 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=110.3 globalCpuTime=110.34
110.82/111.95 => wckTime=111.697 cpuTime=110.3 mem=25M251
110.82/111.95
110.82/111.95 s SATISFIABLE
110.82/111.95 v 0 0 0 0 0 1 1 1 1 2 2 2 2 2 1 1 2 2 0 1 1 2 0 0 1 2 2 2 1 2 2 0 0 1 0 1 2 0 2 2 1 1 0 2 1 1 2 0 2 0 1 1 1 0 0 2 0 2 1 0 0 2 1 0 2 2 0 0 1 0 0 2 2 1 1 2 0 2 0 1 0 2 2 1 2 2 1 0 1 2 0 2 2 1 1 1 0 1 0 0 0 1 1 1 0
110.82/111.95 d NODES 1274679
110.82/111.95 d CHECKS 36997980
110.82/111.96
110.82/111.96 totalWckTime=111.768 totalCpuTime=110.34
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1048688-1215043672/watcher-1048688-1215043672 -o /tmp/evaluation-result-1048688-1215043672/solver-1048688-1215043672 -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-1048688-1215043672.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.08 2.02 1.94 3/81 14543
/proc/meminfo: memFree=1415992/2055920 swapFree=4179456/4192956
[pid=14543] ppid=14541 vsize=10616 CPUtime=0
/proc/14543/stat : 14543 (java) S 14541 14543 13921 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 1983339658 10870784 472 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14543/statm: 2654 472 209 9 0 1184 0
[pid=14543/tid=14544] ppid=14541 vsize=10616 CPUtime=0
/proc/14543/task/14544/stat : 14544 (java) R 14541 14543 13921 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 1983339659 10870784 472 996147200 134512640 134550740 4294955984 18446744073709551615 2826200 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.099208 s]
/proc/loadavg: 2.08 2.02 1.94 3/81 14543
/proc/meminfo: memFree=1415992/2055920 swapFree=4179456/4192956
[pid=14543] ppid=14541 vsize=865884 CPUtime=0.09
/proc/14543/stat : 14543 (java) S 14541 14543 13921 0 -1 0 3689 0 1 0 7 2 0 0 18 0 9 0 1983339658 886665216 3164 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14543/statm: 216471 3164 1685 9 0 211026 0
[pid=14543/tid=14544] ppid=14541 vsize=865884 CPUtime=0.06
/proc/14543/task/14544/stat : 14544 (java) R 14541 14543 13921 0 -1 64 2773 0 1 0 5 1 0 0 20 0 9 0 1983339659 886665216 3164 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 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.10121 s]
/proc/loadavg: 2.08 2.02 1.94 3/81 14543
/proc/meminfo: memFree=1415992/2055920 swapFree=4179456/4192956
[pid=14543] ppid=14541 vsize=865884 CPUtime=0.09
/proc/14543/stat : 14543 (java) S 14541 14543 13921 0 -1 0 3695 0 1 0 7 2 0 0 18 0 9 0 1983339658 886665216 3170 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14543/statm: 216471 3170 1685 9 0 211026 0
[pid=14543/tid=14544] ppid=14541 vsize=865884 CPUtime=0.06
/proc/14543/task/14544/stat : 14544 (java) R 14541 14543 13921 0 -1 64 2777 0 1 0 5 1 0 0 20 0 9 0 1983339659 886665216 3170 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 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.301228 s]
/proc/loadavg: 2.08 2.02 1.94 3/81 14543
/proc/meminfo: memFree=1415992/2055920 swapFree=4179456/4192956
[pid=14543] ppid=14541 vsize=866284 CPUtime=0.29
/proc/14543/stat : 14543 (java) S 14541 14543 13921 0 -1 0 5816 0 1 0 25 4 0 0 18 0 9 0 1983339658 887074816 5190 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14543/statm: 216571 5190 1953 9 0 211099 0
[pid=14543/tid=14544] ppid=14541 vsize=866284 CPUtime=0.24
/proc/14543/task/14544/stat : 14544 (java) R 14541 14543 13921 0 -1 64 4844 0 1 0 21 3 0 0 18 0 9 0 1983339659 887074816 5190 996147200 134512640 134550740 4294955984 18446744073709551615 4125967219 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866284
[startup+0.70168 s]
/proc/loadavg: 2.08 2.02 1.94 3/81 14543
/proc/meminfo: memFree=1415992/2055920 swapFree=4179456/4192956
[pid=14543] ppid=14541 vsize=867080 CPUtime=0.68
/proc/14543/stat : 14543 (java) S 14541 14543 13921 0 -1 0 8665 0 1 0 61 7 0 0 18 0 9 0 1983339658 887889920 8025 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14543/statm: 216770 8025 2008 9 0 211276 0
[pid=14543/tid=14544] ppid=14541 vsize=867080 CPUtime=0.53
/proc/14543/task/14544/stat : 14544 (java) R 14541 14543 13921 0 -1 64 7464 0 1 0 47 6 0 0 20 0 9 0 1983339659 887889920 8025 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867080
[startup+1.50233 s]
/proc/loadavg: 2.07 2.02 1.94 3/90 14556
/proc/meminfo: memFree=1385136/2055920 swapFree=4179456/4192956
[pid=14543] ppid=14541 vsize=867864 CPUtime=1.46
/proc/14543/stat : 14543 (java) S 14541 14543 13921 0 -1 0 18364 341 1 0 131 13 2 0 18 0 9 0 1983339658 888692736 11590 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14543/statm: 216966 11590 2632 9 0 211472 0
[pid=14543/tid=14544] ppid=14541 vsize=867864 CPUtime=1.11
/proc/14543/task/14544/stat : 14544 (java) R 14541 14543 13921 0 -1 64 13170 341 1 0 99 10 2 0 24 0 9 0 1983339659 888692736 11590 996147200 134512640 134550740 4294955984 18446744073709551615 4126962488 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14546] ppid=14541 vsize=867864 CPUtime=0.07
/proc/14543/task/14546/stat : 14546 (java) S 14541 14543 13921 0 -1 64 3571 341 0 0 4 1 2 0 16 0 9 0 1983339661 888692736 11590 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14547] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14547/stat : 14547 (java) S 14541 14543 13921 0 -1 64 16 341 0 0 0 0 2 0 17 0 9 0 1983339661 888692736 11590 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14548] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14548/stat : 14548 (java) S 14541 14543 13921 0 -1 64 11 341 0 0 0 0 2 0 16 0 9 0 1983339661 888692736 11590 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14549] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14549/stat : 14549 (java) S 14541 14543 13921 0 -1 64 1 341 0 0 0 0 2 0 18 0 9 0 1983339663 888692736 11590 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14550] ppid=14541 vsize=867864 CPUtime=0.29
/proc/14543/task/14550/stat : 14550 (java) S 14541 14543 13921 0 -1 64 785 341 0 0 27 0 2 0 15 0 9 0 1983339663 888692736 11590 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14551] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14551/stat : 14551 (java) S 14541 14543 13921 0 -1 64 1 341 0 0 0 0 2 0 19 0 9 0 1983339663 888692736 11590 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14552] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14552/stat : 14552 (java) S 14541 14543 13921 0 -1 64 6 341 0 0 0 0 2 0 15 0 9 0 1983339663 888692736 11590 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867864
[startup+3.10248 s]
/proc/loadavg: 2.07 2.02 1.94 3/90 14556
/proc/meminfo: memFree=1379632/2055920 swapFree=4179456/4192956
[pid=14543] ppid=14541 vsize=867864 CPUtime=3.05
/proc/14543/stat : 14543 (java) S 14541 14543 13921 0 -1 0 18378 341 1 0 290 13 2 0 18 0 9 0 1983339658 888692736 11602 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14543/statm: 216966 11602 2632 9 0 211472 0
[pid=14543/tid=14544] ppid=14541 vsize=867864 CPUtime=2.68
/proc/14543/task/14544/stat : 14544 (java) R 14541 14543 13921 0 -1 64 13180 341 1 0 256 10 2 0 25 0 9 0 1983339659 888692736 11602 996147200 134512640 134550740 4294955984 18446744073709551615 4126957922 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14546] ppid=14541 vsize=867864 CPUtime=0.07
/proc/14543/task/14546/stat : 14546 (java) S 14541 14543 13921 0 -1 64 3571 341 0 0 4 1 2 0 17 0 9 0 1983339661 888692736 11602 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14547] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14547/stat : 14547 (java) S 14541 14543 13921 0 -1 64 16 341 0 0 0 0 2 0 17 0 9 0 1983339661 888692736 11602 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14548] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14548/stat : 14548 (java) S 14541 14543 13921 0 -1 64 11 341 0 0 0 0 2 0 16 0 9 0 1983339661 888692736 11602 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14549] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14549/stat : 14549 (java) S 14541 14543 13921 0 -1 64 1 341 0 0 0 0 2 0 18 0 9 0 1983339663 888692736 11602 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14550] ppid=14541 vsize=867864 CPUtime=0.3
/proc/14543/task/14550/stat : 14550 (java) S 14541 14543 13921 0 -1 64 789 341 0 0 28 0 2 0 15 0 9 0 1983339663 888692736 11602 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14551] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14551/stat : 14551 (java) S 14541 14543 13921 0 -1 64 1 341 0 0 0 0 2 0 19 0 9 0 1983339663 888692736 11602 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14552] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14552/stat : 14552 (java) S 14541 14543 13921 0 -1 64 6 341 0 0 0 0 2 0 15 0 9 0 1983339663 888692736 11602 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867864
[startup+6.30176 s]
/proc/loadavg: 2.07 2.02 1.94 3/90 14556
/proc/meminfo: memFree=1379448/2055920 swapFree=4179456/4192956
[pid=14543] ppid=14541 vsize=867864 CPUtime=6.22
/proc/14543/stat : 14543 (java) S 14541 14543 13921 0 -1 0 18395 341 1 0 607 13 2 0 18 0 9 0 1983339658 888692736 11605 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14543/statm: 216966 11605 2632 9 0 211472 0
[pid=14543/tid=14544] ppid=14541 vsize=867864 CPUtime=5.84
/proc/14543/task/14544/stat : 14544 (java) R 14541 14543 13921 0 -1 64 13181 341 1 0 572 10 2 0 25 0 9 0 1983339659 888692736 11605 996147200 134512640 134550740 4294955984 18446744073709551615 4127013528 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14546] ppid=14541 vsize=867864 CPUtime=0.07
/proc/14543/task/14546/stat : 14546 (java) S 14541 14543 13921 0 -1 64 3571 341 0 0 4 1 2 0 16 0 9 0 1983339661 888692736 11605 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14547] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14547/stat : 14547 (java) S 14541 14543 13921 0 -1 64 16 341 0 0 0 0 2 0 17 0 9 0 1983339661 888692736 11605 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14548] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14548/stat : 14548 (java) S 14541 14543 13921 0 -1 64 11 341 0 0 0 0 2 0 16 0 9 0 1983339661 888692736 11605 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14549] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14549/stat : 14549 (java) S 14541 14543 13921 0 -1 64 1 341 0 0 0 0 2 0 18 0 9 0 1983339663 888692736 11605 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14550] ppid=14541 vsize=867864 CPUtime=0.31
/proc/14543/task/14550/stat : 14550 (java) S 14541 14543 13921 0 -1 64 793 341 0 0 29 0 2 0 15 0 9 0 1983339663 888692736 11605 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14551] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14551/stat : 14551 (java) S 14541 14543 13921 0 -1 64 1 341 0 0 0 0 2 0 19 0 9 0 1983339663 888692736 11605 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14552] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14552/stat : 14552 (java) S 14541 14543 13921 0 -1 64 18 341 0 0 0 0 2 0 15 0 9 0 1983339663 888692736 11605 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867864
[startup+12.7023 s]
/proc/loadavg: 2.06 2.02 1.94 3/90 14556
/proc/meminfo: memFree=1379256/2055920 swapFree=4179456/4192956
[pid=14543] ppid=14541 vsize=867864 CPUtime=12.56
/proc/14543/stat : 14543 (java) S 14541 14543 13921 0 -1 0 18399 341 1 0 1241 13 2 0 18 0 9 0 1983339658 888692736 11607 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14543/statm: 216966 11607 2632 9 0 211472 0
[pid=14543/tid=14544] ppid=14541 vsize=867864 CPUtime=12.19
/proc/14543/task/14544/stat : 14544 (java) R 14541 14543 13921 0 -1 64 13185 341 1 0 1207 10 2 0 25 0 9 0 1983339659 888692736 11607 996147200 134512640 134550740 4294955984 18446744073709551615 4127047068 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14546] ppid=14541 vsize=867864 CPUtime=0.07
/proc/14543/task/14546/stat : 14546 (java) S 14541 14543 13921 0 -1 64 3571 341 0 0 4 1 2 0 16 0 9 0 1983339661 888692736 11607 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14547] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14547/stat : 14547 (java) S 14541 14543 13921 0 -1 64 16 341 0 0 0 0 2 0 17 0 9 0 1983339661 888692736 11607 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14548] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14548/stat : 14548 (java) S 14541 14543 13921 0 -1 64 11 341 0 0 0 0 2 0 16 0 9 0 1983339661 888692736 11607 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14549] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14549/stat : 14549 (java) S 14541 14543 13921 0 -1 64 1 341 0 0 0 0 2 0 18 0 9 0 1983339663 888692736 11607 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14550] ppid=14541 vsize=867864 CPUtime=0.31
/proc/14543/task/14550/stat : 14550 (java) S 14541 14543 13921 0 -1 64 793 341 0 0 29 0 2 0 16 0 9 0 1983339663 888692736 11607 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14551] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14551/stat : 14551 (java) S 14541 14543 13921 0 -1 64 1 341 0 0 0 0 2 0 19 0 9 0 1983339663 888692736 11607 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14552] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14552/stat : 14552 (java) S 14541 14543 13921 0 -1 64 18 341 0 0 0 0 2 0 15 0 9 0 1983339663 888692736 11607 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867864
[startup+25.5015 s]
/proc/loadavg: 2.05 2.01 1.94 3/90 14556
/proc/meminfo: memFree=1379320/2055920 swapFree=4179456/4192956
[pid=14543] ppid=14541 vsize=867864 CPUtime=25.23
/proc/14543/stat : 14543 (java) S 14541 14543 13921 0 -1 0 18402 341 1 0 2508 13 2 0 18 0 9 0 1983339658 888692736 11610 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14543/statm: 216966 11610 2632 9 0 211472 0
[pid=14543/tid=14544] ppid=14541 vsize=867864 CPUtime=24.86
/proc/14543/task/14544/stat : 14544 (java) R 14541 14543 13921 0 -1 64 13188 341 1 0 2474 10 2 0 25 0 9 0 1983339659 888692736 11610 996147200 134512640 134550740 4294955984 18446744073709551615 4127000155 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14546] ppid=14541 vsize=867864 CPUtime=0.07
/proc/14543/task/14546/stat : 14546 (java) S 14541 14543 13921 0 -1 64 3571 341 0 0 4 1 2 0 16 0 9 0 1983339661 888692736 11610 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14547] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14547/stat : 14547 (java) S 14541 14543 13921 0 -1 64 16 341 0 0 0 0 2 0 17 0 9 0 1983339661 888692736 11610 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14548] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14548/stat : 14548 (java) S 14541 14543 13921 0 -1 64 11 341 0 0 0 0 2 0 16 0 9 0 1983339661 888692736 11610 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14549] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14549/stat : 14549 (java) S 14541 14543 13921 0 -1 64 1 341 0 0 0 0 2 0 18 0 9 0 1983339663 888692736 11610 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14550] ppid=14541 vsize=867864 CPUtime=0.31
/proc/14543/task/14550/stat : 14550 (java) S 14541 14543 13921 0 -1 64 793 341 0 0 29 0 2 0 16 0 9 0 1983339663 888692736 11610 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14551] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14551/stat : 14551 (java) S 14541 14543 13921 0 -1 64 1 341 0 0 0 0 2 0 19 0 9 0 1983339663 888692736 11610 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14552] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14552/stat : 14552 (java) S 14541 14543 13921 0 -1 64 18 341 0 0 0 0 2 0 15 0 9 0 1983339663 888692736 11610 996147200 134512640 134550740 4294955984 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) 867864
[startup+51.1018 s]
/proc/loadavg: 2.03 2.01 1.94 3/90 14556
/proc/meminfo: memFree=1379256/2055920 swapFree=4179456/4192956
[pid=14543] ppid=14541 vsize=867864 CPUtime=50.6
/proc/14543/stat : 14543 (java) S 14541 14543 13921 0 -1 0 18404 341 1 0 5045 13 2 0 18 0 9 0 1983339658 888692736 11612 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14543/statm: 216966 11612 2632 9 0 211472 0
[pid=14543/tid=14544] ppid=14541 vsize=867864 CPUtime=50.22
/proc/14543/task/14544/stat : 14544 (java) R 14541 14543 13921 0 -1 64 13190 341 1 0 5010 10 2 0 25 0 9 0 1983339659 888692736 11612 996147200 134512640 134550740 4294955984 18446744073709551615 4126972606 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14546] ppid=14541 vsize=867864 CPUtime=0.07
/proc/14543/task/14546/stat : 14546 (java) S 14541 14543 13921 0 -1 64 3571 341 0 0 4 1 2 0 16 0 9 0 1983339661 888692736 11612 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14547] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14547/stat : 14547 (java) S 14541 14543 13921 0 -1 64 16 341 0 0 0 0 2 0 17 0 9 0 1983339661 888692736 11612 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14548] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14548/stat : 14548 (java) S 14541 14543 13921 0 -1 64 11 341 0 0 0 0 2 0 16 0 9 0 1983339661 888692736 11612 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14549] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14549/stat : 14549 (java) S 14541 14543 13921 0 -1 64 1 341 0 0 0 0 2 0 18 0 9 0 1983339663 888692736 11612 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14550] ppid=14541 vsize=867864 CPUtime=0.31
/proc/14543/task/14550/stat : 14550 (java) S 14541 14543 13921 0 -1 64 793 341 0 0 29 0 2 0 16 0 9 0 1983339663 888692736 11612 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14551] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14551/stat : 14551 (java) S 14541 14543 13921 0 -1 64 1 341 0 0 0 0 2 0 19 0 9 0 1983339663 888692736 11612 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14552] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14552/stat : 14552 (java) S 14541 14543 13921 0 -1 64 18 341 0 0 0 0 2 0 15 0 9 0 1983339663 888692736 11612 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 867864
[startup+102.306 s]
/proc/loadavg: 2.01 2.01 1.94 3/90 14556
/proc/meminfo: memFree=1379128/2055920 swapFree=4179456/4192956
[pid=14543] ppid=14541 vsize=867864 CPUtime=101.32
/proc/14543/stat : 14543 (java) S 14541 14543 13921 0 -1 0 18405 341 1 0 10117 13 2 0 18 0 9 0 1983339658 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14543/statm: 216966 11613 2632 9 0 211472 0
[pid=14543/tid=14544] ppid=14541 vsize=867864 CPUtime=100.95
/proc/14543/task/14544/stat : 14544 (java) R 14541 14543 13921 0 -1 64 13191 341 1 0 10082 11 2 0 25 0 9 0 1983339659 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4126951327 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14546] ppid=14541 vsize=867864 CPUtime=0.07
/proc/14543/task/14546/stat : 14546 (java) S 14541 14543 13921 0 -1 64 3571 341 0 0 4 1 2 0 16 0 9 0 1983339661 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14547] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14547/stat : 14547 (java) S 14541 14543 13921 0 -1 64 16 341 0 0 0 0 2 0 17 0 9 0 1983339661 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14548] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14548/stat : 14548 (java) S 14541 14543 13921 0 -1 64 11 341 0 0 0 0 2 0 16 0 9 0 1983339661 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14549] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14549/stat : 14549 (java) S 14541 14543 13921 0 -1 64 1 341 0 0 0 0 2 0 18 0 9 0 1983339663 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14550] ppid=14541 vsize=867864 CPUtime=0.31
/proc/14543/task/14550/stat : 14550 (java) S 14541 14543 13921 0 -1 64 793 341 0 0 29 0 2 0 16 0 9 0 1983339663 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14551] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14551/stat : 14551 (java) S 14541 14543 13921 0 -1 64 1 341 0 0 0 0 2 0 19 0 9 0 1983339663 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14552] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14552/stat : 14552 (java) S 14541 14543 13921 0 -1 64 18 341 0 0 0 0 2 0 15 0 9 0 1983339663 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 867864
Solver just ended. Dumping a history of the last processes samples
[startup+108.702 s]
/proc/loadavg: 2.01 2.01 1.94 3/90 14556
/proc/meminfo: memFree=1379128/2055920 swapFree=4179456/4192956
[pid=14543] ppid=14541 vsize=867864 CPUtime=107.65
/proc/14543/stat : 14543 (java) S 14541 14543 13921 0 -1 0 18405 341 1 0 10750 13 2 0 18 0 9 0 1983339658 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14543/statm: 216966 11613 2632 9 0 211472 0
[pid=14543/tid=14544] ppid=14541 vsize=867864 CPUtime=107.29
/proc/14543/task/14544/stat : 14544 (java) R 14541 14543 13921 0 -1 64 13191 341 1 0 10716 11 2 0 25 0 9 0 1983339659 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4126949762 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14546] ppid=14541 vsize=867864 CPUtime=0.07
/proc/14543/task/14546/stat : 14546 (java) S 14541 14543 13921 0 -1 64 3571 341 0 0 4 1 2 0 16 0 9 0 1983339661 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14547] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14547/stat : 14547 (java) S 14541 14543 13921 0 -1 64 16 341 0 0 0 0 2 0 17 0 9 0 1983339661 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14548] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14548/stat : 14548 (java) S 14541 14543 13921 0 -1 64 11 341 0 0 0 0 2 0 16 0 9 0 1983339661 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14549] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14549/stat : 14549 (java) S 14541 14543 13921 0 -1 64 1 341 0 0 0 0 2 0 18 0 9 0 1983339663 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14550] ppid=14541 vsize=867864 CPUtime=0.31
/proc/14543/task/14550/stat : 14550 (java) S 14541 14543 13921 0 -1 64 793 341 0 0 29 0 2 0 16 0 9 0 1983339663 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14551] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14551/stat : 14551 (java) S 14541 14543 13921 0 -1 64 1 341 0 0 0 0 2 0 19 0 9 0 1983339663 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14552] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14552/stat : 14552 (java) S 14541 14543 13921 0 -1 64 18 341 0 0 0 0 2 0 15 0 9 0 1983339663 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 107.65
Current children cumulated vsize (KiB) 867864
[startup+110.301 s]
/proc/loadavg: 2.01 2.01 1.94 3/90 14556
/proc/meminfo: memFree=1379128/2055920 swapFree=4179456/4192956
[pid=14543] ppid=14541 vsize=867864 CPUtime=109.23
/proc/14543/stat : 14543 (java) S 14541 14543 13921 0 -1 0 18405 341 1 0 10908 13 2 0 18 0 9 0 1983339658 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14543/statm: 216966 11613 2632 9 0 211472 0
[pid=14543/tid=14544] ppid=14541 vsize=867864 CPUtime=108.87
/proc/14543/task/14544/stat : 14544 (java) R 14541 14543 13921 0 -1 64 13191 341 1 0 10874 11 2 0 25 0 9 0 1983339659 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4126095722 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14546] ppid=14541 vsize=867864 CPUtime=0.07
/proc/14543/task/14546/stat : 14546 (java) S 14541 14543 13921 0 -1 64 3571 341 0 0 4 1 2 0 16 0 9 0 1983339661 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14547] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14547/stat : 14547 (java) S 14541 14543 13921 0 -1 64 16 341 0 0 0 0 2 0 17 0 9 0 1983339661 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14548] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14548/stat : 14548 (java) S 14541 14543 13921 0 -1 64 11 341 0 0 0 0 2 0 16 0 9 0 1983339661 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14549] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14549/stat : 14549 (java) S 14541 14543 13921 0 -1 64 1 341 0 0 0 0 2 0 18 0 9 0 1983339663 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14550] ppid=14541 vsize=867864 CPUtime=0.31
/proc/14543/task/14550/stat : 14550 (java) S 14541 14543 13921 0 -1 64 793 341 0 0 29 0 2 0 16 0 9 0 1983339663 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14551] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14551/stat : 14551 (java) S 14541 14543 13921 0 -1 64 1 341 0 0 0 0 2 0 19 0 9 0 1983339663 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14552] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14552/stat : 14552 (java) S 14541 14543 13921 0 -1 64 18 341 0 0 0 0 2 0 15 0 9 0 1983339663 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 109.23
Current children cumulated vsize (KiB) 867864
[startup+111.106 s]
/proc/loadavg: 2.01 2.01 1.94 3/90 14556
/proc/meminfo: memFree=1379128/2055920 swapFree=4179456/4192956
[pid=14543] ppid=14541 vsize=867864 CPUtime=110.03
/proc/14543/stat : 14543 (java) S 14541 14543 13921 0 -1 0 18405 341 1 0 10988 13 2 0 18 0 9 0 1983339658 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14543/statm: 216966 11613 2632 9 0 211472 0
[pid=14543/tid=14544] ppid=14541 vsize=867864 CPUtime=109.67
/proc/14543/task/14544/stat : 14544 (java) R 14541 14543 13921 0 -1 64 13191 341 1 0 10954 11 2 0 25 0 9 0 1983339659 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4126987988 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14546] ppid=14541 vsize=867864 CPUtime=0.07
/proc/14543/task/14546/stat : 14546 (java) S 14541 14543 13921 0 -1 64 3571 341 0 0 4 1 2 0 16 0 9 0 1983339661 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14547] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14547/stat : 14547 (java) S 14541 14543 13921 0 -1 64 16 341 0 0 0 0 2 0 17 0 9 0 1983339661 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14548] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14548/stat : 14548 (java) S 14541 14543 13921 0 -1 64 11 341 0 0 0 0 2 0 16 0 9 0 1983339661 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14549] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14549/stat : 14549 (java) S 14541 14543 13921 0 -1 64 1 341 0 0 0 0 2 0 18 0 9 0 1983339663 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14550] ppid=14541 vsize=867864 CPUtime=0.31
/proc/14543/task/14550/stat : 14550 (java) S 14541 14543 13921 0 -1 64 793 341 0 0 29 0 2 0 16 0 9 0 1983339663 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14551] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14551/stat : 14551 (java) S 14541 14543 13921 0 -1 64 1 341 0 0 0 0 2 0 19 0 9 0 1983339663 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14552] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14552/stat : 14552 (java) S 14541 14543 13921 0 -1 64 18 341 0 0 0 0 2 0 15 0 9 0 1983339663 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (KiB) 867864
[startup+111.501 s]
/proc/loadavg: 2.01 2.01 1.94 3/90 14556
/proc/meminfo: memFree=1379128/2055920 swapFree=4179456/4192956
[pid=14543] ppid=14541 vsize=867864 CPUtime=110.42
/proc/14543/stat : 14543 (java) S 14541 14543 13921 0 -1 0 18405 341 1 0 11027 13 2 0 18 0 9 0 1983339658 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14543/statm: 216966 11613 2632 9 0 211472 0
[pid=14543/tid=14544] ppid=14541 vsize=867864 CPUtime=110.06
/proc/14543/task/14544/stat : 14544 (java) R 14541 14543 13921 0 -1 64 13191 341 1 0 10993 11 2 0 25 0 9 0 1983339659 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4126950873 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14546] ppid=14541 vsize=867864 CPUtime=0.07
/proc/14543/task/14546/stat : 14546 (java) S 14541 14543 13921 0 -1 64 3571 341 0 0 4 1 2 0 16 0 9 0 1983339661 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14547] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14547/stat : 14547 (java) S 14541 14543 13921 0 -1 64 16 341 0 0 0 0 2 0 17 0 9 0 1983339661 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14548] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14548/stat : 14548 (java) S 14541 14543 13921 0 -1 64 11 341 0 0 0 0 2 0 16 0 9 0 1983339661 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14549] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14549/stat : 14549 (java) S 14541 14543 13921 0 -1 64 1 341 0 0 0 0 2 0 18 0 9 0 1983339663 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14550] ppid=14541 vsize=867864 CPUtime=0.31
/proc/14543/task/14550/stat : 14550 (java) S 14541 14543 13921 0 -1 64 793 341 0 0 29 0 2 0 16 0 9 0 1983339663 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14551] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14551/stat : 14551 (java) S 14541 14543 13921 0 -1 64 1 341 0 0 0 0 2 0 19 0 9 0 1983339663 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14552] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14552/stat : 14552 (java) S 14541 14543 13921 0 -1 64 18 341 0 0 0 0 2 0 15 0 9 0 1983339663 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 110.42
Current children cumulated vsize (KiB) 867864
[startup+111.902 s]
/proc/loadavg: 2.01 2.01 1.94 3/90 14556
/proc/meminfo: memFree=1379128/2055920 swapFree=4179456/4192956
[pid=14543] ppid=14541 vsize=867864 CPUtime=110.82
/proc/14543/stat : 14543 (java) S 14541 14543 13921 0 -1 0 18405 341 1 0 11067 13 2 0 18 0 9 0 1983339658 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14543/statm: 216966 11613 2632 9 0 211472 0
[pid=14543/tid=14544] ppid=14541 vsize=867864 CPUtime=110.46
/proc/14543/task/14544/stat : 14544 (java) R 14541 14543 13921 0 -1 64 13191 341 1 0 11033 11 2 0 25 0 9 0 1983339659 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4126957926 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14546] ppid=14541 vsize=867864 CPUtime=0.07
/proc/14543/task/14546/stat : 14546 (java) S 14541 14543 13921 0 -1 64 3571 341 0 0 4 1 2 0 16 0 9 0 1983339661 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14547] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14547/stat : 14547 (java) S 14541 14543 13921 0 -1 64 16 341 0 0 0 0 2 0 17 0 9 0 1983339661 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14548] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14548/stat : 14548 (java) S 14541 14543 13921 0 -1 64 11 341 0 0 0 0 2 0 16 0 9 0 1983339661 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14549] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14549/stat : 14549 (java) S 14541 14543 13921 0 -1 64 1 341 0 0 0 0 2 0 18 0 9 0 1983339663 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14550] ppid=14541 vsize=867864 CPUtime=0.31
/proc/14543/task/14550/stat : 14550 (java) S 14541 14543 13921 0 -1 64 793 341 0 0 29 0 2 0 16 0 9 0 1983339663 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14551] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14551/stat : 14551 (java) S 14541 14543 13921 0 -1 64 1 341 0 0 0 0 2 0 19 0 9 0 1983339663 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14543/tid=14552] ppid=14541 vsize=867864 CPUtime=0.02
/proc/14543/task/14552/stat : 14552 (java) S 14541 14543 13921 0 -1 64 18 341 0 0 0 0 2 0 15 0 9 0 1983339663 888692736 11613 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 110.82
Current children cumulated vsize (KiB) 867864
Child status: 0
Real time (s): 111.978
CPU time (s): 110.907
CPU user time (s): 110.751
CPU system time (s): 0.155976
CPU usage (%): 99.0433
Max. virtual memory (cumulated for all children) (KiB): 867864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 110.751
system time used= 0.155976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18873
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= 3883
involuntary context switches= 8236
runsolver used 0.157975 second user time and 0.367944 second system time
The end
Begin job on node43 at 2008-07-03 02:07:52
IDJOB=1048688
IDBENCH=54435
IDSOLVER=363
FILE ID=node43/1048688-1215043672
PBS_JOBID= 7875089
Free space on /tmp= 66524 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/ramsey3/normalized-ramsey-15-3.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-1048688-1215043672/watcher-1048688-1215043672 -o /tmp/evaluation-result-1048688-1215043672/solver-1048688-1215043672 -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-1048688-1215043672.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 4fb918a969f292f855028fa7ee9c72ae
RANDOM SEED=658675287
node43.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.230
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.230
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: 1416408 kB
Buffers: 66800 kB
Cached: 469636 kB
SwapCached: 7360 kB
Active: 186804 kB
Inactive: 378084 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1416408 kB
SwapTotal: 4192956 kB
SwapFree: 4179456 kB
Dirty: 2400 kB
Writeback: 0 kB
Mapped: 44216 kB
Slab: 59740 kB
Committed_AS: 3656512 kB
PageTables: 1976 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= 66524 MiB
End job on node43 at 2008-07-03 02:09:44