0.07/0.09
0.07/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mac.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-2097731-1247413895.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.34
0.28/0.34 variables being loaded...
0.38/0.46 nbVariables=101 nbDomainTypes=2 minDomainSize=1 maxDomainSize=1094 nbTotalValues=109401
0.38/0.46 => wckTime=0.208 cpuTime=0.2 mem=10M831
0.38/0.46
0.38/0.46 predicates being loaded...
0.48/0.55
0.48/0.55 constraints being loaded...
1.25/1.35 nbConstraints=1010 nbGlobalConstraints=910 nbSingletonDomainVariables=1 nbConvertedConstraints=100
1.25/1.35 nbConvertConstraintsChecks=60170 nbExtensionStructures=55 nbSharedExtensionStructures=45
1.25/1.35 nbConflictsStructures=55 nbSharedConflictsStructures=45 nbSharedBinaryRepresentations=60168 minDegree=20
1.25/1.35 maxDegree=101 minArity=2 avgArity=2.08 maxArity=11 nbGenerators=0 nbFusions=0 symmetryWckTime=0.22
1.25/1.35 symmetryCpuTime=0.17 nbCliques=10
1.25/1.35 => wckTime=1.1 cpuTime=0.85 mem=25M640
1.36/1.43
1.36/1.43 solver IterativeSystematicSolver being built...
1.36/1.49
1.36/1.49 INFO : Forward propagation technique limited
1.46/1.56 => wckTime=1.31 cpuTime=0.97 mem=26M999
1.55/1.60
1.55/1.60 preprocessing
1.55/1.60 nbConstraintChecks=109400 nbPropagations=105 nbRevisions=106 nbUselessRevisions=6 nbRemovedValues=15262
1.55/1.60 detectedInconsistency=no
1.55/1.60 => wckTime=0.037 cpuTime=0.02 mem=27M965
28.00/28.32
28.00/28.32 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=22M21)
302.01/304.90
302.01/304.90 search
302.01/304.90 run=19 nbConstraintChecks=11600719 minDepth=4 maxDepth=101 nbPropagations=7505989 nbRevisions=23120
302.01/304.90 nbUselessRevisions=21120 nbAssignments=66736 nbFailedAssignments=62017 nbBacktracks=4402 nbVisitedNodes=131858
302.01/304.90 nbRestartNogoods=1924 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=1 nbIEliminables=14.45
302.01/304.90 nbDEliminables=0 nbPEliminables=0
302.01/304.90 => wckTime=303.335 cpuTime=300.27 mem=20M207
302.01/304.90
302.01/304.90 global
302.01/304.90 nbConstraintChecks=11710119 nbPropagations=7506094 nbRevisions=23226 nbUselessRevisions=21126
302.01/304.90 nbRestartNogoods=1924 solvingWckTime=303.337 solvingCpuTime=300.27 expiredTime=no totalExploration=no
302.01/304.90 nbFoundSolutions=1 firstSolutionCpuTime=301.23 globalCpuTime=301.3
302.01/304.90 => wckTime=304.653 cpuTime=301.25 mem=20M207
302.01/304.90
302.01/304.90 s SATISFIABLE
302.01/304.90 v 1093 1089 108 406 696 79 0 1084 1083 1031 419 42 1018 560 1031 1039 1078 995 66 800 1 975 1089 0 419 413 696 782 697 742 702 84 506 473 1052 67 1077 1018 1040 0 63 473 1 419 1050 515 1074 1038 0 1083 108 1090 366 1076 0 1038 920 1003 1052 386 742 57 1040 1082 1041 0 79 1050 702 1084 55 534 386 506 1074 55 1003 0 1075 63 42 66 0 782 413 84 800 445 1 799 920 515 1076 800 1077 445 697 1 560 1086 0
302.01/304.90 d NODES 66736
302.01/304.90 d CHECKS 11710119
302.01/304.90
302.01/304.91 totalWckTime=304.712 totalCpuTime=301.3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097731-1247413895/watcher-2097731-1247413895 -o /tmp/evaluation-result-2097731-1247413895/solver-2097731-1247413895 -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-2097731-1247413895.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.00 2.01 2.00 4/81 31009
/proc/meminfo: memFree=1742224/2055920 swapFree=4192812/4192956
[pid=31009] ppid=31007 vsize=10676 CPUtime=0
/proc/31009/stat : 31009 (java) S 31007 31009 29098 0 -1 0 678 0 0 0 0 0 0 0 18 0 2 0 28452870 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31009/statm: 2669 474 207 9 0 1184 0
[pid=31009/tid=31010] ppid=31007 vsize=10676 CPUtime=0
/proc/31009/task/31010/stat : 31010 (java) R 31007 31009 29098 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 28452871 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 12779480 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.096675 s]
/proc/loadavg: 2.00 2.01 2.00 4/81 31009
/proc/meminfo: memFree=1742224/2055920 swapFree=4192812/4192956
[pid=31009] ppid=31007 vsize=865984 CPUtime=0.07
/proc/31009/stat : 31009 (java) S 31007 31009 29098 0 -1 0 3636 0 1 0 6 1 0 0 18 0 9 0 28452870 886767616 3119 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31009/statm: 216496 3119 1668 9 0 210981 0
[pid=31009/tid=31010] ppid=31007 vsize=865984 CPUtime=0.06
/proc/31009/task/31010/stat : 31010 (java) R 31007 31009 29098 0 -1 64 2728 0 1 0 5 1 0 0 18 0 9 0 28452871 886767616 3119 996147200 134512640 134550932 4294955968 18446744073709551615 103797233 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865984
[startup+0.102674 s]
/proc/loadavg: 2.00 2.01 2.00 4/81 31009
/proc/meminfo: memFree=1742224/2055920 swapFree=4192812/4192956
[pid=31009] ppid=31007 vsize=865984 CPUtime=0.08
/proc/31009/stat : 31009 (java) S 31007 31009 29098 0 -1 0 3718 0 1 0 7 1 0 0 18 0 9 0 28452870 886767616 3186 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31009/statm: 216496 3186 1690 9 0 210981 0
[pid=31009/tid=31010] ppid=31007 vsize=865984 CPUtime=0.07
/proc/31009/task/31010/stat : 31010 (java) R 31007 31009 29098 0 -1 64 2810 0 1 0 6 1 0 0 18 0 9 0 28452871 886767616 3186 996147200 134512640 134550932 4294955968 18446744073709551615 4125962962 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301695 s]
/proc/loadavg: 2.00 2.01 2.00 4/81 31009
/proc/meminfo: memFree=1742224/2055920 swapFree=4192812/4192956
[pid=31009] ppid=31007 vsize=866224 CPUtime=0.28
/proc/31009/stat : 31009 (java) S 31007 31009 29098 0 -1 0 5827 0 1 0 25 3 0 0 18 0 9 0 28452870 887013376 5193 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31009/statm: 216556 5193 1972 9 0 211014 0
[pid=31009/tid=31010] ppid=31007 vsize=866224 CPUtime=0.26
/proc/31009/task/31010/stat : 31010 (java) R 31007 31009 29098 0 -1 64 4919 0 1 0 24 2 0 0 18 0 9 0 28452871 887013376 5193 996147200 134512640 134550932 4294955968 18446744073709551615 103214728 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866224
[startup+0.702732 s]
/proc/loadavg: 2.00 2.01 2.00 4/81 31009
/proc/meminfo: memFree=1742224/2055920 swapFree=4192812/4192956
[pid=31009] ppid=31007 vsize=866704 CPUtime=0.68
/proc/31009/stat : 31009 (java) S 31007 31009 29098 0 -1 0 8038 0 1 0 64 4 0 0 18 0 9 0 28452870 887504896 7392 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31009/statm: 216676 7392 2031 9 0 211112 0
[pid=31009/tid=31010] ppid=31007 vsize=866704 CPUtime=0.59
/proc/31009/task/31010/stat : 31010 (java) R 31007 31009 29098 0 -1 64 6992 0 1 0 56 3 0 0 20 0 9 0 28452871 887504896 7392 996147200 134512640 134550932 4294955968 18446744073709551615 4125950724 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866704
[startup+1.50281 s]
/proc/loadavg: 2.08 2.02 2.00 3/90 31018
/proc/meminfo: memFree=1713160/2055920 swapFree=4192812/4192956
[pid=31009] ppid=31007 vsize=868440 CPUtime=1.46
/proc/31009/stat : 31009 (java) S 31007 31009 29098 0 -1 0 18851 326 1 0 133 12 1 0 18 0 9 0 28452870 889282560 12507 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31009/statm: 217110 12507 2655 9 0 211546 0
[pid=31009/tid=31010] ppid=31007 vsize=868440 CPUtime=1.12
/proc/31009/task/31010/stat : 31010 (java) R 31007 31009 29098 0 -1 64 12616 326 1 0 102 9 1 0 23 0 9 0 28452871 889282560 12507 996147200 134512640 134550932 4294955968 18446744073709551615 103795227 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31012] ppid=31007 vsize=868440 CPUtime=0.07
/proc/31009/task/31012/stat : 31012 (java) S 31007 31009 29098 0 -1 64 4476 326 0 0 6 0 1 0 16 0 9 0 28452873 889282560 12507 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31013] ppid=31007 vsize=868440 CPUtime=0.01
/proc/31009/task/31013/stat : 31013 (java) S 31007 31009 29098 0 -1 64 16 326 0 0 0 0 1 0 16 0 9 0 28452873 889282560 12507 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31014] ppid=31007 vsize=868440 CPUtime=0.01
/proc/31009/task/31014/stat : 31014 (java) S 31007 31009 29098 0 -1 64 11 326 0 0 0 0 1 0 16 0 9 0 28452873 889282560 12507 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31015] ppid=31007 vsize=868440 CPUtime=0.01
/proc/31009/task/31015/stat : 31015 (java) S 31007 31009 29098 0 -1 64 2 326 0 0 0 0 1 0 18 0 9 0 28452875 889282560 12507 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31016] ppid=31007 vsize=868440 CPUtime=0.24
/proc/31009/task/31016/stat : 31016 (java) S 31007 31009 29098 0 -1 64 912 326 0 0 23 0 1 0 16 0 9 0 28452875 889282560 12507 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31017] ppid=31007 vsize=868440 CPUtime=0.01
/proc/31009/task/31017/stat : 31017 (java) S 31007 31009 29098 0 -1 64 1 326 0 0 0 0 1 0 19 0 9 0 28452875 889282560 12507 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31018] ppid=31007 vsize=868440 CPUtime=0.01
/proc/31009/task/31018/stat : 31018 (java) S 31007 31009 29098 0 -1 64 6 326 0 0 0 0 1 0 15 0 9 0 28452875 889282560 12507 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) 868440
[startup+3.10197 s]
/proc/loadavg: 2.08 2.02 2.00 3/90 31022
/proc/meminfo: memFree=1700232/2055920 swapFree=4192812/4192956
[pid=31009] ppid=31007 vsize=868572 CPUtime=3.05
/proc/31009/stat : 31009 (java) S 31007 31009 29098 0 -1 0 22804 326 1 0 290 14 1 0 18 0 9 0 28452870 889417728 14928 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31009/statm: 217143 14928 2658 9 0 211579 0
[pid=31009/tid=31010] ppid=31007 vsize=868572 CPUtime=2.65
/proc/31009/task/31010/stat : 31010 (java) R 31007 31009 29098 0 -1 64 16532 326 1 0 253 11 1 0 25 0 9 0 28452871 889417728 14928 996147200 134512640 134550932 4294955968 18446744073709551615 4127142681 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31012] ppid=31007 vsize=868572 CPUtime=0.07
/proc/31009/task/31012/stat : 31012 (java) S 31007 31009 29098 0 -1 64 4477 326 0 0 6 0 1 0 17 0 9 0 28452873 889417728 14928 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31013] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31013/stat : 31013 (java) S 31007 31009 29098 0 -1 64 16 326 0 0 0 0 1 0 16 0 9 0 28452873 889417728 14928 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31014] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31014/stat : 31014 (java) S 31007 31009 29098 0 -1 64 11 326 0 0 0 0 1 0 16 0 9 0 28452873 889417728 14928 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31015] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31015/stat : 31015 (java) S 31007 31009 29098 0 -1 64 2 326 0 0 0 0 1 0 18 0 9 0 28452875 889417728 14928 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31016] ppid=31007 vsize=868572 CPUtime=0.31
/proc/31009/task/31016/stat : 31016 (java) S 31007 31009 29098 0 -1 64 948 326 0 0 30 0 1 0 15 0 9 0 28452875 889417728 14928 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31017] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31017/stat : 31017 (java) S 31007 31009 29098 0 -1 64 1 326 0 0 0 0 1 0 19 0 9 0 28452875 889417728 14928 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31018] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31018/stat : 31018 (java) S 31007 31009 29098 0 -1 64 6 326 0 0 0 0 1 0 15 0 9 0 28452875 889417728 14928 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) 868572
[startup+6.30228 s]
/proc/loadavg: 2.08 2.02 2.00 3/90 31022
/proc/meminfo: memFree=1669256/2055920 swapFree=4192812/4192956
[pid=31009] ppid=31007 vsize=868572 CPUtime=6.21
/proc/31009/stat : 31009 (java) S 31007 31009 29098 0 -1 0 28747 326 1 0 604 16 1 0 18 0 9 0 28452870 889417728 20703 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31009/statm: 217143 20703 2661 9 0 211579 0
[pid=31009/tid=31010] ppid=31007 vsize=868572 CPUtime=5.78
/proc/31009/task/31010/stat : 31010 (java) R 31007 31009 29098 0 -1 64 20481 326 1 0 565 12 1 0 25 0 9 0 28452871 889417728 20703 996147200 134512640 134550932 4294955968 18446744073709551615 4127146877 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31012] ppid=31007 vsize=868572 CPUtime=0.09
/proc/31009/task/31012/stat : 31012 (java) S 31007 31009 29098 0 -1 64 6432 326 0 0 7 1 1 0 17 0 9 0 28452873 889417728 20703 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31013] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31013/stat : 31013 (java) S 31007 31009 29098 0 -1 64 16 326 0 0 0 0 1 0 16 0 9 0 28452873 889417728 20703 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31014] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31014/stat : 31014 (java) S 31007 31009 29098 0 -1 64 11 326 0 0 0 0 1 0 16 0 9 0 28452873 889417728 20703 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31015] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31015/stat : 31015 (java) S 31007 31009 29098 0 -1 64 2 326 0 0 0 0 1 0 18 0 9 0 28452875 889417728 20703 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31016] ppid=31007 vsize=868572 CPUtime=0.32
/proc/31009/task/31016/stat : 31016 (java) S 31007 31009 29098 0 -1 64 957 326 0 0 31 0 1 0 16 0 9 0 28452875 889417728 20703 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31017] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31017/stat : 31017 (java) S 31007 31009 29098 0 -1 64 1 326 0 0 0 0 1 0 19 0 9 0 28452875 889417728 20703 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31018] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31018/stat : 31018 (java) S 31007 31009 29098 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28452875 889417728 20703 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 868572
[startup+12.7019 s]
/proc/loadavg: 2.15 2.04 2.01 3/90 31022
/proc/meminfo: memFree=1669000/2055920 swapFree=4192812/4192956
[pid=31009] ppid=31007 vsize=868572 CPUtime=12.55
/proc/31009/stat : 31009 (java) S 31007 31009 29098 0 -1 0 30403 326 1 0 1237 17 1 0 18 0 9 0 28452870 889417728 22321 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31009/statm: 217143 22321 2661 9 0 211579 0
[pid=31009/tid=31010] ppid=31007 vsize=868572 CPUtime=12.09
/proc/31009/task/31010/stat : 31010 (java) R 31007 31009 29098 0 -1 64 20489 326 1 0 1195 13 1 0 25 0 9 0 28452871 889417728 22321 996147200 134512640 134550932 4294955968 18446744073709551615 4127143468 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31012] ppid=31007 vsize=868572 CPUtime=0.11
/proc/31009/task/31012/stat : 31012 (java) S 31007 31009 29098 0 -1 64 8037 326 0 0 8 2 1 0 16 0 9 0 28452873 889417728 22321 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31013] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31013/stat : 31013 (java) S 31007 31009 29098 0 -1 64 16 326 0 0 0 0 1 0 16 0 9 0 28452873 889417728 22321 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31014] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31014/stat : 31014 (java) S 31007 31009 29098 0 -1 64 11 326 0 0 0 0 1 0 16 0 9 0 28452873 889417728 22321 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31015] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31015/stat : 31015 (java) S 31007 31009 29098 0 -1 64 2 326 0 0 0 0 1 0 18 0 9 0 28452875 889417728 22321 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31016] ppid=31007 vsize=868572 CPUtime=0.34
/proc/31009/task/31016/stat : 31016 (java) S 31007 31009 29098 0 -1 64 1000 326 0 0 33 0 1 0 15 0 9 0 28452875 889417728 22321 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31017] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31017/stat : 31017 (java) S 31007 31009 29098 0 -1 64 1 326 0 0 0 0 1 0 19 0 9 0 28452875 889417728 22321 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31018] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31018/stat : 31018 (java) S 31007 31009 29098 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28452875 889417728 22321 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) 868572
[startup+25.5022 s]
/proc/loadavg: 2.12 2.04 2.01 3/90 31022
/proc/meminfo: memFree=1662408/2055920 swapFree=4192812/4192956
[pid=31009] ppid=31007 vsize=868572 CPUtime=25.23
/proc/31009/stat : 31009 (java) S 31007 31009 29098 0 -1 0 30408 326 1 0 2505 17 1 0 18 0 9 0 28452870 889417728 22322 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31009/statm: 217143 22322 2661 9 0 211579 0
[pid=31009/tid=31010] ppid=31007 vsize=868572 CPUtime=24.76
/proc/31009/task/31010/stat : 31010 (java) R 31007 31009 29098 0 -1 64 20493 326 1 0 2462 13 1 0 25 0 9 0 28452871 889417728 22322 996147200 134512640 134550932 4294955968 18446744073709551615 4127146967 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31012] ppid=31007 vsize=868572 CPUtime=0.11
/proc/31009/task/31012/stat : 31012 (java) S 31007 31009 29098 0 -1 64 8037 326 0 0 8 2 1 0 16 0 9 0 28452873 889417728 22322 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31013] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31013/stat : 31013 (java) S 31007 31009 29098 0 -1 64 16 326 0 0 0 0 1 0 16 0 9 0 28452873 889417728 22322 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31014] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31014/stat : 31014 (java) S 31007 31009 29098 0 -1 64 11 326 0 0 0 0 1 0 16 0 9 0 28452873 889417728 22322 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31015] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31015/stat : 31015 (java) S 31007 31009 29098 0 -1 64 2 326 0 0 0 0 1 0 18 0 9 0 28452875 889417728 22322 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31016] ppid=31007 vsize=868572 CPUtime=0.34
/proc/31009/task/31016/stat : 31016 (java) S 31007 31009 29098 0 -1 64 1001 326 0 0 33 0 1 0 16 0 9 0 28452875 889417728 22322 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31017] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31017/stat : 31017 (java) S 31007 31009 29098 0 -1 64 1 326 0 0 0 0 1 0 19 0 9 0 28452875 889417728 22322 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31018] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31018/stat : 31018 (java) S 31007 31009 29098 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28452875 889417728 22322 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 868572
[startup+51.1026 s]
/proc/loadavg: 2.08 2.03 2.01 3/90 31022
/proc/meminfo: memFree=1661512/2055920 swapFree=4192812/4192956
[pid=31009] ppid=31007 vsize=868572 CPUtime=50.59
/proc/31009/stat : 31009 (java) S 31007 31009 29098 0 -1 0 30631 326 1 0 5041 17 1 0 18 0 9 0 28452870 889417728 22540 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31009/statm: 217143 22540 2661 9 0 211579 0
[pid=31009/tid=31010] ppid=31007 vsize=868572 CPUtime=50.11
/proc/31009/task/31010/stat : 31010 (java) R 31007 31009 29098 0 -1 64 20498 326 1 0 4997 13 1 0 25 0 9 0 28452871 889417728 22540 996147200 134512640 134550932 4294955968 18446744073709551615 4127149606 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31012] ppid=31007 vsize=868572 CPUtime=0.12
/proc/31009/task/31012/stat : 31012 (java) S 31007 31009 29098 0 -1 64 8254 326 0 0 9 2 1 0 16 0 9 0 28452873 889417728 22540 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=31009/tid=31010] ppid=31007 vsize=868572 CPUtime=279.09
/proc/31009/task/31010/stat : 31010 (java) R 31007 31009 29098 0 -1 64 20530 326 1 0 27895 13 1 0 25 0 9 0 28452871 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4127142630 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31012] ppid=31007 vsize=868572 CPUtime=0.16
/proc/31009/task/31012/stat : 31012 (java) S 31007 31009 29098 0 -1 64 8339 326 0 0 13 2 1 0 16 0 9 0 28452873 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31013] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31013/stat : 31013 (java) S 31007 31009 29098 0 -1 64 16 326 0 0 0 0 1 0 16 0 9 0 28452873 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31014] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31014/stat : 31014 (java) S 31007 31009 29098 0 -1 64 11 326 0 0 0 0 1 0 16 0 9 0 28452873 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31015] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31015/stat : 31015 (java) S 31007 31009 29098 0 -1 64 2 326 0 0 0 0 1 0 18 0 9 0 28452875 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31016] ppid=31007 vsize=868572 CPUtime=0.35
/proc/31009/task/31016/stat : 31016 (java) S 31007 31009 29098 0 -1 64 1007 326 0 0 34 0 1 0 16 0 9 0 28452875 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31017] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31017/stat : 31017 (java) S 31007 31009 29098 0 -1 64 1 326 0 0 0 0 1 0 19 0 9 0 28452875 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31018] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31018/stat : 31018 (java) S 31007 31009 29098 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28452875 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.63
Current children cumulated vsize (KiB) 868572
Solver just ended. Dumping a history of the last processes samples
[startup+294.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/90 31022
/proc/meminfo: memFree=1660936/2055920 swapFree=4192812/4192956
[pid=31009] ppid=31007 vsize=868572 CPUtime=291.51
/proc/31009/stat : 31009 (java) S 31007 31009 29098 0 -1 0 30758 326 1 0 29132 18 1 0 18 0 9 0 28452870 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31009/statm: 217143 22628 2661 9 0 211579 0
[pid=31009/tid=31010] ppid=31007 vsize=868572 CPUtime=290.97
/proc/31009/task/31010/stat : 31010 (java) R 31007 31009 29098 0 -1 64 20535 326 1 0 29083 13 1 0 25 0 9 0 28452871 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4127144952 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31012] ppid=31007 vsize=868572 CPUtime=0.16
/proc/31009/task/31012/stat : 31012 (java) S 31007 31009 29098 0 -1 64 8339 326 0 0 13 2 1 0 16 0 9 0 28452873 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31013] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31013/stat : 31013 (java) S 31007 31009 29098 0 -1 64 16 326 0 0 0 0 1 0 16 0 9 0 28452873 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31014] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31014/stat : 31014 (java) S 31007 31009 29098 0 -1 64 11 326 0 0 0 0 1 0 16 0 9 0 28452873 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31015] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31015/stat : 31015 (java) S 31007 31009 29098 0 -1 64 2 326 0 0 0 0 1 0 18 0 9 0 28452875 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31016] ppid=31007 vsize=868572 CPUtime=0.35
/proc/31009/task/31016/stat : 31016 (java) S 31007 31009 29098 0 -1 64 1007 326 0 0 34 0 1 0 16 0 9 0 28452875 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31017] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31017/stat : 31017 (java) S 31007 31009 29098 0 -1 64 1 326 0 0 0 0 1 0 19 0 9 0 28452875 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31018] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31018/stat : 31018 (java) S 31007 31009 29098 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28452875 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 291.51
Current children cumulated vsize (KiB) 868572
[startup+300.703 s]
/proc/loadavg: 2.00 2.01 2.00 3/90 31022
/proc/meminfo: memFree=1660936/2055920 swapFree=4192812/4192956
[pid=31009] ppid=31007 vsize=868572 CPUtime=297.85
/proc/31009/stat : 31009 (java) S 31007 31009 29098 0 -1 0 30759 326 1 0 29766 18 1 0 18 0 9 0 28452870 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31009/statm: 217143 22628 2661 9 0 211579 0
[pid=31009/tid=31010] ppid=31007 vsize=868572 CPUtime=297.31
/proc/31009/task/31010/stat : 31010 (java) R 31007 31009 29098 0 -1 64 20536 326 1 0 29717 13 1 0 25 0 9 0 28452871 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4127040897 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31012] ppid=31007 vsize=868572 CPUtime=0.16
/proc/31009/task/31012/stat : 31012 (java) S 31007 31009 29098 0 -1 64 8339 326 0 0 13 2 1 0 16 0 9 0 28452873 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31013] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31013/stat : 31013 (java) S 31007 31009 29098 0 -1 64 16 326 0 0 0 0 1 0 16 0 9 0 28452873 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31014] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31014/stat : 31014 (java) S 31007 31009 29098 0 -1 64 11 326 0 0 0 0 1 0 16 0 9 0 28452873 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31015] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31015/stat : 31015 (java) S 31007 31009 29098 0 -1 64 2 326 0 0 0 0 1 0 18 0 9 0 28452875 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31016] ppid=31007 vsize=868572 CPUtime=0.35
/proc/31009/task/31016/stat : 31016 (java) S 31007 31009 29098 0 -1 64 1007 326 0 0 34 0 1 0 16 0 9 0 28452875 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31017] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31017/stat : 31017 (java) S 31007 31009 29098 0 -1 64 1 326 0 0 0 0 1 0 19 0 9 0 28452875 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31018] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31018/stat : 31018 (java) S 31007 31009 29098 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28452875 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 297.85
Current children cumulated vsize (KiB) 868572
[startup+302.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/90 31022
/proc/meminfo: memFree=1660936/2055920 swapFree=4192812/4192956
[pid=31009] ppid=31007 vsize=868572 CPUtime=299.44
/proc/31009/stat : 31009 (java) S 31007 31009 29098 0 -1 0 30759 326 1 0 29925 18 1 0 18 0 9 0 28452870 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31009/statm: 217143 22628 2661 9 0 211579 0
[pid=31009/tid=31010] ppid=31007 vsize=868572 CPUtime=298.89
/proc/31009/task/31010/stat : 31010 (java) R 31007 31009 29098 0 -1 64 20536 326 1 0 29875 13 1 0 25 0 9 0 28452871 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4127285604 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31012] ppid=31007 vsize=868572 CPUtime=0.16
/proc/31009/task/31012/stat : 31012 (java) S 31007 31009 29098 0 -1 64 8339 326 0 0 13 2 1 0 16 0 9 0 28452873 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31013] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31013/stat : 31013 (java) S 31007 31009 29098 0 -1 64 16 326 0 0 0 0 1 0 16 0 9 0 28452873 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31014] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31014/stat : 31014 (java) S 31007 31009 29098 0 -1 64 11 326 0 0 0 0 1 0 16 0 9 0 28452873 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31015] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31015/stat : 31015 (java) S 31007 31009 29098 0 -1 64 2 326 0 0 0 0 1 0 18 0 9 0 28452875 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31016] ppid=31007 vsize=868572 CPUtime=0.35
/proc/31009/task/31016/stat : 31016 (java) S 31007 31009 29098 0 -1 64 1007 326 0 0 34 0 1 0 16 0 9 0 28452875 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31017] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31017/stat : 31017 (java) S 31007 31009 29098 0 -1 64 1 326 0 0 0 0 1 0 19 0 9 0 28452875 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31018] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31018/stat : 31018 (java) S 31007 31009 29098 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28452875 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 299.44
Current children cumulated vsize (KiB) 868572
[startup+303.901 s]
/proc/loadavg: 2.00 2.01 2.00 3/90 31022
/proc/meminfo: memFree=1660936/2055920 swapFree=4192812/4192956
[pid=31009] ppid=31007 vsize=868572 CPUtime=301.02
/proc/31009/stat : 31009 (java) S 31007 31009 29098 0 -1 0 30759 326 1 0 30083 18 1 0 18 0 9 0 28452870 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31009/statm: 217143 22628 2661 9 0 211579 0
[pid=31009/tid=31010] ppid=31007 vsize=868572 CPUtime=300.47
/proc/31009/task/31010/stat : 31010 (java) R 31007 31009 29098 0 -1 64 20536 326 1 0 30033 13 1 0 25 0 9 0 28452871 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4127138977 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31012] ppid=31007 vsize=868572 CPUtime=0.16
/proc/31009/task/31012/stat : 31012 (java) S 31007 31009 29098 0 -1 64 8339 326 0 0 13 2 1 0 16 0 9 0 28452873 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31013] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31013/stat : 31013 (java) S 31007 31009 29098 0 -1 64 16 326 0 0 0 0 1 0 16 0 9 0 28452873 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31014] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31014/stat : 31014 (java) S 31007 31009 29098 0 -1 64 11 326 0 0 0 0 1 0 16 0 9 0 28452873 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31015] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31015/stat : 31015 (java) S 31007 31009 29098 0 -1 64 2 326 0 0 0 0 1 0 18 0 9 0 28452875 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31016] ppid=31007 vsize=868572 CPUtime=0.35
/proc/31009/task/31016/stat : 31016 (java) S 31007 31009 29098 0 -1 64 1007 326 0 0 34 0 1 0 16 0 9 0 28452875 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31017] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31017/stat : 31017 (java) S 31007 31009 29098 0 -1 64 1 326 0 0 0 0 1 0 19 0 9 0 28452875 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31018] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31018/stat : 31018 (java) S 31007 31009 29098 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28452875 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 301.02
Current children cumulated vsize (KiB) 868572
[startup+304.706 s]
/proc/loadavg: 2.00 2.01 2.00 3/90 31022
/proc/meminfo: memFree=1660936/2055920 swapFree=4192812/4192956
[pid=31009] ppid=31007 vsize=868572 CPUtime=301.82
/proc/31009/stat : 31009 (java) S 31007 31009 29098 0 -1 0 30760 326 1 0 30163 18 1 0 18 0 9 0 28452870 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31009/statm: 217143 22628 2661 9 0 211579 0
[pid=31009/tid=31010] ppid=31007 vsize=868572 CPUtime=301.27
/proc/31009/task/31010/stat : 31010 (java) R 31007 31009 29098 0 -1 64 20537 326 1 0 30113 13 1 0 25 0 9 0 28452871 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4127157467 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31012] ppid=31007 vsize=868572 CPUtime=0.17
/proc/31009/task/31012/stat : 31012 (java) S 31007 31009 29098 0 -1 64 8339 326 0 0 14 2 1 0 16 0 9 0 28452873 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31013] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31013/stat : 31013 (java) S 31007 31009 29098 0 -1 64 16 326 0 0 0 0 1 0 16 0 9 0 28452873 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31014] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31014/stat : 31014 (java) S 31007 31009 29098 0 -1 64 11 326 0 0 0 0 1 0 16 0 9 0 28452873 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31015] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31015/stat : 31015 (java) S 31007 31009 29098 0 -1 64 2 326 0 0 0 0 1 0 18 0 9 0 28452875 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31016] ppid=31007 vsize=868572 CPUtime=0.35
/proc/31009/task/31016/stat : 31016 (java) S 31007 31009 29098 0 -1 64 1007 326 0 0 34 0 1 0 16 0 9 0 28452875 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31017] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31017/stat : 31017 (java) S 31007 31009 29098 0 -1 64 1 326 0 0 0 0 1 0 19 0 9 0 28452875 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31018] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31018/stat : 31018 (java) S 31007 31009 29098 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28452875 889417728 22628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 301.82
Current children cumulated vsize (KiB) 868572
[startup+304.901 s]
/proc/loadavg: 2.00 2.01 2.00 3/90 31022
/proc/meminfo: memFree=1660936/2055920 swapFree=4192812/4192956
[pid=31009] ppid=31007 vsize=868572 CPUtime=302.01
/proc/31009/stat : 31009 (java) S 31007 31009 29098 0 -1 0 30764 326 1 0 30182 18 1 0 18 0 9 0 28452870 889417728 22630 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31009/statm: 217143 22630 2661 9 0 211579 0
[pid=31009/tid=31010] ppid=31007 vsize=868572 CPUtime=301.46
/proc/31009/task/31010/stat : 31010 (java) R 31007 31009 29098 0 -1 64 20541 326 1 0 30132 13 1 0 25 0 9 0 28452871 889417728 22630 996147200 134512640 134550932 4294955968 18446744073709551615 4127208029 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31012] ppid=31007 vsize=868572 CPUtime=0.17
/proc/31009/task/31012/stat : 31012 (java) S 31007 31009 29098 0 -1 64 8339 326 0 0 14 2 1 0 16 0 9 0 28452873 889417728 22630 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31013] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31013/stat : 31013 (java) S 31007 31009 29098 0 -1 64 16 326 0 0 0 0 1 0 16 0 9 0 28452873 889417728 22630 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31014] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31014/stat : 31014 (java) S 31007 31009 29098 0 -1 64 11 326 0 0 0 0 1 0 16 0 9 0 28452873 889417728 22630 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31015] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31015/stat : 31015 (java) S 31007 31009 29098 0 -1 64 2 326 0 0 0 0 1 0 18 0 9 0 28452875 889417728 22630 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31016] ppid=31007 vsize=868572 CPUtime=0.35
/proc/31009/task/31016/stat : 31016 (java) S 31007 31009 29098 0 -1 64 1007 326 0 0 34 0 1 0 16 0 9 0 28452875 889417728 22630 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31017] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31017/stat : 31017 (java) S 31007 31009 29098 0 -1 64 1 326 0 0 0 0 1 0 19 0 9 0 28452875 889417728 22630 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31009/tid=31018] ppid=31007 vsize=868572 CPUtime=0.01
/proc/31009/task/31018/stat : 31018 (java) S 31007 31009 29098 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28452875 889417728 22630 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 302.01
Current children cumulated vsize (KiB) 868572
Child status: 0
Real time (s): 304.971
CPU time (s): 302.048
CPU user time (s): 301.84
CPU system time (s): 0.207968
CPU usage (%): 99.0416
Max. virtual memory (cumulated for all children) (KiB): 868572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 301.84
system time used= 0.207968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31120
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= 7807
involuntary context switches= 14121
runsolver used 0.399939 second user time and 0.998848 second system time
The end
Begin job on node56 at 2009-07-12 17:51:36
IDJOB=2097731
IDBENCH=57656
IDSOLVER=773
FILE ID=node56/2097731-1247413895
PBS_JOBID= 9510534
Free space on /tmp= 103048 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/os-gp/normalized-gp10-08-1093.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-2097731-1247413895/watcher-2097731-1247413895 -o /tmp/evaluation-result-2097731-1247413895/solver-2097731-1247413895 -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-2097731-1247413895.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= bf78e921ba91dea8e58cc955c04517cb
RANDOM SEED=863615013
node56.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.209
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.209
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: 1742704 kB
Buffers: 39112 kB
Cached: 128168 kB
SwapCached: 0 kB
Active: 178676 kB
Inactive: 77928 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1742704 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2236 kB
Writeback: 0 kB
Mapped: 108768 kB
Slab: 41656 kB
Committed_AS: 1002828 kB
PageTables: 2020 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= 103048 MiB
End job on node56 at 2009-07-12 17:56:41