0.04/0.09
0.04/0.09 Abscon 112 (May, 2008)
0.20/0.24
0.20/0.24 configuration
0.20/0.24 name=esac.xml
0.20/0.28
0.20/0.28 instance
0.20/0.28 name=HOME/instance-2094608-1247404770.xml
0.30/0.31
0.30/0.31 domains being loaded...
0.30/0.36
0.30/0.36 variables being loaded...
0.40/0.43 nbVariables=225 nbDomainTypes=225 minDomainSize=818 maxDomainSize=916 nbTotalValues=195434
0.40/0.43 => wckTime=0.181 cpuTime=0.14 mem=12M847
0.40/0.43
0.40/0.43 predicates being loaded...
0.40/0.49
0.40/0.49 constraints being loaded...
1.69/1.71 nbConstraints=3165 nbGlobalConstraints=3165 nbSharedBinaryRepresentations=0 minDegree=29 maxDegree=29
1.69/1.71 minArity=2 avgArity=2.06 maxArity=15 nbGenerators=0 nbFusions=0 symmetryWckTime=0.506 symmetryCpuTime=0.42
1.69/1.71 nbCliques=15
1.69/1.71 => wckTime=1.468 cpuTime=1.21 mem=46M81
1.79/1.85
1.79/1.85 solver IterativeSystematicSolver being built...
1.89/1.92
1.89/1.92 INFO : Forward propagation technique limited
1.99/2.01 => wckTime=1.762 cpuTime=1.34 mem=34M357
1.99/2.05
1.99/2.05 preprocessing
1.99/2.05 nbConstraintChecks=0 nbPropagations=225 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.99/2.05 detectedInconsistency=no
1.99/2.05 => wckTime=0.03 cpuTime=0.02 mem=36M277
8.53/8.68
8.53/8.68 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=51M478)
10.21/10.34
10.21/10.34 search
10.21/10.34 run=13 nbConstraintChecks=686963 minDepth=156 maxDepth=225 nbPropagations=344540 nbRevisions=0
10.21/10.34 nbUselessRevisions=0 nbAssignments=5878 nbFailedAssignments=4084 nbBacktracks=190 nbVisitedNodes=10152
10.21/10.34 nbRestartNogoods=631 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=13.61 nbIEliminables=0
10.21/10.34 nbDEliminables=0 nbPEliminables=0
10.21/10.34 => wckTime=8.324 cpuTime=8.02 mem=51M813
10.21/10.34
10.21/10.34 global
10.21/10.34 nbConstraintChecks=686963 nbPropagations=344765 nbRestartNogoods=631 solvingWckTime=8.326 solvingCpuTime=8.03
10.21/10.34 expiredTime=no totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=9.35 globalCpuTime=9.43
10.21/10.34 => wckTime=10.097 cpuTime=9.38 mem=51M813
10.21/10.35
10.21/10.35 s SATISFIABLE
10.21/10.35 v 415 468 150 98 302 827 712 619 347 0 63 220 743 531 565 319 52 415 668 0 62 248 91 736 511 643 841 190 229 551 121 430 353 0 516 177 63 265 645 590 797 150 721 911 856 585 160 407 228 473 98 772 861 543 673 52 731 350 265 0 158 859 0 604 652 390 759 516 121 489 728 334 91 255 241 0 541 177 264 687 146 530 347 491 832 84 392 434 766 60 642 264 695 764 154 660 558 0 115 110 617 337 491 59 431 371 0 308 579 423 787 573 687 523 233 617 221 295 84 116 274 468 667 50 808 126 630 319 547 390 167 766 859 241 407 836 390 815 630 126 305 782 558 295 460 0 238 705 151 752 85 0 815 448 634 604 229 497 48 752 643 547 423 190 328 146 248 674 531 473 156 62 343 143 388 590 856 0 874 759 184 458 135 431 559 353 0 249 156 522 673 859 617 78 834 40 0 836 585 737 392 334 305 665 489 460 804 235 60 143 416 403 565 586 668 110 551 491 736 255 430 156 350 63 0
10.21/10.35 d NODES 5878
10.21/10.35 d CHECKS 686963
10.21/10.35
10.21/10.35 totalWckTime=10.165 totalCpuTime=9.43
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2094608-1247404770/watcher-2094608-1247404770 -o /tmp/evaluation-result-2094608-1247404770/solver-2094608-1247404770 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2094608-1247404770.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.02 2.00 1.91 3/81 29686
/proc/meminfo: memFree=1710344/2055920 swapFree=4192812/4192956
[pid=29686] ppid=29684 vsize=862776 CPUtime=0.04
/proc/29686/stat : 29686 (java) S 29684 29686 29077 0 -1 0 2419 0 1 0 3 1 0 0 18 0 7 0 27540332 883482624 1992 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29686/statm: 215694 1992 910 9 0 210609 0
[pid=29686/tid=29687] ppid=29684 vsize=862776 CPUtime=0.02
/proc/29686/task/29687/stat : 29687 (java) R 29684 29686 29077 0 -1 64 1707 0 1 0 2 0 0 0 18 0 7 0 27540333 883482624 1992 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29688] ppid=29684 vsize=862776 CPUtime=0
/proc/29686/task/29688/stat : 29688 (java) S 29684 29686 29077 0 -1 64 2 0 0 0 0 0 0 0 19 0 7 0 27540334 883482624 1992 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29689] ppid=29684 vsize=862776 CPUtime=0
/proc/29686/task/29689/stat : 29689 (java) S 29684 29686 29077 0 -1 64 11 0 0 0 0 0 0 0 19 0 7 0 27540335 883482624 1992 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29690] ppid=29684 vsize=862776 CPUtime=0
/proc/29686/task/29690/stat : 29690 (java) S 29684 29686 29077 0 -1 64 4 0 0 0 0 0 0 0 20 0 7 0 27540335 883482624 1992 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29691] ppid=29684 vsize=862776 CPUtime=0
/proc/29686/task/29691/stat : 29691 (java) S 29684 29686 29077 0 -1 64 2 0 0 0 0 0 0 0 18 0 7 0 27540337 883482624 1992 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29692] ppid=29684 vsize=862776 CPUtime=0
/proc/29686/task/29692/stat : 29692 (java) S 29684 29686 29077 0 -1 64 15 0 0 0 0 0 0 0 19 0 7 0 27540337 883482624 1992 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[startup+0.058358 s]
/proc/loadavg: 2.02 2.00 1.91 3/81 29686
/proc/meminfo: memFree=1710344/2055920 swapFree=4192812/4192956
[pid=29686] ppid=29684 vsize=864024 CPUtime=0.04
/proc/29686/stat : 29686 (java) S 29684 29686 29077 0 -1 0 2727 0 1 0 3 1 0 0 18 0 9 0 27540332 884760576 2278 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29686/statm: 216006 2278 1080 9 0 210899 0
[pid=29686/tid=29687] ppid=29684 vsize=864024 CPUtime=0.03
/proc/29686/task/29687/stat : 29687 (java) R 29684 29686 29077 0 -1 64 1821 0 1 0 3 0 0 0 20 0 9 0 27540333 884760576 2278 996147200 134512640 134550932 4294955968 18446744073709551615 103778338 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29688] ppid=29684 vsize=864024 CPUtime=0
/proc/29686/task/29688/stat : 29688 (java) S 29684 29686 29077 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 27540334 884760576 2278 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29689] ppid=29684 vsize=864024 CPUtime=0
/proc/29686/task/29689/stat : 29689 (java) S 29684 29686 29077 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 27540335 884760576 2278 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29690] ppid=29684 vsize=864024 CPUtime=0
/proc/29686/task/29690/stat : 29690 (java) S 29684 29686 29077 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 27540335 884760576 2278 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29691] ppid=29684 vsize=864024 CPUtime=0
/proc/29686/task/29691/stat : 29691 (java) S 29684 29686 29077 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27540337 884760576 2278 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29692] ppid=29684 vsize=864024 CPUtime=0
/proc/29686/task/29692/stat : 29692 (java) S 29684 29686 29077 0 -1 64 209 0 0 0 0 0 0 0 19 0 9 0 27540337 884760576 2278 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864024
[startup+0.157431 s]
/proc/loadavg: 2.02 2.00 1.91 3/81 29686
/proc/meminfo: memFree=1710344/2055920 swapFree=4192812/4192956
[pid=29686] ppid=29684 vsize=866012 CPUtime=0.15
/proc/29686/stat : 29686 (java) S 29684 29686 29077 0 -1 0 4283 0 1 0 13 2 0 0 18 0 9 0 27540332 886796288 3709 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29686/statm: 216503 3709 1845 9 0 210981 0
[pid=29686/tid=29687] ppid=29684 vsize=866012 CPUtime=0.13
/proc/29686/task/29687/stat : 29687 (java) D 29684 29686 29077 0 -1 64 3371 0 1 0 12 1 0 0 18 0 9 0 27540333 886796288 3709 996147200 134512640 134550932 4294955968 18446744073709551615 104263691 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=866012 CPUtime=0
/proc/29686/task/29688/stat : 29688 (java) S 29684 29686 29077 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 27540334 886796288 3709 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29689] ppid=29684 vsize=866012 CPUtime=0
/proc/29686/task/29689/stat : 29689 (java) S 29684 29686 29077 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 27540335 886796288 3709 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29690] ppid=29684 vsize=866012 CPUtime=0
/proc/29686/task/29690/stat : 29690 (java) S 29684 29686 29077 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 27540335 886796288 3709 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29691] ppid=29684 vsize=866012 CPUtime=0
/proc/29686/task/29691/stat : 29691 (java) S 29684 29686 29077 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27540337 886796288 3709 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29692] ppid=29684 vsize=866012 CPUtime=0
/proc/29686/task/29692/stat : 29692 (java) R 29684 29686 29077 0 -1 64 215 0 0 0 0 0 0 0 19 0 9 0 27540337 886796288 3709 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 866012
[startup+0.301347 s]
/proc/loadavg: 2.02 2.00 1.91 3/81 29686
/proc/meminfo: memFree=1710344/2055920 swapFree=4192812/4192956
[pid=29686] ppid=29684 vsize=867248 CPUtime=0.3
/proc/29686/stat : 29686 (java) S 29684 29686 29077 0 -1 0 5975 0 1 0 27 3 0 0 18 0 9 0 27540332 888061952 5341 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29686/statm: 216812 5343 1984 9 0 211270 0
[pid=29686/tid=29687] ppid=29684 vsize=867248 CPUtime=0.24
/proc/29686/task/29687/stat : 29687 (java) R 29684 29686 29077 0 -1 64 4985 0 1 0 22 2 0 0 17 0 9 0 27540333 888061952 5343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=867248 CPUtime=0
/proc/29686/task/29688/stat : 29688 (java) S 29684 29686 29077 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 27540334 888061952 5343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29689] ppid=29684 vsize=867248 CPUtime=0
/proc/29686/task/29689/stat : 29689 (java) S 29684 29686 29077 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 27540335 888061952 5343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29690] ppid=29684 vsize=867248 CPUtime=0
/proc/29686/task/29690/stat : 29690 (java) S 29684 29686 29077 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 27540335 888061952 5344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29691] ppid=29684 vsize=867248 CPUtime=0
/proc/29686/task/29691/stat : 29691 (java) S 29684 29686 29077 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27540337 888061952 5344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29692] ppid=29684 vsize=867248 CPUtime=0.03
/proc/29686/task/29692/stat : 29692 (java) S 29684 29686 29077 0 -1 64 295 0 0 0 3 0 0 0 16 0 9 0 27540337 888061952 5344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 867248
[startup+0.701389 s]
/proc/loadavg: 2.02 2.00 1.91 3/81 29686
/proc/meminfo: memFree=1710344/2055920 swapFree=4192812/4192956
[pid=29686] ppid=29684 vsize=868476 CPUtime=0.69
/proc/29686/stat : 29686 (java) S 29684 29686 29077 0 -1 0 10213 0 1 0 64 5 0 0 18 0 9 0 27540332 889319424 9567 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29686/statm: 217119 9567 2036 9 0 211555 0
[pid=29686/tid=29687] ppid=29684 vsize=868476 CPUtime=0.53
/proc/29686/task/29687/stat : 29687 (java) R 29684 29686 29077 0 -1 64 8827 0 1 0 49 4 0 0 19 0 9 0 27540333 889319424 9567 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=868476 CPUtime=0
/proc/29686/task/29688/stat : 29688 (java) S 29684 29686 29077 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 27540334 889319424 9567 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29689] ppid=29684 vsize=868476 CPUtime=0
/proc/29686/task/29689/stat : 29689 (java) S 29684 29686 29077 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 27540335 889319424 9567 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29690] ppid=29684 vsize=868476 CPUtime=0
/proc/29686/task/29690/stat : 29690 (java) S 29684 29686 29077 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 27540335 889319424 9567 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29691] ppid=29684 vsize=868476 CPUtime=0
/proc/29686/task/29691/stat : 29691 (java) S 29684 29686 29077 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27540337 889319424 9567 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29692] ppid=29684 vsize=868476 CPUtime=0.15
/proc/29686/task/29692/stat : 29692 (java) R 29684 29686 29077 0 -1 64 689 0 0 0 15 0 0 0 16 0 9 0 27540337 889319424 9567 996147200 134512640 134550932 4294955968 18446744073709551615 101712193 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 868476
[startup+1.50146 s]
/proc/loadavg: 2.02 2.00 1.91 3/90 29695
/proc/meminfo: memFree=1668728/2055920 swapFree=4192812/4192956
[pid=29686] ppid=29684 vsize=868800 CPUtime=1.49
/proc/29686/stat : 29686 (java) S 29684 29686 29077 0 -1 0 17626 319 1 0 123 23 3 0 18 0 10 0 27540332 889651200 15294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29686/statm: 217200 15294 2052 9 0 211636 0
[pid=29686/tid=29687] ppid=29684 vsize=868800 CPUtime=1.23
/proc/29686/task/29687/stat : 29687 (java) R 29684 29686 29077 0 -1 64 15931 319 1 0 100 20 3 0 17 0 10 0 27540333 889651200 15294 996147200 134512640 134550932 4294955968 18446744073709551615 4127076758 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29688] ppid=29684 vsize=868800 CPUtime=0.03
/proc/29686/task/29688/stat : 29688 (java) S 29684 29686 29077 0 -1 64 3 319 0 0 0 0 3 0 16 0 10 0 27540334 889651200 15294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29689] ppid=29684 vsize=868800 CPUtime=0.03
/proc/29686/task/29689/stat : 29689 (java) S 29684 29686 29077 0 -1 64 11 319 0 0 0 0 3 0 19 0 10 0 27540335 889651200 15294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29690] ppid=29684 vsize=868800 CPUtime=0.03
/proc/29686/task/29690/stat : 29690 (java) S 29684 29686 29077 0 -1 64 4 319 0 0 0 0 3 0 20 0 10 0 27540335 889651200 15294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29691] ppid=29684 vsize=868800 CPUtime=0.03
/proc/29686/task/29691/stat : 29691 (java) S 29684 29686 29077 0 -1 64 2 319 0 0 0 0 3 0 18 0 10 0 27540337 889651200 15294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29692] ppid=29684 vsize=868800 CPUtime=0.25
/proc/29686/task/29692/stat : 29692 (java) S 29684 29686 29077 0 -1 64 868 319 0 0 22 0 3 0 15 0 10 0 27540337 889651200 15294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29694] ppid=29684 vsize=868800 CPUtime=0.03
/proc/29686/task/29694/stat : 29694 (java) S 29684 29686 29077 0 -1 64 0 319 0 0 0 0 3 0 19 0 10 0 27540337 889651200 15294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29695] ppid=29684 vsize=868800 CPUtime=0.03
/proc/29686/task/29695/stat : 29695 (java) S 29684 29686 29077 0 -1 64 6 319 0 0 0 0 3 0 15 0 10 0 27540337 889651200 15294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 868800
[startup+3.10262 s]
/proc/loadavg: 2.02 2.00 1.91 3/90 29699
/proc/meminfo: memFree=1646136/2055920 swapFree=4192812/4192956
[pid=29686] ppid=29684 vsize=868800 CPUtime=3.08
/proc/29686/stat : 29686 (java) S 29684 29686 29077 0 -1 0 32978 444 1 0 276 28 3 1 18 0 9 0 27540332 889651200 20171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29686/statm: 217200 20171 2662 9 0 211636 0
[pid=29686/tid=29687] ppid=29684 vsize=868800 CPUtime=2.6
/proc/29686/task/29687/stat : 29687 (java) R 29684 29686 29077 0 -1 64 22469 444 1 0 233 23 3 1 25 0 9 0 27540333 889651200 20171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29688] ppid=29684 vsize=868800 CPUtime=0.16
/proc/29686/task/29688/stat : 29688 (java) R 29684 29686 29077 0 -1 64 8685 444 0 0 11 1 3 1 16 0 9 0 27540334 889651200 20171 996147200 134512640 134550932 4294955968 18446744073709551615 102546970 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29689] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29689/stat : 29689 (java) S 29684 29686 29077 0 -1 64 19 444 0 0 0 0 3 1 17 0 9 0 27540335 889651200 20171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29690] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29690/stat : 29690 (java) S 29684 29686 29077 0 -1 64 13 444 0 0 0 0 3 1 16 0 9 0 27540335 889651200 20171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29691] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29691/stat : 29691 (java) S 29684 29686 29077 0 -1 64 2 444 0 0 0 0 3 1 18 0 9 0 27540337 889651200 20171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29692] ppid=29684 vsize=868800 CPUtime=0.35
/proc/29686/task/29692/stat : 29692 (java) S 29684 29686 29077 0 -1 64 975 444 0 0 30 1 3 1 15 0 9 0 27540337 889651200 20171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29694] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29694/stat : 29694 (java) S 29684 29686 29077 0 -1 64 0 444 0 0 0 0 3 1 19 0 9 0 27540337 889651200 20171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29695] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29695/stat : 29695 (java) S 29684 29686 29077 0 -1 64 6 444 0 0 0 0 3 1 15 0 9 0 27540337 889651200 20171 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 868800
[startup+6.30293 s]
/proc/loadavg: 2.02 2.00 1.91 3/90 29699
/proc/meminfo: memFree=1620152/2055920 swapFree=4192812/4192956
[pid=29686] ppid=29684 vsize=868800 CPUtime=6.25
/proc/29686/stat : 29686 (java) S 29684 29686 29077 0 -1 0 38429 444 1 0 591 30 3 1 18 0 9 0 27540332 889651200 25439 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29686/statm: 217200 25439 2662 9 0 211636 0
[pid=29686/tid=29687] ppid=29684 vsize=868800 CPUtime=5.67
/proc/29686/task/29687/stat : 29687 (java) R 29684 29686 29077 0 -1 64 22598 444 1 0 539 24 3 1 25 0 9 0 27540333 889651200 25439 996147200 134512640 134550932 4294955968 18446744073709551615 4127196188 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29688] ppid=29684 vsize=868800 CPUtime=0.23
/proc/29686/task/29688/stat : 29688 (java) S 29684 29686 29077 0 -1 64 13939 444 0 0 16 3 3 1 16 0 9 0 27540334 889651200 25439 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29689] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29689/stat : 29689 (java) S 29684 29686 29077 0 -1 64 19 444 0 0 0 0 3 1 16 0 9 0 27540335 889651200 25439 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29690] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29690/stat : 29690 (java) S 29684 29686 29077 0 -1 64 13 444 0 0 0 0 3 1 16 0 9 0 27540335 889651200 25439 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29691] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29691/stat : 29691 (java) S 29684 29686 29077 0 -1 64 2 444 0 0 0 0 3 1 18 0 9 0 27540337 889651200 25439 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29692] ppid=29684 vsize=868800 CPUtime=0.38
/proc/29686/task/29692/stat : 29692 (java) S 29684 29686 29077 0 -1 64 1014 444 0 0 33 1 3 1 15 0 9 0 27540337 889651200 25439 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29694] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29694/stat : 29694 (java) S 29684 29686 29077 0 -1 64 0 444 0 0 0 0 3 1 19 0 9 0 27540337 889651200 25439 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29695] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29695/stat : 29695 (java) S 29684 29686 29077 0 -1 64 35 444 0 0 0 0 3 1 15 0 9 0 27540337 889651200 25439 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 868800
Solver just ended. Dumping a history of the last processes samples
[startup+7.90109 s]
/proc/loadavg: 2.02 2.00 1.91 3/90 29699
/proc/meminfo: memFree=1615864/2055920 swapFree=4192812/4192956
[pid=29686] ppid=29684 vsize=868800 CPUtime=7.83
/proc/29686/stat : 29686 (java) S 29684 29686 29077 0 -1 0 39938 444 1 0 748 31 3 1 18 0 9 0 27540332 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29686/statm: 217200 26943 2662 9 0 211636 0
[pid=29686/tid=29687] ppid=29684 vsize=868800 CPUtime=7.21
/proc/29686/task/29687/stat : 29687 (java) R 29684 29686 29077 0 -1 64 22602 444 1 0 693 24 3 1 25 0 9 0 27540333 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4127074791 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29688] ppid=29684 vsize=868800 CPUtime=0.27
/proc/29686/task/29688/stat : 29688 (java) S 29684 29686 29077 0 -1 64 15439 444 0 0 19 4 3 1 16 0 9 0 27540334 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29689] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29689/stat : 29689 (java) S 29684 29686 29077 0 -1 64 19 444 0 0 0 0 3 1 16 0 9 0 27540335 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29690] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29690/stat : 29690 (java) S 29684 29686 29077 0 -1 64 13 444 0 0 0 0 3 1 16 0 9 0 27540335 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29691] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29691/stat : 29691 (java) S 29684 29686 29077 0 -1 64 2 444 0 0 0 0 3 1 18 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29692] ppid=29684 vsize=868800 CPUtime=0.39
/proc/29686/task/29692/stat : 29692 (java) S 29684 29686 29077 0 -1 64 1019 444 0 0 34 1 3 1 15 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29694] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29694/stat : 29694 (java) S 29684 29686 29077 0 -1 64 0 444 0 0 0 0 3 1 19 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29695] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29695/stat : 29695 (java) S 29684 29686 29077 0 -1 64 35 444 0 0 0 0 3 1 15 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.83
Current children cumulated vsize (KiB) 868800
[startup+9.50124 s]
/proc/loadavg: 2.02 2.00 1.91 3/90 29699
/proc/meminfo: memFree=1612408/2055920 swapFree=4192812/4192956
[pid=29686] ppid=29684 vsize=868800 CPUtime=9.42
/proc/29686/stat : 29686 (java) S 29684 29686 29077 0 -1 0 39940 444 1 0 907 31 3 1 18 0 9 0 27540332 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29686/statm: 217200 26943 2662 9 0 211636 0
[pid=29686/tid=29687] ppid=29684 vsize=868800 CPUtime=8.78
/proc/29686/task/29687/stat : 29687 (java) R 29684 29686 29077 0 -1 64 22604 444 1 0 850 24 3 1 25 0 9 0 27540333 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4127255755 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29688] ppid=29684 vsize=868800 CPUtime=0.28
/proc/29686/task/29688/stat : 29688 (java) S 29684 29686 29077 0 -1 64 15439 444 0 0 20 4 3 1 16 0 9 0 27540334 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29689] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29689/stat : 29689 (java) S 29684 29686 29077 0 -1 64 19 444 0 0 0 0 3 1 16 0 9 0 27540335 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29690] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29690/stat : 29690 (java) S 29684 29686 29077 0 -1 64 13 444 0 0 0 0 3 1 16 0 9 0 27540335 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29691] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29691/stat : 29691 (java) S 29684 29686 29077 0 -1 64 2 444 0 0 0 0 3 1 18 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29692] ppid=29684 vsize=868800 CPUtime=0.39
/proc/29686/task/29692/stat : 29692 (java) S 29684 29686 29077 0 -1 64 1019 444 0 0 34 1 3 1 16 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29694] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29694/stat : 29694 (java) S 29684 29686 29077 0 -1 64 0 444 0 0 0 0 3 1 19 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29695] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29695/stat : 29695 (java) S 29684 29686 29077 0 -1 64 35 444 0 0 0 0 3 1 15 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.42
Current children cumulated vsize (KiB) 868800
[startup+9.90728 s]
/proc/loadavg: 2.02 2.00 1.91 3/90 29699
/proc/meminfo: memFree=1612408/2055920 swapFree=4192812/4192956
[pid=29686] ppid=29684 vsize=868800 CPUtime=9.82
/proc/29686/stat : 29686 (java) S 29684 29686 29077 0 -1 0 39940 444 1 0 947 31 3 1 18 0 9 0 27540332 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29686/statm: 217200 26943 2662 9 0 211636 0
[pid=29686/tid=29687] ppid=29684 vsize=868800 CPUtime=9.18
/proc/29686/task/29687/stat : 29687 (java) R 29684 29686 29077 0 -1 64 22604 444 1 0 890 24 3 1 25 0 9 0 27540333 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4127185116 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29688] ppid=29684 vsize=868800 CPUtime=0.28
/proc/29686/task/29688/stat : 29688 (java) S 29684 29686 29077 0 -1 64 15439 444 0 0 20 4 3 1 16 0 9 0 27540334 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29689] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29689/stat : 29689 (java) S 29684 29686 29077 0 -1 64 19 444 0 0 0 0 3 1 16 0 9 0 27540335 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29690] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29690/stat : 29690 (java) S 29684 29686 29077 0 -1 64 13 444 0 0 0 0 3 1 16 0 9 0 27540335 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29691] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29691/stat : 29691 (java) S 29684 29686 29077 0 -1 64 2 444 0 0 0 0 3 1 18 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29692] ppid=29684 vsize=868800 CPUtime=0.39
/proc/29686/task/29692/stat : 29692 (java) S 29684 29686 29077 0 -1 64 1019 444 0 0 34 1 3 1 16 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29694] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29694/stat : 29694 (java) S 29684 29686 29077 0 -1 64 0 444 0 0 0 0 3 1 19 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29695] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29695/stat : 29695 (java) S 29684 29686 29077 0 -1 64 35 444 0 0 0 0 3 1 15 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.82
Current children cumulated vsize (KiB) 868800
[startup+10.3013 s]
/proc/loadavg: 2.02 2.00 1.91 3/90 29699
/proc/meminfo: memFree=1612408/2055920 swapFree=4192812/4192956
[pid=29686] ppid=29684 vsize=868800 CPUtime=10.21
/proc/29686/stat : 29686 (java) S 29684 29686 29077 0 -1 0 39941 444 1 0 986 31 3 1 18 0 9 0 27540332 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29686/statm: 217200 26943 2662 9 0 211636 0
[pid=29686/tid=29687] ppid=29684 vsize=868800 CPUtime=9.57
/proc/29686/task/29687/stat : 29687 (java) R 29684 29686 29077 0 -1 64 22605 444 1 0 929 24 3 1 25 0 9 0 27540333 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4127255879 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29688] ppid=29684 vsize=868800 CPUtime=0.29
/proc/29686/task/29688/stat : 29688 (java) S 29684 29686 29077 0 -1 64 15439 444 0 0 21 4 3 1 16 0 9 0 27540334 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29689] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29689/stat : 29689 (java) S 29684 29686 29077 0 -1 64 19 444 0 0 0 0 3 1 16 0 9 0 27540335 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29690] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29690/stat : 29690 (java) S 29684 29686 29077 0 -1 64 13 444 0 0 0 0 3 1 16 0 9 0 27540335 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29691] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29691/stat : 29691 (java) S 29684 29686 29077 0 -1 64 2 444 0 0 0 0 3 1 18 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29692] ppid=29684 vsize=868800 CPUtime=0.39
/proc/29686/task/29692/stat : 29692 (java) S 29684 29686 29077 0 -1 64 1019 444 0 0 34 1 3 1 16 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29694] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29694/stat : 29694 (java) S 29684 29686 29077 0 -1 64 0 444 0 0 0 0 3 1 19 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29686/tid=29695] ppid=29684 vsize=868800 CPUtime=0.04
/proc/29686/task/29695/stat : 29695 (java) S 29684 29686 29077 0 -1 64 35 444 0 0 0 0 3 1 15 0 9 0 27540337 889651200 26943 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.21
Current children cumulated vsize (KiB) 868800
Child status: 0
Real time (s): 10.3933
CPU time (s): 10.2884
CPU user time (s): 9.94349
CPU system time (s): 0.344947
CPU usage (%): 98.9911
Max. virtual memory (cumulated for all children) (KiB): 868800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.94349
system time used= 0.344947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40421
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= 1992
involuntary context switches= 2370
runsolver used 0.010998 second user time and 0.051992 second system time
The end
Begin job on node56 at 2009-07-12 15:19:30
IDJOB=2094608
IDBENCH=54414
IDSOLVER=774
FILE ID=node56/2094608-1247404770
PBS_JOBID= 9510533
Free space on /tmp= 103044 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/os-taillard-15/normalized-os-taillard-15-100-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2094608-1247404770/watcher-2094608-1247404770 -o /tmp/evaluation-result-2094608-1247404770/solver-2094608-1247404770 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2094608-1247404770.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ab54a3befb7bc28d039702d9f31a2fb5
RANDOM SEED=638089917
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: 1710824 kB
Buffers: 32772 kB
Cached: 122948 kB
SwapCached: 0 kB
Active: 224856 kB
Inactive: 64060 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1710824 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2672 kB
Writeback: 0 kB
Mapped: 152564 kB
Slab: 41140 kB
Committed_AS: 999904 kB
PageTables: 2104 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= 103040 MiB
End job on node56 at 2009-07-12 15:19:41