0.02/0.09
0.02/0.09 Abscon 112 (May, 2008)
0.19/0.26
0.19/0.26 configuration
0.19/0.26 name=mac.xml
0.19/0.30
0.19/0.30 instance
0.19/0.30 name=HOME/instance-2098381-1247414560.xml
0.29/0.33
0.29/0.33 domains being loaded...
0.29/0.34
0.29/0.34 variables being loaded...
0.38/0.49 nbVariables=990 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=1980
0.38/0.49 => wckTime=0.224 cpuTime=0.16 mem=9M843
0.38/0.49
0.38/0.49 predicates being loaded...
0.48/0.55
0.48/0.55 constraints being loaded...
1.36/1.49 nbConstraints=909 nbGlobalConstraints=99 nbConflictsStructures=1 nbSharedConflictsStructures=809
1.36/1.49 nbSharedBinaryRepresentations=0 nbEvaluationManagers=1 nbSharedEvaluationManagers=809 minDegree=4 maxDegree=15
1.36/1.49 minArity=3 avgArity=9.23 maxArity=324 nbGenerators=26 nbFusions=0 symmetryWckTime=0.605 symmetryCpuTime=0.44
1.36/1.49 => wckTime=1.224 cpuTime=0.88 mem=5M771
1.46/1.55
1.46/1.55 solver IterativeSystematicSolver being built...
1.56/1.65
1.56/1.65 INFO : Forward propagation technique limited
1.65/1.76 => wckTime=1.497 cpuTime=1.06 mem=31M561
1.65/1.78
1.65/1.78 preprocessing
1.65/1.78 nbConstraintChecks=0 nbPropagations=990 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.65/1.78 detectedInconsistency=no
1.65/1.78 => wckTime=0.016 cpuTime=0.01 mem=31M561
2.54/2.64
2.54/2.64 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=33M511)
49.30/49.86
49.30/49.86 search
49.30/49.86 run=17 nbConstraintChecks=6929207 nbValidityChecks=10354832 minDepth=4 maxDepth=990 nbPropagations=5960386
49.30/49.86 nbRevisions=23313673 nbUselessRevisions=17989526 nbAssignments=262761 nbFailedAssignments=24261
49.30/49.86 nbBacktracks=235634 nbVisitedNodes=312399 nbRestartNogoods=150 nbFoundSolutions=1 nbSEliminables=0
49.30/49.86 nbREliminables=746.99 nbIEliminables=58.47 nbDEliminables=0 nbPEliminables=0
49.30/49.86 => wckTime=48.096 cpuTime=47.54 mem=33M511
49.30/49.86
49.30/49.86 global
49.30/49.86 nbConstraintChecks=6929207 nbValidityChecks=10354832 nbPropagations=5961376 nbRevisions=23313673
49.30/49.86 nbUselessRevisions=17989526 nbRestartNogoods=150 solvingWckTime=48.098 solvingCpuTime=47.54 expiredTime=no
49.30/49.86 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=48.59 globalCpuTime=48.64
49.30/49.86 => wckTime=49.6 cpuTime=48.6 mem=33M511
49.30/49.86
49.30/49.86 s SATISFIABLE
49.30/49.86 v 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 0 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 1 1 0 0 0 1 0 1 1 1 0 0 1 0 1 1 0 1 0 0 0 1 1 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 1 1 1 0 0 1 1 0 1 0 0 0 1 0 1 1 0 1 1 0 0 0 1 0 1 0 0 1 1 1 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0
49.30/49.86 d NODES 262761
49.30/49.86 d CHECKS 6929207
49.30/49.86
49.30/49.86 totalWckTime=49.671 totalCpuTime=48.65
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2098381-1247414560/watcher-2098381-1247414560 -o /tmp/evaluation-result-2098381-1247414560/solver-2098381-1247414560 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2098381-1247414560.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): 2000 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.98 2.03 2.00 4/80 2620
/proc/meminfo: memFree=1735784/2055920 swapFree=4192812/4192956
[pid=2620] ppid=2618 vsize=10676 CPUtime=0
/proc/2620/stat : 2620 (java) S 2618 2620 31887 0 -1 0 678 0 0 0 0 0 0 0 18 0 2 0 28518734 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2620/statm: 2669 474 207 9 0 1184 0
[pid=2620/tid=2621] ppid=2618 vsize=10676 CPUtime=0
/proc/2620/task/2621/stat : 2621 (java) R 2618 2620 31887 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 28518735 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 12799960 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.029952 s]
/proc/loadavg: 1.98 2.03 2.00 4/80 2620
/proc/meminfo: memFree=1735784/2055920 swapFree=4192812/4192956
[pid=2620] ppid=2618 vsize=861936 CPUtime=0.02
/proc/2620/stat : 2620 (java) S 2618 2620 31887 0 -1 0 1878 0 1 0 1 1 0 0 18 0 5 0 28518734 882622464 1563 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/2620/statm: 215484 1563 686 9 0 210399 0
[pid=2620/tid=2621] ppid=2618 vsize=861936 CPUtime=0
/proc/2620/task/2621/stat : 2621 (java) S 2618 2620 31887 0 -1 64 1187 0 1 0 0 0 0 0 19 0 5 0 28518735 882622464 1563 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16784584 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861936
[startup+0.102677 s]
/proc/loadavg: 1.98 2.03 2.00 4/80 2620
/proc/meminfo: memFree=1735784/2055920 swapFree=4192812/4192956
[pid=2620] ppid=2618 vsize=865984 CPUtime=0.09
/proc/2620/stat : 2620 (java) S 2618 2620 31887 0 -1 0 3739 0 1 0 7 2 0 0 18 0 9 0 28518734 886767616 3205 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2620/statm: 216496 3205 1695 9 0 210981 0
[pid=2620/tid=2621] ppid=2618 vsize=865984 CPUtime=0.07
/proc/2620/task/2621/stat : 2621 (java) R 2618 2620 31887 0 -1 64 2822 0 1 0 6 1 0 0 18 0 9 0 28518735 886767616 3205 996147200 134512640 134550932 4294955968 18446744073709551615 102984459 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.30169 s]
/proc/loadavg: 1.98 2.03 2.00 4/80 2620
/proc/meminfo: memFree=1735784/2055920 swapFree=4192812/4192956
[pid=2620] ppid=2618 vsize=866380 CPUtime=0.29
/proc/2620/stat : 2620 (java) S 2618 2620 31887 0 -1 0 5860 0 1 0 25 4 0 0 18 0 9 0 28518734 887173120 5226 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2620/statm: 216595 5226 1981 9 0 211053 0
[pid=2620/tid=2621] ppid=2618 vsize=866380 CPUtime=0.23
/proc/2620/task/2621/stat : 2621 (java) R 2618 2620 31887 0 -1 64 4880 0 1 0 20 3 0 0 19 0 9 0 28518735 887173120 5226 996147200 134512640 134550932 4294955968 18446744073709551615 103943605 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.701728 s]
/proc/loadavg: 1.98 2.03 2.00 4/80 2620
/proc/meminfo: memFree=1735784/2055920 swapFree=4192812/4192956
[pid=2620] ppid=2618 vsize=867804 CPUtime=0.68
/proc/2620/stat : 2620 (java) S 2618 2620 31887 0 -1 0 8788 0 1 0 62 6 0 0 18 0 9 0 28518734 888631296 8142 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2620/statm: 216951 8142 2038 9 0 211387 0
[pid=2620/tid=2621] ppid=2618 vsize=867804 CPUtime=0.5
/proc/2620/task/2621/stat : 2621 (java) R 2618 2620 31887 0 -1 64 7428 0 1 0 46 4 0 0 21 0 9 0 28518735 888631296 8142 996147200 134512640 134550932 4294955968 18446744073709551615 4125956708 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867804
[startup+1.50279 s]
/proc/loadavg: 1.98 2.03 2.00 3/91 2631
/proc/meminfo: memFree=1703312/2055920 swapFree=4192812/4192956
[pid=2620] ppid=2618 vsize=868040 CPUtime=1.46
/proc/2620/stat : 2620 (java) S 2618 2620 31887 0 -1 0 22209 458 1 0 124 15 7 0 18 0 9 0 28518734 888872960 16970 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2620/statm: 217010 16970 2090 9 0 211468 0
[pid=2620/tid=2621] ppid=2618 vsize=868040 CPUtime=1.15
/proc/2620/task/2621/stat : 2621 (java) R 2618 2620 31887 0 -1 64 17672 458 1 0 96 12 7 0 22 0 9 0 28518735 888872960 16970 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2623] ppid=2618 vsize=868040 CPUtime=0.1
/proc/2620/task/2623/stat : 2623 (java) R 2618 2620 31887 0 -1 64 2752 458 0 0 3 0 7 0 16 0 9 0 28518737 888872960 16970 996147200 134512640 134550932 4294955968 18446744073709551615 103732261 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2624] ppid=2618 vsize=868040 CPUtime=0.07
/proc/2620/task/2624/stat : 2624 (java) S 2618 2620 31887 0 -1 64 21 458 0 0 0 0 7 0 17 0 9 0 28518737 888872960 16970 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2625] ppid=2618 vsize=868040 CPUtime=0.07
/proc/2620/task/2625/stat : 2625 (java) S 2618 2620 31887 0 -1 64 15 458 0 0 0 0 7 0 16 0 9 0 28518737 888872960 16970 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2626] ppid=2618 vsize=868040 CPUtime=0.07
/proc/2620/task/2626/stat : 2626 (java) S 2618 2620 31887 0 -1 64 2 458 0 0 0 0 7 0 18 0 9 0 28518740 888872960 16970 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2627] ppid=2618 vsize=868040 CPUtime=0.3
/proc/2620/task/2627/stat : 2627 (java) S 2618 2620 31887 0 -1 64 933 458 0 0 23 0 7 0 15 0 9 0 28518740 888872960 16970 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2628] ppid=2618 vsize=868040 CPUtime=0.07
/proc/2620/task/2628/stat : 2628 (java) S 2618 2620 31887 0 -1 64 0 458 0 0 0 0 7 0 19 0 9 0 28518740 888872960 16970 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2629] ppid=2618 vsize=868040 CPUtime=0.07
/proc/2620/task/2629/stat : 2629 (java) S 2618 2620 31887 0 -1 64 9 458 0 0 0 0 7 0 15 0 9 0 28518740 888872960 16970 996147200 134512640 134550932 4294955968 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) 868040
[startup+3.10292 s]
/proc/loadavg: 1.98 2.03 2.00 3/89 2633
/proc/meminfo: memFree=1669784/2055920 swapFree=4192812/4192956
[pid=2620] ppid=2618 vsize=868260 CPUtime=3.05
/proc/2620/stat : 2620 (java) S 2618 2620 31887 0 -1 0 26957 458 1 0 280 18 7 0 18 0 9 0 28518734 889098240 19015 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2620/statm: 217065 19015 2662 9 0 211501 0
[pid=2620/tid=2621] ppid=2618 vsize=868260 CPUtime=2.56
/proc/2620/task/2621/stat : 2621 (java) R 2618 2620 31887 0 -1 64 20676 458 1 0 235 14 7 0 25 0 9 0 28518735 889098240 19015 996147200 134512640 134550932 4294955968 18446744073709551615 4127177415 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2623] ppid=2618 vsize=868260 CPUtime=0.14
/proc/2620/task/2623/stat : 2623 (java) S 2618 2620 31887 0 -1 64 4408 458 0 0 7 0 7 0 17 0 9 0 28518737 889098240 19015 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2624] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2624/stat : 2624 (java) S 2618 2620 31887 0 -1 64 21 458 0 0 0 0 7 0 17 0 9 0 28518737 889098240 19015 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2625] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2625/stat : 2625 (java) S 2618 2620 31887 0 -1 64 15 458 0 0 0 0 7 0 16 0 9 0 28518737 889098240 19015 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2626] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2626/stat : 2626 (java) S 2618 2620 31887 0 -1 64 2 458 0 0 0 0 7 0 18 0 9 0 28518740 889098240 19015 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2627] ppid=2618 vsize=868260 CPUtime=0.44
/proc/2620/task/2627/stat : 2627 (java) S 2618 2620 31887 0 -1 64 1021 458 0 0 36 1 7 0 16 0 9 0 28518740 889098240 19015 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2628] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2628/stat : 2628 (java) S 2618 2620 31887 0 -1 64 0 458 0 0 0 0 7 0 19 0 9 0 28518740 889098240 19015 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2629] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2629/stat : 2629 (java) S 2618 2620 31887 0 -1 64 9 458 0 0 0 0 7 0 15 0 9 0 28518740 889098240 19015 996147200 134512640 134550932 4294955968 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) 868260
[startup+6.30118 s]
/proc/loadavg: 1.98 2.03 2.00 3/89 2633
/proc/meminfo: memFree=1669528/2055920 swapFree=4192812/4192956
[pid=2620] ppid=2618 vsize=868260 CPUtime=6.22
/proc/2620/stat : 2620 (java) S 2618 2620 31887 0 -1 0 26992 458 1 0 597 18 7 0 18 0 9 0 28518734 889098240 19018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2620/statm: 217065 19018 2662 9 0 211501 0
[pid=2620/tid=2621] ppid=2618 vsize=868260 CPUtime=5.73
/proc/2620/task/2621/stat : 2621 (java) R 2618 2620 31887 0 -1 64 20679 458 1 0 552 14 7 0 25 0 9 0 28518735 889098240 19018 996147200 134512640 134550932 4294955968 18446744073709551615 4127196376 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2623] ppid=2618 vsize=868260 CPUtime=0.14
/proc/2620/task/2623/stat : 2623 (java) S 2618 2620 31887 0 -1 64 4408 458 0 0 7 0 7 0 16 0 9 0 28518737 889098240 19018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2624] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2624/stat : 2624 (java) S 2618 2620 31887 0 -1 64 21 458 0 0 0 0 7 0 17 0 9 0 28518737 889098240 19018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2625] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2625/stat : 2625 (java) S 2618 2620 31887 0 -1 64 15 458 0 0 0 0 7 0 16 0 9 0 28518737 889098240 19018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2626] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2626/stat : 2626 (java) S 2618 2620 31887 0 -1 64 2 458 0 0 0 0 7 0 18 0 9 0 28518740 889098240 19018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2627] ppid=2618 vsize=868260 CPUtime=0.45
/proc/2620/task/2627/stat : 2627 (java) S 2618 2620 31887 0 -1 64 1024 458 0 0 37 1 7 0 16 0 9 0 28518740 889098240 19018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2628] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2628/stat : 2628 (java) S 2618 2620 31887 0 -1 64 0 458 0 0 0 0 7 0 19 0 9 0 28518740 889098240 19018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2629] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2629/stat : 2629 (java) S 2618 2620 31887 0 -1 64 38 458 0 0 0 0 7 0 15 0 9 0 28518740 889098240 19018 996147200 134512640 134550932 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) 868260
[startup+12.7027 s]
/proc/loadavg: 1.98 2.02 2.00 3/89 2633
/proc/meminfo: memFree=1669336/2055920 swapFree=4192812/4192956
[pid=2620] ppid=2618 vsize=868260 CPUtime=12.55
/proc/2620/stat : 2620 (java) S 2618 2620 31887 0 -1 0 26993 458 1 0 1230 18 7 0 18 0 9 0 28518734 889098240 19019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2620/statm: 217065 19019 2662 9 0 211501 0
[pid=2620/tid=2621] ppid=2618 vsize=868260 CPUtime=12.06
/proc/2620/task/2621/stat : 2621 (java) R 2618 2620 31887 0 -1 64 20679 458 1 0 1185 14 7 0 25 0 9 0 28518735 889098240 19019 996147200 134512640 134550932 4294955968 18446744073709551615 4127181710 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2623] ppid=2618 vsize=868260 CPUtime=0.14
/proc/2620/task/2623/stat : 2623 (java) S 2618 2620 31887 0 -1 64 4408 458 0 0 7 0 7 0 16 0 9 0 28518737 889098240 19019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2624] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2624/stat : 2624 (java) S 2618 2620 31887 0 -1 64 21 458 0 0 0 0 7 0 17 0 9 0 28518737 889098240 19019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2625] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2625/stat : 2625 (java) S 2618 2620 31887 0 -1 64 15 458 0 0 0 0 7 0 16 0 9 0 28518737 889098240 19019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2626] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2626/stat : 2626 (java) S 2618 2620 31887 0 -1 64 2 458 0 0 0 0 7 0 18 0 9 0 28518740 889098240 19019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2627] ppid=2618 vsize=868260 CPUtime=0.45
/proc/2620/task/2627/stat : 2627 (java) S 2618 2620 31887 0 -1 64 1025 458 0 0 37 1 7 0 16 0 9 0 28518740 889098240 19019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2628] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2628/stat : 2628 (java) S 2618 2620 31887 0 -1 64 0 458 0 0 0 0 7 0 19 0 9 0 28518740 889098240 19019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2629] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2629/stat : 2629 (java) S 2618 2620 31887 0 -1 64 38 458 0 0 0 0 7 0 15 0 9 0 28518740 889098240 19019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 868260
[startup+25.5017 s]
/proc/loadavg: 2.07 2.04 2.01 3/89 2633
/proc/meminfo: memFree=1669272/2055920 swapFree=4192812/4192956
[pid=2620] ppid=2618 vsize=868260 CPUtime=25.22
/proc/2620/stat : 2620 (java) S 2618 2620 31887 0 -1 0 26994 458 1 0 2497 18 7 0 18 0 9 0 28518734 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2620/statm: 217065 19020 2662 9 0 211501 0
[pid=2620/tid=2621] ppid=2618 vsize=868260 CPUtime=24.73
/proc/2620/task/2621/stat : 2621 (java) R 2618 2620 31887 0 -1 64 20679 458 1 0 2452 14 7 0 25 0 9 0 28518735 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4127015129 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2623] ppid=2618 vsize=868260 CPUtime=0.14
/proc/2620/task/2623/stat : 2623 (java) S 2618 2620 31887 0 -1 64 4408 458 0 0 7 0 7 0 16 0 9 0 28518737 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2624] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2624/stat : 2624 (java) S 2618 2620 31887 0 -1 64 21 458 0 0 0 0 7 0 17 0 9 0 28518737 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2625] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2625/stat : 2625 (java) S 2618 2620 31887 0 -1 64 15 458 0 0 0 0 7 0 16 0 9 0 28518737 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2626] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2626/stat : 2626 (java) S 2618 2620 31887 0 -1 64 2 458 0 0 0 0 7 0 18 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2627] ppid=2618 vsize=868260 CPUtime=0.45
/proc/2620/task/2627/stat : 2627 (java) S 2618 2620 31887 0 -1 64 1026 458 0 0 37 1 7 0 16 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2628] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2628/stat : 2628 (java) S 2618 2620 31887 0 -1 64 0 458 0 0 0 0 7 0 19 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2629] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2629/stat : 2629 (java) S 2618 2620 31887 0 -1 64 38 458 0 0 0 0 7 0 15 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 868260
Solver just ended. Dumping a history of the last processes samples
[startup+38.3028 s]
/proc/loadavg: 2.05 2.04 2.01 3/89 2633
/proc/meminfo: memFree=1669336/2055920 swapFree=4192812/4192956
[pid=2620] ppid=2618 vsize=868260 CPUtime=37.91
/proc/2620/stat : 2620 (java) S 2618 2620 31887 0 -1 0 26994 458 1 0 3766 18 7 0 18 0 9 0 28518734 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2620/statm: 217065 19020 2662 9 0 211501 0
[pid=2620/tid=2621] ppid=2618 vsize=868260 CPUtime=37.42
/proc/2620/task/2621/stat : 2621 (java) R 2618 2620 31887 0 -1 64 20679 458 1 0 3721 14 7 0 25 0 9 0 28518735 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4127184147 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2623] ppid=2618 vsize=868260 CPUtime=0.14
/proc/2620/task/2623/stat : 2623 (java) S 2618 2620 31887 0 -1 64 4408 458 0 0 7 0 7 0 16 0 9 0 28518737 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2624] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2624/stat : 2624 (java) S 2618 2620 31887 0 -1 64 21 458 0 0 0 0 7 0 17 0 9 0 28518737 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2625] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2625/stat : 2625 (java) S 2618 2620 31887 0 -1 64 15 458 0 0 0 0 7 0 16 0 9 0 28518737 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2626] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2626/stat : 2626 (java) S 2618 2620 31887 0 -1 64 2 458 0 0 0 0 7 0 18 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2627] ppid=2618 vsize=868260 CPUtime=0.45
/proc/2620/task/2627/stat : 2627 (java) S 2618 2620 31887 0 -1 64 1026 458 0 0 37 1 7 0 16 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2628] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2628/stat : 2628 (java) S 2618 2620 31887 0 -1 64 0 458 0 0 0 0 7 0 19 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2629] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2629/stat : 2629 (java) S 2618 2620 31887 0 -1 64 38 458 0 0 0 0 7 0 15 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 37.91
Current children cumulated vsize (KiB) 868260
[startup+44.7023 s]
/proc/loadavg: 2.05 2.04 2.01 3/89 2633
/proc/meminfo: memFree=1669272/2055920 swapFree=4192812/4192956
[pid=2620] ppid=2618 vsize=868260 CPUtime=44.25
/proc/2620/stat : 2620 (java) S 2618 2620 31887 0 -1 0 26994 458 1 0 4400 18 7 0 18 0 9 0 28518734 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2620/statm: 217065 19020 2662 9 0 211501 0
[pid=2620/tid=2621] ppid=2618 vsize=868260 CPUtime=43.76
/proc/2620/task/2621/stat : 2621 (java) R 2618 2620 31887 0 -1 64 20679 458 1 0 4355 14 7 0 25 0 9 0 28518735 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4127184147 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2623] ppid=2618 vsize=868260 CPUtime=0.14
/proc/2620/task/2623/stat : 2623 (java) S 2618 2620 31887 0 -1 64 4408 458 0 0 7 0 7 0 16 0 9 0 28518737 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2624] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2624/stat : 2624 (java) S 2618 2620 31887 0 -1 64 21 458 0 0 0 0 7 0 17 0 9 0 28518737 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2625] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2625/stat : 2625 (java) S 2618 2620 31887 0 -1 64 15 458 0 0 0 0 7 0 16 0 9 0 28518737 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2626] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2626/stat : 2626 (java) S 2618 2620 31887 0 -1 64 2 458 0 0 0 0 7 0 18 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2627] ppid=2618 vsize=868260 CPUtime=0.45
/proc/2620/task/2627/stat : 2627 (java) S 2618 2620 31887 0 -1 64 1026 458 0 0 37 1 7 0 16 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2628] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2628/stat : 2628 (java) S 2618 2620 31887 0 -1 64 0 458 0 0 0 0 7 0 19 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2629] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2629/stat : 2629 (java) S 2618 2620 31887 0 -1 64 38 458 0 0 0 0 7 0 15 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 44.25
Current children cumulated vsize (KiB) 868260
[startup+47.9025 s]
/proc/loadavg: 2.04 2.04 2.00 3/89 2633
/proc/meminfo: memFree=1669272/2055920 swapFree=4192812/4192956
[pid=2620] ppid=2618 vsize=868260 CPUtime=47.42
/proc/2620/stat : 2620 (java) S 2618 2620 31887 0 -1 0 26994 458 1 0 4717 18 7 0 18 0 9 0 28518734 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2620/statm: 217065 19020 2662 9 0 211501 0
[pid=2620/tid=2621] ppid=2618 vsize=868260 CPUtime=46.93
/proc/2620/task/2621/stat : 2621 (java) R 2618 2620 31887 0 -1 64 20679 458 1 0 4672 14 7 0 25 0 9 0 28518735 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4127184147 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2623] ppid=2618 vsize=868260 CPUtime=0.14
/proc/2620/task/2623/stat : 2623 (java) S 2618 2620 31887 0 -1 64 4408 458 0 0 7 0 7 0 16 0 9 0 28518737 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2624] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2624/stat : 2624 (java) S 2618 2620 31887 0 -1 64 21 458 0 0 0 0 7 0 17 0 9 0 28518737 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2625] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2625/stat : 2625 (java) S 2618 2620 31887 0 -1 64 15 458 0 0 0 0 7 0 16 0 9 0 28518737 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2626] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2626/stat : 2626 (java) S 2618 2620 31887 0 -1 64 2 458 0 0 0 0 7 0 18 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2627] ppid=2618 vsize=868260 CPUtime=0.45
/proc/2620/task/2627/stat : 2627 (java) S 2618 2620 31887 0 -1 64 1026 458 0 0 37 1 7 0 16 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2628] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2628/stat : 2628 (java) S 2618 2620 31887 0 -1 64 0 458 0 0 0 0 7 0 19 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2629] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2629/stat : 2629 (java) S 2618 2620 31887 0 -1 64 38 458 0 0 0 0 7 0 15 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 47.42
Current children cumulated vsize (KiB) 868260
[startup+48.7016 s]
/proc/loadavg: 2.04 2.04 2.00 3/89 2633
/proc/meminfo: memFree=1669272/2055920 swapFree=4192812/4192956
[pid=2620] ppid=2618 vsize=868260 CPUtime=48.21
/proc/2620/stat : 2620 (java) S 2618 2620 31887 0 -1 0 26994 458 1 0 4796 18 7 0 18 0 9 0 28518734 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2620/statm: 217065 19020 2662 9 0 211501 0
[pid=2620/tid=2621] ppid=2618 vsize=868260 CPUtime=47.72
/proc/2620/task/2621/stat : 2621 (java) R 2618 2620 31887 0 -1 64 20679 458 1 0 4751 14 7 0 25 0 9 0 28518735 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4127184147 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2623] ppid=2618 vsize=868260 CPUtime=0.14
/proc/2620/task/2623/stat : 2623 (java) S 2618 2620 31887 0 -1 64 4408 458 0 0 7 0 7 0 16 0 9 0 28518737 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2624] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2624/stat : 2624 (java) S 2618 2620 31887 0 -1 64 21 458 0 0 0 0 7 0 17 0 9 0 28518737 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2625] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2625/stat : 2625 (java) S 2618 2620 31887 0 -1 64 15 458 0 0 0 0 7 0 16 0 9 0 28518737 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2626] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2626/stat : 2626 (java) S 2618 2620 31887 0 -1 64 2 458 0 0 0 0 7 0 18 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2627] ppid=2618 vsize=868260 CPUtime=0.45
/proc/2620/task/2627/stat : 2627 (java) S 2618 2620 31887 0 -1 64 1026 458 0 0 37 1 7 0 16 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2628] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2628/stat : 2628 (java) S 2618 2620 31887 0 -1 64 0 458 0 0 0 0 7 0 19 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2629] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2629/stat : 2629 (java) S 2618 2620 31887 0 -1 64 38 458 0 0 0 0 7 0 15 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 48.21
Current children cumulated vsize (KiB) 868260
[startup+49.5067 s]
/proc/loadavg: 2.04 2.04 2.00 3/89 2633
/proc/meminfo: memFree=1669272/2055920 swapFree=4192812/4192956
[pid=2620] ppid=2618 vsize=868260 CPUtime=49
/proc/2620/stat : 2620 (java) S 2618 2620 31887 0 -1 0 26994 458 1 0 4875 18 7 0 18 0 9 0 28518734 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2620/statm: 217065 19020 2662 9 0 211501 0
[pid=2620/tid=2621] ppid=2618 vsize=868260 CPUtime=48.51
/proc/2620/task/2621/stat : 2621 (java) R 2618 2620 31887 0 -1 64 20679 458 1 0 4830 14 7 0 25 0 9 0 28518735 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4127188256 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2623] ppid=2618 vsize=868260 CPUtime=0.14
/proc/2620/task/2623/stat : 2623 (java) S 2618 2620 31887 0 -1 64 4408 458 0 0 7 0 7 0 16 0 9 0 28518737 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2624] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2624/stat : 2624 (java) S 2618 2620 31887 0 -1 64 21 458 0 0 0 0 7 0 17 0 9 0 28518737 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2625] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2625/stat : 2625 (java) S 2618 2620 31887 0 -1 64 15 458 0 0 0 0 7 0 16 0 9 0 28518737 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2626] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2626/stat : 2626 (java) S 2618 2620 31887 0 -1 64 2 458 0 0 0 0 7 0 18 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2627] ppid=2618 vsize=868260 CPUtime=0.45
/proc/2620/task/2627/stat : 2627 (java) S 2618 2620 31887 0 -1 64 1026 458 0 0 37 1 7 0 16 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2628] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2628/stat : 2628 (java) S 2618 2620 31887 0 -1 64 0 458 0 0 0 0 7 0 19 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2629] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2629/stat : 2629 (java) S 2618 2620 31887 0 -1 64 38 458 0 0 0 0 7 0 15 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 49
Current children cumulated vsize (KiB) 868260
[startup+49.7017 s]
/proc/loadavg: 2.04 2.04 2.00 3/89 2633
/proc/meminfo: memFree=1669272/2055920 swapFree=4192812/4192956
[pid=2620] ppid=2618 vsize=868260 CPUtime=49.2
/proc/2620/stat : 2620 (java) S 2618 2620 31887 0 -1 0 26994 458 1 0 4895 18 7 0 18 0 9 0 28518734 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2620/statm: 217065 19020 2662 9 0 211501 0
[pid=2620/tid=2621] ppid=2618 vsize=868260 CPUtime=48.71
/proc/2620/task/2621/stat : 2621 (java) R 2618 2620 31887 0 -1 64 20679 458 1 0 4850 14 7 0 25 0 9 0 28518735 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4127184137 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2623] ppid=2618 vsize=868260 CPUtime=0.14
/proc/2620/task/2623/stat : 2623 (java) S 2618 2620 31887 0 -1 64 4408 458 0 0 7 0 7 0 16 0 9 0 28518737 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2624] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2624/stat : 2624 (java) S 2618 2620 31887 0 -1 64 21 458 0 0 0 0 7 0 17 0 9 0 28518737 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2625] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2625/stat : 2625 (java) S 2618 2620 31887 0 -1 64 15 458 0 0 0 0 7 0 16 0 9 0 28518737 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2626] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2626/stat : 2626 (java) S 2618 2620 31887 0 -1 64 2 458 0 0 0 0 7 0 18 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2627] ppid=2618 vsize=868260 CPUtime=0.45
/proc/2620/task/2627/stat : 2627 (java) S 2618 2620 31887 0 -1 64 1026 458 0 0 37 1 7 0 16 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2628] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2628/stat : 2628 (java) S 2618 2620 31887 0 -1 64 0 458 0 0 0 0 7 0 19 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2629] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2629/stat : 2629 (java) S 2618 2620 31887 0 -1 64 38 458 0 0 0 0 7 0 15 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 49.2
Current children cumulated vsize (KiB) 868260
[startup+49.8017 s]
/proc/loadavg: 2.04 2.04 2.00 3/89 2633
/proc/meminfo: memFree=1669272/2055920 swapFree=4192812/4192956
[pid=2620] ppid=2618 vsize=868260 CPUtime=49.3
/proc/2620/stat : 2620 (java) S 2618 2620 31887 0 -1 0 26994 458 1 0 4905 18 7 0 18 0 9 0 28518734 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2620/statm: 217065 19020 2662 9 0 211501 0
[pid=2620/tid=2621] ppid=2618 vsize=868260 CPUtime=48.81
/proc/2620/task/2621/stat : 2621 (java) R 2618 2620 31887 0 -1 64 20679 458 1 0 4860 14 7 0 25 0 9 0 28518735 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4127168342 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2623] ppid=2618 vsize=868260 CPUtime=0.14
/proc/2620/task/2623/stat : 2623 (java) S 2618 2620 31887 0 -1 64 4408 458 0 0 7 0 7 0 16 0 9 0 28518737 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2624] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2624/stat : 2624 (java) S 2618 2620 31887 0 -1 64 21 458 0 0 0 0 7 0 17 0 9 0 28518737 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2625] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2625/stat : 2625 (java) S 2618 2620 31887 0 -1 64 15 458 0 0 0 0 7 0 16 0 9 0 28518737 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2626] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2626/stat : 2626 (java) S 2618 2620 31887 0 -1 64 2 458 0 0 0 0 7 0 18 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2627] ppid=2618 vsize=868260 CPUtime=0.45
/proc/2620/task/2627/stat : 2627 (java) S 2618 2620 31887 0 -1 64 1026 458 0 0 37 1 7 0 16 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2628] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2628/stat : 2628 (java) S 2618 2620 31887 0 -1 64 0 458 0 0 0 0 7 0 19 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2620/tid=2629] ppid=2618 vsize=868260 CPUtime=0.07
/proc/2620/task/2629/stat : 2629 (java) S 2618 2620 31887 0 -1 64 38 458 0 0 0 0 7 0 15 0 9 0 28518740 889098240 19020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 49.3
Current children cumulated vsize (KiB) 868260
Child status: 0
Real time (s): 49.8871
CPU time (s): 49.4015
CPU user time (s): 49.1905
CPU system time (s): 0.210967
CPU usage (%): 99.0266
Max. virtual memory (cumulated for all children) (KiB): 870260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.1905
system time used= 0.210967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27486
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= 2839
involuntary context switches= 3972
runsolver used 0.066989 second user time and 0.174973 second system time
The end
Begin job on node69 at 2009-07-12 18:02:40
IDJOB=2098381
IDBENCH=58600
IDSOLVER=773
FILE ID=node69/2098381-1247414560
PBS_JOBID= 9510510
Free space on /tmp= 66504 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/bibdVariousK/normalized-bibd-10-18-9-5-4_glb.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= BIN/runsolver --timestamp -w /tmp/evaluation-result-2098381-1247414560/watcher-2098381-1247414560 -o /tmp/evaluation-result-2098381-1247414560/solver-2098381-1247414560 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2098381-1247414560.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 1f45ca6c644f673b4e84baf20a060776
RANDOM SEED=833825046
node69.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.211
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.211
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: 1736264 kB
Buffers: 40932 kB
Cached: 118052 kB
SwapCached: 0 kB
Active: 197412 kB
Inactive: 64968 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1736264 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5328 kB
Writeback: 0 kB
Mapped: 123864 kB
Slab: 42372 kB
Committed_AS: 1006020 kB
PageTables: 2072 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= 66500 MiB
End job on node69 at 2009-07-12 18:03:30