0.05/0.09
0.05/0.09 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=mac.xml
0.18/0.28
0.18/0.28 instance
0.18/0.28 name=HOME/instance-2099345-1247418018.xml
0.28/0.31
0.28/0.32 domains being loaded...
0.28/0.32
0.28/0.32 variables being loaded...
0.28/0.35 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23 nbTotalValues=1150
0.28/0.35 => wckTime=0.107 cpuTime=0.09 mem=7M892
0.28/0.36
0.28/0.36 relations being loaded...
0.48/0.50
0.48/0.50 constraints being loaded...
0.68/0.73 nbConstraints=477 nbRelationTypes=477 nbExtensionStructures=477 nbSharedExtensionStructures=0
0.68/0.73 nbConflictsStructures=477 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2605 minDegree=13
0.68/0.73 maxDegree=28 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0 symmetryWckTime=0.068 symmetryCpuTime=0.03
0.68/0.73 => wckTime=0.48 cpuTime=0.34 mem=23M603
0.77/0.80
0.77/0.80 solver IterativeSystematicSolver being built...
0.87/0.93 => wckTime=0.683 cpuTime=0.45 mem=22M670
0.87/0.94
0.87/0.94 preprocessing
0.87/0.94 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.87/0.94 detectedInconsistency=no
0.87/0.94 => wckTime=0.0080 cpuTime=0.01 mem=22M670
0.97/1.09
0.97/1.09 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=23M661)
287.30/288.81
287.30/288.81 search
287.30/288.81 run=24 nbConstraintChecks=1805257377 minDepth=2 maxDepth=50 nbPropagations=72713016 nbRevisions=1138977521
287.30/288.81 nbUselessRevisions=938552580 nbAssignments=1023881 nbFailedAssignments=390853 nbInferredBacktracks=11
287.30/288.81 nbBacktracks=632716 nbVisitedNodes=1757852 nbRestartNogoods=216 nbFoundSolutions=1 nbSEliminables=10.31
287.30/288.81 nbREliminables=1.23 nbIEliminables=0.06 nbDEliminables=0 nbPEliminables=0
287.30/288.81 => wckTime=287.874 cpuTime=286.33 mem=23M661
287.30/288.81
287.30/288.81 global
287.30/288.81 nbConstraintChecks=1805257377 nbPropagations=72713066 nbRevisions=1138977521 nbUselessRevisions=938552580
287.30/288.81 nbRestartNogoods=216 solvingWckTime=287.877 solvingCpuTime=286.33 expiredTime=no totalExploration=no
287.30/288.81 nbFoundSolutions=1 firstSolutionCpuTime=286.77 globalCpuTime=286.82
287.30/288.81 => wckTime=288.564 cpuTime=286.78 mem=23M661
287.30/288.81
287.30/288.81 s SATISFIABLE
287.30/288.81 v 11 9 21 4 14 7 21 15 19 1 2 7 2 12 10 15 17 7 15 18 19 19 16 1 10 15 11 18 17 3 15 18 20 14 5 20 6 12 3 6 6 19 6 20 6 15 17 8 18 2
287.30/288.81 d NODES 1023881
287.30/288.81 d CHECKS 1805257377
287.30/288.81
287.30/288.81 totalWckTime=288.63 totalCpuTime=286.82
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2099345-1247418018/watcher-2099345-1247418018 -o /tmp/evaluation-result-2099345-1247418018/solver-2099345-1247418018 -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-2099345-1247418018.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: 2.17 2.11 2.03 3/81 2931
/proc/meminfo: memFree=1781512/2055920 swapFree=4192812/4192956
[pid=2931] ppid=2929 vsize=18576 CPUtime=0
/proc/2931/stat : 2931 (runsolver) R 2929 2931 2654 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 28866754 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 224264776999 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/2931/statm: 4644 284 249 26 0 2626 0
[startup+0.0694721 s]
/proc/loadavg: 2.17 2.11 2.03 3/81 2931
/proc/meminfo: memFree=1781512/2055920 swapFree=4192812/4192956
[pid=2931] ppid=2929 vsize=864024 CPUtime=0.05
/proc/2931/stat : 2931 (java) S 2929 2931 2654 0 -1 0 2897 0 1 0 3 2 0 0 21 0 9 0 28866754 884760576 2415 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2931/statm: 216006 2415 1147 9 0 210899 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864024
[startup+0.101476 s]
/proc/loadavg: 2.17 2.11 2.03 3/81 2931
/proc/meminfo: memFree=1781512/2055920 swapFree=4192812/4192956
[pid=2931] ppid=2929 vsize=865984 CPUtime=0.08
/proc/2931/stat : 2931 (java) S 2929 2931 2654 0 -1 0 3737 0 1 0 6 2 0 0 21 0 9 0 28866754 886767616 3205 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2931/statm: 216496 3205 1700 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301514 s]
/proc/loadavg: 2.17 2.11 2.03 3/81 2931
/proc/meminfo: memFree=1781512/2055920 swapFree=4192812/4192956
[pid=2931] ppid=2929 vsize=866380 CPUtime=0.28
/proc/2931/stat : 2931 (java) S 2929 2931 2654 0 -1 0 5967 0 1 0 24 4 0 0 21 0 9 0 28866754 887173120 5333 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2931/statm: 216595 5333 1984 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.701588 s]
/proc/loadavg: 2.17 2.11 2.03 3/81 2931
/proc/meminfo: memFree=1781512/2055920 swapFree=4192812/4192956
[pid=2931] ppid=2929 vsize=867432 CPUtime=0.68
/proc/2931/stat : 2931 (java) S 2929 2931 2654 0 -1 0 10377 0 1 0 60 8 0 0 21 0 10 0 28866754 888250368 9618 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2931/statm: 216858 9618 2020 9 0 211316 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867432
[startup+1.50273 s]
/proc/loadavg: 2.17 2.11 2.03 4/90 2944
/proc/meminfo: memFree=1745280/2055920 swapFree=4192812/4192956
[pid=2931] ppid=2929 vsize=867976 CPUtime=1.46
/proc/2931/stat : 2931 (java) S 2929 2931 2654 0 -1 0 18909 298 1 0 135 11 0 0 21 0 9 0 28866754 888807424 11650 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2931/statm: 216994 11650 2657 9 0 211430 0
[pid=2931/tid=2933] ppid=2929 vsize=867976 CPUtime=1.13
/proc/2931/task/2933/stat : 2933 (java) R 2929 2931 2654 0 -1 64 12637 298 1 0 106 7 0 0 25 0 9 0 28866756 888807424 11650 996147200 134512640 134550932 4294955968 18446744073709551615 4126938168 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2934] ppid=2929 vsize=867976 CPUtime=0.05
/proc/2931/task/2934/stat : 2934 (java) S 2929 2931 2654 0 -1 64 4704 298 0 0 5 0 0 0 16 0 9 0 28866757 888807424 11650 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2935] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2935/stat : 2935 (java) S 2929 2931 2654 0 -1 64 18 298 0 0 0 0 0 0 16 0 9 0 28866757 888807424 11650 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2936] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2936/stat : 2936 (java) S 2929 2931 2654 0 -1 64 8 298 0 0 0 0 0 0 15 0 9 0 28866757 888807424 11650 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2937] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2937/stat : 2937 (java) S 2929 2931 2654 0 -1 64 1 298 0 0 0 0 0 0 18 0 9 0 28866759 888807424 11650 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2938] ppid=2929 vsize=867976 CPUtime=0.24
/proc/2931/task/2938/stat : 2938 (java) S 2929 2931 2654 0 -1 64 729 298 0 0 23 1 0 0 15 0 9 0 28866759 888807424 11650 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2939] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2939/stat : 2939 (java) S 2929 2931 2654 0 -1 64 1 298 0 0 0 0 0 0 19 0 9 0 28866759 888807424 11650 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2940] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2940/stat : 2940 (java) S 2929 2931 2654 0 -1 64 4 298 0 0 0 0 0 0 15 0 9 0 28866759 888807424 11650 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) 867976
[startup+3.10203 s]
/proc/loadavg: 2.17 2.11 2.03 3/90 2944
/proc/meminfo: memFree=1745024/2055920 swapFree=4192812/4192956
[pid=2931] ppid=2929 vsize=867976 CPUtime=3.06
/proc/2931/stat : 2931 (java) S 2929 2931 2654 0 -1 0 18921 298 1 0 295 11 0 0 21 0 9 0 28866754 888807424 11660 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2931/statm: 216994 11660 2657 9 0 211430 0
[pid=2931/tid=2933] ppid=2929 vsize=867976 CPUtime=2.71
/proc/2931/task/2933/stat : 2933 (java) R 2929 2931 2654 0 -1 64 12640 298 1 0 264 7 0 0 25 0 9 0 28866756 888807424 11660 996147200 134512640 134550932 4294955968 18446744073709551615 4126923952 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2934] ppid=2929 vsize=867976 CPUtime=0.05
/proc/2931/task/2934/stat : 2934 (java) S 2929 2931 2654 0 -1 64 4704 298 0 0 5 0 0 0 17 0 9 0 28866757 888807424 11660 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2935] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2935/stat : 2935 (java) S 2929 2931 2654 0 -1 64 18 298 0 0 0 0 0 0 16 0 9 0 28866757 888807424 11660 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2936] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2936/stat : 2936 (java) S 2929 2931 2654 0 -1 64 8 298 0 0 0 0 0 0 15 0 9 0 28866757 888807424 11660 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2937] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2937/stat : 2937 (java) S 2929 2931 2654 0 -1 64 1 298 0 0 0 0 0 0 18 0 9 0 28866759 888807424 11660 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2938] ppid=2929 vsize=867976 CPUtime=0.25
/proc/2931/task/2938/stat : 2938 (java) S 2929 2931 2654 0 -1 64 738 298 0 0 24 1 0 0 15 0 9 0 28866759 888807424 11660 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2939] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2939/stat : 2939 (java) S 2929 2931 2654 0 -1 64 1 298 0 0 0 0 0 0 19 0 9 0 28866759 888807424 11660 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2940] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2940/stat : 2940 (java) S 2929 2931 2654 0 -1 64 4 298 0 0 0 0 0 0 15 0 9 0 28866759 888807424 11660 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867976
[startup+6.30263 s]
/proc/loadavg: 2.16 2.11 2.03 3/90 2944
/proc/meminfo: memFree=1744704/2055920 swapFree=4192812/4192956
[pid=2931] ppid=2929 vsize=867976 CPUtime=6.23
/proc/2931/stat : 2931 (java) S 2929 2931 2654 0 -1 0 18936 298 1 0 612 11 0 0 21 0 9 0 28866754 888807424 11661 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2931/statm: 216994 11661 2657 9 0 211430 0
[pid=2931/tid=2933] ppid=2929 vsize=867976 CPUtime=5.89
/proc/2931/task/2933/stat : 2933 (java) R 2929 2931 2654 0 -1 64 12641 298 1 0 582 7 0 0 25 0 9 0 28866756 888807424 11661 996147200 134512640 134550932 4294955968 18446744073709551615 4126908964 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2934] ppid=2929 vsize=867976 CPUtime=0.05
/proc/2931/task/2934/stat : 2934 (java) S 2929 2931 2654 0 -1 64 4704 298 0 0 5 0 0 0 16 0 9 0 28866757 888807424 11661 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2935] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2935/stat : 2935 (java) S 2929 2931 2654 0 -1 64 18 298 0 0 0 0 0 0 16 0 9 0 28866757 888807424 11661 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2936] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2936/stat : 2936 (java) S 2929 2931 2654 0 -1 64 8 298 0 0 0 0 0 0 15 0 9 0 28866757 888807424 11661 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2937] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2937/stat : 2937 (java) S 2929 2931 2654 0 -1 64 1 298 0 0 0 0 0 0 18 0 9 0 28866759 888807424 11661 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2938] ppid=2929 vsize=867976 CPUtime=0.25
/proc/2931/task/2938/stat : 2938 (java) S 2929 2931 2654 0 -1 64 739 298 0 0 24 1 0 0 15 0 9 0 28866759 888807424 11661 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2939] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2939/stat : 2939 (java) S 2929 2931 2654 0 -1 64 1 298 0 0 0 0 0 0 19 0 9 0 28866759 888807424 11661 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2940] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2940/stat : 2940 (java) S 2929 2931 2654 0 -1 64 17 298 0 0 0 0 0 0 15 0 9 0 28866759 888807424 11661 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867976
[startup+12.7018 s]
/proc/loadavg: 2.14 2.11 2.03 3/90 2944
/proc/meminfo: memFree=1744536/2055920 swapFree=4192812/4192956
[pid=2931] ppid=2929 vsize=867976 CPUtime=12.6
/proc/2931/stat : 2931 (java) S 2929 2931 2654 0 -1 0 18938 298 1 0 1249 11 0 0 21 0 9 0 28866754 888807424 11661 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2931/statm: 216994 11661 2657 9 0 211430 0
[pid=2931/tid=2933] ppid=2929 vsize=867976 CPUtime=12.25
/proc/2931/task/2933/stat : 2933 (java) R 2929 2931 2654 0 -1 64 12642 298 1 0 1218 7 0 0 25 0 9 0 28866756 888807424 11661 996147200 134512640 134550932 4294955968 18446744073709551615 4126916608 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2934] ppid=2929 vsize=867976 CPUtime=0.05
/proc/2931/task/2934/stat : 2934 (java) S 2929 2931 2654 0 -1 64 4704 298 0 0 5 0 0 0 16 0 9 0 28866757 888807424 11661 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2935] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2935/stat : 2935 (java) S 2929 2931 2654 0 -1 64 18 298 0 0 0 0 0 0 16 0 9 0 28866757 888807424 11661 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2936] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2936/stat : 2936 (java) S 2929 2931 2654 0 -1 64 8 298 0 0 0 0 0 0 15 0 9 0 28866757 888807424 11661 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2937] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2937/stat : 2937 (java) S 2929 2931 2654 0 -1 64 1 298 0 0 0 0 0 0 18 0 9 0 28866759 888807424 11661 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2938] ppid=2929 vsize=867976 CPUtime=0.25
/proc/2931/task/2938/stat : 2938 (java) S 2929 2931 2654 0 -1 64 740 298 0 0 24 1 0 0 15 0 9 0 28866759 888807424 11661 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2939] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2939/stat : 2939 (java) S 2929 2931 2654 0 -1 64 1 298 0 0 0 0 0 0 19 0 9 0 28866759 888807424 11661 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2940] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2940/stat : 2940 (java) S 2929 2931 2654 0 -1 64 17 298 0 0 0 0 0 0 15 0 9 0 28866759 888807424 11661 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 867976
[startup+25.5022 s]
/proc/loadavg: 2.11 2.10 2.03 3/90 2944
/proc/meminfo: memFree=1744600/2055920 swapFree=4192812/4192956
[pid=2931] ppid=2929 vsize=867976 CPUtime=25.34
/proc/2931/stat : 2931 (java) S 2929 2931 2654 0 -1 0 18939 298 1 0 2523 11 0 0 21 0 9 0 28866754 888807424 11662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2931/statm: 216994 11662 2657 9 0 211430 0
[pid=2931/tid=2933] ppid=2929 vsize=867976 CPUtime=24.98
/proc/2931/task/2933/stat : 2933 (java) R 2929 2931 2654 0 -1 64 12642 298 1 0 2491 7 0 0 25 0 9 0 28866756 888807424 11662 996147200 134512640 134550932 4294955968 18446744073709551615 4126919537 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2934] ppid=2929 vsize=867976 CPUtime=0.05
/proc/2931/task/2934/stat : 2934 (java) S 2929 2931 2654 0 -1 64 4704 298 0 0 5 0 0 0 16 0 9 0 28866757 888807424 11662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2935] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2935/stat : 2935 (java) S 2929 2931 2654 0 -1 64 18 298 0 0 0 0 0 0 16 0 9 0 28866757 888807424 11662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2936] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2936/stat : 2936 (java) S 2929 2931 2654 0 -1 64 8 298 0 0 0 0 0 0 15 0 9 0 28866757 888807424 11662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2937] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2937/stat : 2937 (java) S 2929 2931 2654 0 -1 64 1 298 0 0 0 0 0 0 18 0 9 0 28866759 888807424 11662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2938] ppid=2929 vsize=867976 CPUtime=0.26
/proc/2931/task/2938/stat : 2938 (java) S 2929 2931 2654 0 -1 64 741 298 0 0 25 1 0 0 16 0 9 0 28866759 888807424 11662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2939] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2939/stat : 2939 (java) S 2929 2931 2654 0 -1 64 1 298 0 0 0 0 0 0 19 0 9 0 28866759 888807424 11662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2940] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2940/stat : 2940 (java) S 2929 2931 2654 0 -1 64 17 298 0 0 0 0 0 0 15 0 9 0 28866759 888807424 11662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 867976
[startup+51.103 s]
/proc/loadavg: 2.07 2.09 2.03 3/90 2950
/proc/meminfo: memFree=1744536/2055920 swapFree=4192812/4192956
[pid=2931] ppid=2929 vsize=867976 CPUtime=50.79
/proc/2931/stat : 2931 (java) S 2929 2931 2654 0 -1 0 18939 298 1 0 5068 11 0 0 21 0 9 0 28866754 888807424 11662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2931/statm: 216994 11662 2657 9 0 211430 0
[pid=2931/tid=2933] ppid=2929 vsize=867976 CPUtime=50.44
/proc/2931/task/2933/stat : 2933 (java) R 2929 2931 2654 0 -1 64 12642 298 1 0 5036 8 0 0 25 0 9 0 28866756 888807424 11662 996147200 134512640 134550932 4294955968 18446744073709551615 4125952318 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2934] ppid=2929 vsize=867976 CPUtime=0.05
/proc/2931/task/2934/stat : 2934 (java) S 2929 2931 2654 0 -1 64 4704 298 0 0 5 0 0 0 16 0 9 0 28866757 888807424 11662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2935] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2935/stat : 2935 (java) S 2929 2931 2654 0 -1 64 18 298 0 0 0 0 0 0 16 0 9 0 28866757 888807424 11662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2936] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2936/stat : 2936 (java) S 2929 2931 2654 0 -1 64 8 298 0 0 0 0 0 0 15 0 9 0 28866757 888807424 11662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2937] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2937/stat : 2937 (java) S 2929 2931 2654 0 -1 64 1 298 0 0 0 0 0 0 18 0 9 0 28866759 888807424 11662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2938] ppid=2929 vsize=867976 CPUtime=0.26
/proc/2931/task/2938/stat : 2938 (java) S 2929 2931 2654 0 -1 64 741 298 0 0 25 1 0 0 16 0 9 0 28866759 888807424 11662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2939] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2939/stat : 2939 (java) S 2929 2931 2654 0 -1 64 1 298 0 0 0 0 0 0 19 0 9 0 28866759 888807424 11662 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=2931/tid=2933] ppid=2929 vsize=867976 CPUtime=280.48
/proc/2931/task/2933/stat : 2933 (java) R 2929 2931 2654 0 -1 64 12645 298 1 0 28040 8 0 0 25 0 9 0 28866756 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4126920231 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2934] ppid=2929 vsize=867976 CPUtime=0.05
/proc/2931/task/2934/stat : 2934 (java) S 2929 2931 2654 0 -1 64 4704 298 0 0 5 0 0 0 16 0 9 0 28866757 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2935] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2935/stat : 2935 (java) S 2929 2931 2654 0 -1 64 18 298 0 0 0 0 0 0 16 0 9 0 28866757 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2936] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2936/stat : 2936 (java) S 2929 2931 2654 0 -1 64 8 298 0 0 0 0 0 0 15 0 9 0 28866757 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2937] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2937/stat : 2937 (java) S 2929 2931 2654 0 -1 64 1 298 0 0 0 0 0 0 18 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2938] ppid=2929 vsize=867976 CPUtime=0.26
/proc/2931/task/2938/stat : 2938 (java) S 2929 2931 2654 0 -1 64 750 298 0 0 25 1 0 0 16 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2939] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2939/stat : 2939 (java) S 2929 2931 2654 0 -1 64 1 298 0 0 0 0 0 0 19 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2940] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2940/stat : 2940 (java) S 2929 2931 2654 0 -1 64 17 298 0 0 0 0 0 0 15 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.84
Current children cumulated vsize (KiB) 867976
Solver just ended. Dumping a history of the last processes samples
[startup+284.703 s]
/proc/loadavg: 2.00 2.04 2.00 3/90 2950
/proc/meminfo: memFree=1744344/2055920 swapFree=4192812/4192956
[pid=2931] ppid=2929 vsize=867976 CPUtime=283.22
/proc/2931/stat : 2931 (java) S 2929 2931 2654 0 -1 0 18951 298 1 0 28310 12 0 0 21 0 9 0 28866754 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2931/statm: 216994 11664 2657 9 0 211430 0
[pid=2931/tid=2933] ppid=2929 vsize=867976 CPUtime=282.87
/proc/2931/task/2933/stat : 2933 (java) R 2929 2931 2654 0 -1 64 12645 298 1 0 28279 8 0 0 25 0 9 0 28866756 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4126931785 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2934] ppid=2929 vsize=867976 CPUtime=0.05
/proc/2931/task/2934/stat : 2934 (java) S 2929 2931 2654 0 -1 64 4704 298 0 0 5 0 0 0 16 0 9 0 28866757 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2935] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2935/stat : 2935 (java) S 2929 2931 2654 0 -1 64 18 298 0 0 0 0 0 0 16 0 9 0 28866757 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2936] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2936/stat : 2936 (java) S 2929 2931 2654 0 -1 64 8 298 0 0 0 0 0 0 15 0 9 0 28866757 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2937] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2937/stat : 2937 (java) S 2929 2931 2654 0 -1 64 1 298 0 0 0 0 0 0 18 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2938] ppid=2929 vsize=867976 CPUtime=0.26
/proc/2931/task/2938/stat : 2938 (java) S 2929 2931 2654 0 -1 64 750 298 0 0 25 1 0 0 16 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2939] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2939/stat : 2939 (java) S 2929 2931 2654 0 -1 64 1 298 0 0 0 0 0 0 19 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2940] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2940/stat : 2940 (java) S 2929 2931 2654 0 -1 64 17 298 0 0 0 0 0 0 15 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 283.22
Current children cumulated vsize (KiB) 867976
[startup+286.303 s]
/proc/loadavg: 2.00 2.03 2.00 3/90 2950
/proc/meminfo: memFree=1744344/2055920 swapFree=4192812/4192956
[pid=2931] ppid=2929 vsize=867976 CPUtime=284.81
/proc/2931/stat : 2931 (java) S 2929 2931 2654 0 -1 0 18951 298 1 0 28469 12 0 0 21 0 9 0 28866754 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2931/statm: 216994 11664 2657 9 0 211430 0
[pid=2931/tid=2933] ppid=2929 vsize=867976 CPUtime=284.46
/proc/2931/task/2933/stat : 2933 (java) R 2929 2931 2654 0 -1 64 12645 298 1 0 28438 8 0 0 25 0 9 0 28866756 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4126906504 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2934] ppid=2929 vsize=867976 CPUtime=0.05
/proc/2931/task/2934/stat : 2934 (java) S 2929 2931 2654 0 -1 64 4704 298 0 0 5 0 0 0 16 0 9 0 28866757 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2935] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2935/stat : 2935 (java) S 2929 2931 2654 0 -1 64 18 298 0 0 0 0 0 0 16 0 9 0 28866757 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2936] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2936/stat : 2936 (java) S 2929 2931 2654 0 -1 64 8 298 0 0 0 0 0 0 15 0 9 0 28866757 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2937] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2937/stat : 2937 (java) S 2929 2931 2654 0 -1 64 1 298 0 0 0 0 0 0 18 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2938] ppid=2929 vsize=867976 CPUtime=0.26
/proc/2931/task/2938/stat : 2938 (java) S 2929 2931 2654 0 -1 64 750 298 0 0 25 1 0 0 16 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2939] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2939/stat : 2939 (java) S 2929 2931 2654 0 -1 64 1 298 0 0 0 0 0 0 19 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2940] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2940/stat : 2940 (java) S 2929 2931 2654 0 -1 64 17 298 0 0 0 0 0 0 15 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 284.81
Current children cumulated vsize (KiB) 867976
[startup+287.901 s]
/proc/loadavg: 2.00 2.03 2.00 3/90 2950
/proc/meminfo: memFree=1744344/2055920 swapFree=4192812/4192956
[pid=2931] ppid=2929 vsize=867976 CPUtime=286.41
/proc/2931/stat : 2931 (java) S 2929 2931 2654 0 -1 0 18951 298 1 0 28629 12 0 0 21 0 9 0 28866754 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2931/statm: 216994 11664 2657 9 0 211430 0
[pid=2931/tid=2933] ppid=2929 vsize=867976 CPUtime=286.05
/proc/2931/task/2933/stat : 2933 (java) R 2929 2931 2654 0 -1 64 12645 298 1 0 28597 8 0 0 25 0 9 0 28866756 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4126920167 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2934] ppid=2929 vsize=867976 CPUtime=0.05
/proc/2931/task/2934/stat : 2934 (java) S 2929 2931 2654 0 -1 64 4704 298 0 0 5 0 0 0 16 0 9 0 28866757 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2935] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2935/stat : 2935 (java) S 2929 2931 2654 0 -1 64 18 298 0 0 0 0 0 0 16 0 9 0 28866757 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2936] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2936/stat : 2936 (java) S 2929 2931 2654 0 -1 64 8 298 0 0 0 0 0 0 15 0 9 0 28866757 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2937] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2937/stat : 2937 (java) S 2929 2931 2654 0 -1 64 1 298 0 0 0 0 0 0 18 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2938] ppid=2929 vsize=867976 CPUtime=0.26
/proc/2931/task/2938/stat : 2938 (java) S 2929 2931 2654 0 -1 64 750 298 0 0 25 1 0 0 16 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2939] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2939/stat : 2939 (java) S 2929 2931 2654 0 -1 64 1 298 0 0 0 0 0 0 19 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2940] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2940/stat : 2940 (java) S 2929 2931 2654 0 -1 64 17 298 0 0 0 0 0 0 15 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 286.41
Current children cumulated vsize (KiB) 867976
[startup+288.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/90 2950
/proc/meminfo: memFree=1744344/2055920 swapFree=4192812/4192956
[pid=2931] ppid=2929 vsize=867976 CPUtime=286.8
/proc/2931/stat : 2931 (java) S 2929 2931 2654 0 -1 0 18951 298 1 0 28668 12 0 0 21 0 9 0 28866754 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2931/statm: 216994 11664 2657 9 0 211430 0
[pid=2931/tid=2933] ppid=2929 vsize=867976 CPUtime=286.44
/proc/2931/task/2933/stat : 2933 (java) R 2929 2931 2654 0 -1 64 12645 298 1 0 28636 8 0 0 25 0 9 0 28866756 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4126916815 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2934] ppid=2929 vsize=867976 CPUtime=0.05
/proc/2931/task/2934/stat : 2934 (java) S 2929 2931 2654 0 -1 64 4704 298 0 0 5 0 0 0 16 0 9 0 28866757 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2935] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2935/stat : 2935 (java) S 2929 2931 2654 0 -1 64 18 298 0 0 0 0 0 0 16 0 9 0 28866757 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2936] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2936/stat : 2936 (java) S 2929 2931 2654 0 -1 64 8 298 0 0 0 0 0 0 15 0 9 0 28866757 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2937] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2937/stat : 2937 (java) S 2929 2931 2654 0 -1 64 1 298 0 0 0 0 0 0 18 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2938] ppid=2929 vsize=867976 CPUtime=0.26
/proc/2931/task/2938/stat : 2938 (java) S 2929 2931 2654 0 -1 64 750 298 0 0 25 1 0 0 16 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2939] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2939/stat : 2939 (java) S 2929 2931 2654 0 -1 64 1 298 0 0 0 0 0 0 19 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2940] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2940/stat : 2940 (java) S 2929 2931 2654 0 -1 64 17 298 0 0 0 0 0 0 15 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 286.8
Current children cumulated vsize (KiB) 867976
[startup+288.701 s]
/proc/loadavg: 2.00 2.03 2.00 3/90 2950
/proc/meminfo: memFree=1744344/2055920 swapFree=4192812/4192956
[pid=2931] ppid=2929 vsize=867976 CPUtime=287.2
/proc/2931/stat : 2931 (java) S 2929 2931 2654 0 -1 0 18951 298 1 0 28708 12 0 0 21 0 9 0 28866754 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2931/statm: 216994 11664 2657 9 0 211430 0
[pid=2931/tid=2933] ppid=2929 vsize=867976 CPUtime=286.84
/proc/2931/task/2933/stat : 2933 (java) R 2929 2931 2654 0 -1 64 12645 298 1 0 28676 8 0 0 25 0 9 0 28866756 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4126907456 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2934] ppid=2929 vsize=867976 CPUtime=0.05
/proc/2931/task/2934/stat : 2934 (java) S 2929 2931 2654 0 -1 64 4704 298 0 0 5 0 0 0 16 0 9 0 28866757 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2935] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2935/stat : 2935 (java) S 2929 2931 2654 0 -1 64 18 298 0 0 0 0 0 0 16 0 9 0 28866757 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2936] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2936/stat : 2936 (java) S 2929 2931 2654 0 -1 64 8 298 0 0 0 0 0 0 15 0 9 0 28866757 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2937] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2937/stat : 2937 (java) S 2929 2931 2654 0 -1 64 1 298 0 0 0 0 0 0 18 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2938] ppid=2929 vsize=867976 CPUtime=0.26
/proc/2931/task/2938/stat : 2938 (java) S 2929 2931 2654 0 -1 64 750 298 0 0 25 1 0 0 16 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2939] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2939/stat : 2939 (java) S 2929 2931 2654 0 -1 64 1 298 0 0 0 0 0 0 19 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2940] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2940/stat : 2940 (java) S 2929 2931 2654 0 -1 64 17 298 0 0 0 0 0 0 15 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 287.2
Current children cumulated vsize (KiB) 867976
[startup+288.801 s]
/proc/loadavg: 2.00 2.03 2.00 3/90 2950
/proc/meminfo: memFree=1744344/2055920 swapFree=4192812/4192956
[pid=2931] ppid=2929 vsize=867976 CPUtime=287.3
/proc/2931/stat : 2931 (java) S 2929 2931 2654 0 -1 0 18951 298 1 0 28718 12 0 0 21 0 9 0 28866754 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2931/statm: 216994 11664 2657 9 0 211430 0
[pid=2931/tid=2933] ppid=2929 vsize=867976 CPUtime=286.94
/proc/2931/task/2933/stat : 2933 (java) R 2929 2931 2654 0 -1 64 12645 298 1 0 28686 8 0 0 25 0 9 0 28866756 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4126381314 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2934] ppid=2929 vsize=867976 CPUtime=0.05
/proc/2931/task/2934/stat : 2934 (java) S 2929 2931 2654 0 -1 64 4704 298 0 0 5 0 0 0 16 0 9 0 28866757 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2935] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2935/stat : 2935 (java) S 2929 2931 2654 0 -1 64 18 298 0 0 0 0 0 0 16 0 9 0 28866757 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2936] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2936/stat : 2936 (java) S 2929 2931 2654 0 -1 64 8 298 0 0 0 0 0 0 15 0 9 0 28866757 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2937] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2937/stat : 2937 (java) S 2929 2931 2654 0 -1 64 1 298 0 0 0 0 0 0 18 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2938] ppid=2929 vsize=867976 CPUtime=0.26
/proc/2931/task/2938/stat : 2938 (java) S 2929 2931 2654 0 -1 64 750 298 0 0 25 1 0 0 16 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2931/tid=2939] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2939/stat : 2939 (java) S 2929 2931 2654 0 -1 64 1 298 0 0 0 0 0 0 19 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2931/tid=2940] ppid=2929 vsize=867976 CPUtime=0
/proc/2931/task/2940/stat : 2940 (java) S 2929 2931 2654 0 -1 64 17 298 0 0 0 0 0 0 15 0 9 0 28866759 888807424 11664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 287.3
Current children cumulated vsize (KiB) 867976
Child status: 0
Real time (s): 288.848
CPU time (s): 287.346
CPU user time (s): 287.209
CPU system time (s): 0.136979
CPU usage (%): 99.4801
Max. virtual memory (cumulated for all children) (KiB): 867976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 287.209
system time used= 0.136979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19330
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= 7315
involuntary context switches= 11291
runsolver used 0.380942 second user time and 0.92086 second system time
The end
Begin job on node82 at 2009-07-12 19:00:18
IDJOB=2099345
IDBENCH=60130
IDSOLVER=773
FILE ID=node82/2099345-1247418018
PBS_JOBID= 9510723
Free space on /tmp= 66192 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-21_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2099345-1247418018/watcher-2099345-1247418018 -o /tmp/evaluation-result-2099345-1247418018/solver-2099345-1247418018 -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-2099345-1247418018.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= eeb42dd32b0e5c54c0fd8c3cf72502ff
RANDOM SEED=1687541682
node82.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.265
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.265
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: 1781992 kB
Buffers: 42028 kB
Cached: 121580 kB
SwapCached: 0 kB
Active: 146828 kB
Inactive: 70268 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1781992 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2444 kB
Writeback: 0 kB
Mapped: 73912 kB
Slab: 42068 kB
Committed_AS: 1014548 kB
PageTables: 1872 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66188 MiB
End job on node82 at 2009-07-12 19:05:07