0.00/0.10
0.00/0.10 Abscon 112 (May, 2008)
0.19/0.25
0.19/0.25 configuration
0.19/0.25 name=esac.xml
0.27/0.33
0.27/0.33 instance
0.27/0.33 name=HOME/instance-2096284-1247410018.xml
0.27/0.36
0.27/0.36 domains being loaded...
0.27/0.37
0.27/0.37 variables being loaded...
0.27/0.39 nbVariables=20 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5 nbTotalValues=100
0.27/0.39 => wckTime=0.142 cpuTime=0.11 mem=7M892
0.27/0.40
0.27/0.40 relations being loaded...
3.25/3.32
3.25/3.32 INFO : Contraction of relations, mem = 107M617
5.02/5.15
5.02/5.15 constraints being loaded...
7.80/7.96 nbConstraints=18 nbRelationTypes=18 nbGlobalConstraints=18 nbExtensionStructures=18
7.80/7.96 nbSharedExtensionStructures=0 nbConflictsStructures=18 nbSharedConflictsStructures=0
7.80/7.96 nbSharedBinaryRepresentations=0 minDegree=4 maxDegree=11 minArity=8 maxArity=8 nbGenerators=0 nbFusions=0
7.80/7.96 symmetryWckTime=0.077 symmetryCpuTime=0.03
7.80/7.96 => wckTime=7.71 cpuTime=6.3 mem=185M402
8.69/8.90
8.69/8.90 solver IterativeSystematicSolver being built...
8.78/8.97
8.78/8.97 INFO : Forward propagation technique limited
8.88/9.05 => wckTime=8.794 cpuTime=6.4 mem=179M871
9.28/9.43
9.28/9.43 preprocessing
9.28/9.43 nbConstraintChecks=0 nbValidityChecks=4918038 nbPropagations=62 nbRevisions=0 nbUselessRevisions=0
9.28/9.43 nbSingletonTests=23 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
9.28/9.43 detectedInconsistency=no
9.28/9.43 => wckTime=0.382 cpuTime=0.37 mem=179M871
10.56/10.76
10.56/10.76 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=181M685)
1058.07/1064.41
1058.07/1064.41 search
1058.07/1064.41 run=23 nbConstraintChecks=2459382 nbValidityChecks=8152797141 minDepth=1 maxDepth=20 nbPropagations=11495871
1058.07/1064.41 nbRevisions=0 nbUselessRevisions=0 nbAssignments=525599 nbFailedAssignments=264334 nbBacktracks=261042
1058.07/1064.41 nbVisitedNodes=960010 nbRestartNogoods=215 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=9.06
1058.07/1064.41 nbIEliminables=2.5 nbDEliminables=0 nbPEliminables=0
1058.07/1064.41 => wckTime=1055.359 cpuTime=1049.05 mem=193M922
1058.07/1064.41
1058.07/1064.41 global
1058.07/1064.41 nbConstraintChecks=2459382 nbValidityChecks=8157715179 nbPropagations=11495933 nbRestartNogoods=215
1058.07/1064.41 solvingWckTime=1055.363 solvingCpuTime=1049.05 expiredTime=no totalExploration=no nbFoundSolutions=1
1058.07/1064.41 firstSolutionCpuTime=1055.46 globalCpuTime=1055.51
1058.07/1064.41 => wckTime=1064.159 cpuTime=1055.46 mem=193M922
1058.07/1064.41
1058.07/1064.41 s SATISFIABLE
1058.07/1064.41 v 2 3 2 0 4 4 3 2 4 3 0 4 0 3 0 1 4 2 3 4
1058.07/1064.41 d NODES 525599
1058.07/1064.41 d CHECKS 2459382
1058.07/1064.41
1058.07/1064.41 totalWckTime=1064.22 totalCpuTime=1055.51
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2096284-1247410018/watcher-2096284-1247410018 -o /tmp/evaluation-result-2096284-1247410018/solver-2096284-1247410018 -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-2096284-1247410018.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 3410
/proc/meminfo: memFree=1722352/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=18576 CPUtime=0
/proc/3410/stat : 3410 (runsolver) R 3408 3410 2490 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 28065537 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 240577473831 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3410/statm: 4644 284 249 26 0 2626 0
[startup+0.106607 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 3410
/proc/meminfo: memFree=1722352/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=865984 CPUtime=0.09
/proc/3410/stat : 3410 (java) S 3408 3410 2490 0 -1 0 3728 0 1 0 7 2 0 0 18 0 9 0 28065537 886767616 3196 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3410/statm: 216496 3196 1694 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.201619 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 3410
/proc/meminfo: memFree=1722352/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=866144 CPUtime=0.19
/proc/3410/stat : 3410 (java) S 3408 3410 2490 0 -1 0 4664 0 1 0 16 3 0 0 18 0 9 0 28065537 886931456 4081 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3410/statm: 216536 4081 1879 9 0 211014 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 866144
[startup+0.301627 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 3410
/proc/meminfo: memFree=1722352/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=866144 CPUtime=0.27
/proc/3410/stat : 3410 (java) S 3408 3410 2490 0 -1 0 5655 0 1 0 24 3 0 0 18 0 9 0 28065537 886931456 5058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3410/statm: 216536 5058 1927 9 0 211014 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866144
[startup+0.701664 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 3410
/proc/meminfo: memFree=1722352/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=866500 CPUtime=0.67
/proc/3410/stat : 3410 (java) S 3408 3410 2490 0 -1 0 15827 0 1 0 60 7 0 0 18 0 9 0 28065537 887296000 15189 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3410/statm: 216625 15189 1999 9 0 211083 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 866500
[startup+1.50274 s]
/proc/loadavg: 1.92 1.98 1.99 4/89 3419
/proc/meminfo: memFree=1649896/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=866632 CPUtime=1.45
/proc/3410/stat : 3410 (java) S 3408 3410 2490 0 -1 0 23936 0 1 0 134 11 0 0 18 0 9 0 28065537 887431168 23296 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3410/statm: 216658 23296 2010 9 0 211116 0
[pid=3410/tid=3412] ppid=3408 vsize=866632 CPUtime=1.28
/proc/3410/task/3412/stat : 3412 (java) R 3408 3410 2490 0 -1 64 15706 0 1 0 120 8 0 0 25 0 9 0 28065538 887431168 23296 996147200 134512640 134550932 4294955968 18446744073709551615 4126600304 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3413] ppid=3408 vsize=866632 CPUtime=0.08
/proc/3410/task/3413/stat : 3413 (java) S 3408 3410 2490 0 -1 64 7204 0 0 0 6 2 0 0 16 0 9 0 28065540 887431168 23296 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3414] ppid=3408 vsize=866632 CPUtime=0
/proc/3410/task/3414/stat : 3414 (java) S 3408 3410 2490 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 28065540 887431168 23296 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3415] ppid=3408 vsize=866632 CPUtime=0
/proc/3410/task/3415/stat : 3415 (java) S 3408 3410 2490 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 28065540 887431168 23296 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3416] ppid=3408 vsize=866632 CPUtime=0
/proc/3410/task/3416/stat : 3416 (java) S 3408 3410 2490 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28065542 887431168 23296 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3417] ppid=3408 vsize=866632 CPUtime=0.07
/proc/3410/task/3417/stat : 3417 (java) S 3408 3410 2490 0 -1 64 331 0 0 0 7 0 0 0 16 0 9 0 28065542 887431168 23296 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3418] ppid=3408 vsize=866632 CPUtime=0
/proc/3410/task/3418/stat : 3418 (java) S 3408 3410 2490 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28065542 887431168 23296 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3419] ppid=3408 vsize=866632 CPUtime=0
/proc/3410/task/3419/stat : 3419 (java) S 3408 3410 2490 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28065542 887431168 23296 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 866632
[startup+3.10287 s]
/proc/loadavg: 2.01 2.00 2.00 3/89 3419
/proc/meminfo: memFree=1617896/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=866632 CPUtime=3.05
/proc/3410/stat : 3410 (java) S 3408 3410 2490 0 -1 0 32876 0 1 0 290 15 0 0 18 0 9 0 28065537 887431168 32232 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3410/statm: 216658 32232 2010 9 0 211116 0
[pid=3410/tid=3412] ppid=3408 vsize=866632 CPUtime=2.69
/proc/3410/task/3412/stat : 3412 (java) R 3408 3410 2490 0 -1 64 15710 0 1 0 260 9 0 0 25 0 9 0 28065538 887431168 32232 996147200 134512640 134550932 4294955968 18446744073709551615 4126580791 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3413] ppid=3408 vsize=866632 CPUtime=0.26
/proc/3410/task/3413/stat : 3413 (java) S 3408 3410 2490 0 -1 64 16135 0 0 0 21 5 0 0 16 0 9 0 28065540 887431168 32232 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3414] ppid=3408 vsize=866632 CPUtime=0
/proc/3410/task/3414/stat : 3414 (java) S 3408 3410 2490 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 28065540 887431168 32232 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3415] ppid=3408 vsize=866632 CPUtime=0
/proc/3410/task/3415/stat : 3415 (java) S 3408 3410 2490 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 28065540 887431168 32232 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3416] ppid=3408 vsize=866632 CPUtime=0
/proc/3410/task/3416/stat : 3416 (java) S 3408 3410 2490 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28065542 887431168 32232 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3417] ppid=3408 vsize=866632 CPUtime=0.07
/proc/3410/task/3417/stat : 3417 (java) S 3408 3410 2490 0 -1 64 336 0 0 0 7 0 0 0 16 0 9 0 28065542 887431168 32232 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3418] ppid=3408 vsize=866632 CPUtime=0
/proc/3410/task/3418/stat : 3418 (java) S 3408 3410 2490 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28065542 887431168 32232 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3419] ppid=3408 vsize=866632 CPUtime=0
/proc/3410/task/3419/stat : 3419 (java) S 3408 3410 2490 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28065542 887431168 32232 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) 866632
[startup+6.30116 s]
/proc/loadavg: 2.01 2.00 2.00 3/89 3419
/proc/meminfo: memFree=1571816/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=867160 CPUtime=6.22
/proc/3410/stat : 3410 (java) S 3408 3410 2490 0 -1 0 45866 0 1 0 601 21 0 0 18 0 9 0 28065537 887971840 43055 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3410/statm: 216790 43055 2633 9 0 211248 0
[pid=3410/tid=3412] ppid=3408 vsize=867160 CPUtime=5.14
/proc/3410/task/3412/stat : 3412 (java) R 3408 3410 2490 0 -1 64 15760 0 1 0 505 9 0 0 25 0 9 0 28065538 887971840 43055 996147200 134512640 134550932 4294955968 18446744073709551615 4126733179 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3413] ppid=3408 vsize=867160 CPUtime=0.93
/proc/3410/task/3413/stat : 3413 (java) S 3408 3410 2490 0 -1 64 28921 0 0 0 83 10 0 0 16 0 9 0 28065540 887971840 43055 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3414] ppid=3408 vsize=867160 CPUtime=0
/proc/3410/task/3414/stat : 3414 (java) S 3408 3410 2490 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 28065540 887971840 43055 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3415] ppid=3408 vsize=867160 CPUtime=0
/proc/3410/task/3415/stat : 3415 (java) S 3408 3410 2490 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28065540 887971840 43055 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3416] ppid=3408 vsize=867160 CPUtime=0
/proc/3410/task/3416/stat : 3416 (java) S 3408 3410 2490 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28065542 887971840 43055 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3417] ppid=3408 vsize=867160 CPUtime=0.12
/proc/3410/task/3417/stat : 3417 (java) S 3408 3410 2490 0 -1 64 484 0 0 0 12 0 0 0 16 0 9 0 28065542 887971840 43055 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3418] ppid=3408 vsize=867160 CPUtime=0
/proc/3410/task/3418/stat : 3418 (java) S 3408 3410 2490 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28065542 887971840 43055 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3419] ppid=3408 vsize=867160 CPUtime=0
/proc/3410/task/3419/stat : 3419 (java) S 3408 3410 2490 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28065542 887971840 43055 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867160
[startup+12.7027 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 3423
/proc/meminfo: memFree=1492968/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=867572 CPUtime=12.54
/proc/3410/stat : 3410 (java) S 3408 3410 2490 0 -1 0 108262 268 1 0 1216 36 0 2 18 0 9 0 28065537 888393728 59824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3410/statm: 216893 59824 2660 9 0 211329 0
[pid=3410/tid=3412] ppid=3408 vsize=867572 CPUtime=10.19
/proc/3410/task/3412/stat : 3412 (java) R 3408 3410 2490 0 -1 64 19309 268 1 0 1007 10 0 2 25 0 9 0 28065538 888393728 59824 996147200 134512640 134550932 4294955968 18446744073709551615 4126847521 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3413] ppid=3408 vsize=867572 CPUtime=2.1
/proc/3410/task/3413/stat : 3413 (java) S 3408 3410 2490 0 -1 64 87462 268 0 0 186 22 0 2 16 0 9 0 28065540 888393728 59824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3414] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3414/stat : 3414 (java) S 3408 3410 2490 0 -1 64 21 268 0 0 0 0 0 2 17 0 9 0 28065540 888393728 59824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3415] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3415/stat : 3415 (java) S 3408 3410 2490 0 -1 64 15 268 0 0 0 0 0 2 16 0 9 0 28065540 888393728 59824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3416] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3416/stat : 3416 (java) S 3408 3410 2490 0 -1 64 1 268 0 0 0 0 0 2 18 0 9 0 28065542 888393728 59824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3417] ppid=3408 vsize=867572 CPUtime=0.24
/proc/3410/task/3417/stat : 3417 (java) S 3408 3410 2490 0 -1 64 628 268 0 0 22 0 0 2 15 0 9 0 28065542 888393728 59824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3418] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3418/stat : 3418 (java) S 3408 3410 2490 0 -1 64 1 268 0 0 0 0 0 2 19 0 9 0 28065542 888393728 59824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3419] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3419/stat : 3419 (java) S 3408 3410 2490 0 -1 64 11 268 0 0 0 0 0 2 15 0 9 0 28065542 888393728 59824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 867572
[startup+25.5018 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 3423
/proc/meminfo: memFree=1493096/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=867572 CPUtime=25.22
/proc/3410/stat : 3410 (java) S 3408 3410 2490 0 -1 0 108322 268 1 0 2484 36 0 2 18 0 9 0 28065537 888393728 59837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3410/statm: 216893 59837 2660 9 0 211329 0
[pid=3410/tid=3412] ppid=3408 vsize=867572 CPUtime=22.85
/proc/3410/task/3412/stat : 3412 (java) R 3408 3410 2490 0 -1 64 19355 268 1 0 2272 11 0 2 25 0 9 0 28065538 888393728 59837 996147200 134512640 134550932 4294955968 18446744073709551615 4126847387 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3413] ppid=3408 vsize=867572 CPUtime=2.1
/proc/3410/task/3413/stat : 3413 (java) S 3408 3410 2490 0 -1 64 87462 268 0 0 186 22 0 2 16 0 9 0 28065540 888393728 59837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3414] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3414/stat : 3414 (java) S 3408 3410 2490 0 -1 64 21 268 0 0 0 0 0 2 17 0 9 0 28065540 888393728 59837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3415] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3415/stat : 3415 (java) S 3408 3410 2490 0 -1 64 15 268 0 0 0 0 0 2 16 0 9 0 28065540 888393728 59837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3416] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3416/stat : 3416 (java) S 3408 3410 2490 0 -1 64 1 268 0 0 0 0 0 2 18 0 9 0 28065542 888393728 59837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3417] ppid=3408 vsize=867572 CPUtime=0.27
/proc/3410/task/3417/stat : 3417 (java) S 3408 3410 2490 0 -1 64 642 268 0 0 25 0 0 2 16 0 9 0 28065542 888393728 59837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3418] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3418/stat : 3418 (java) S 3408 3410 2490 0 -1 64 1 268 0 0 0 0 0 2 19 0 9 0 28065542 888393728 59837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3419] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3419/stat : 3419 (java) S 3408 3410 2490 0 -1 64 11 268 0 0 0 0 0 2 15 0 9 0 28065542 888393728 59837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 867572
[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 3423
/proc/meminfo: memFree=1493032/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=867572 CPUtime=50.58
/proc/3410/stat : 3410 (java) S 3408 3410 2490 0 -1 0 108393 268 1 0 5019 37 0 2 18 0 9 0 28065537 888393728 59837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3410/statm: 216893 59837 2660 9 0 211329 0
[pid=3410/tid=3412] ppid=3408 vsize=867572 CPUtime=48.19
/proc/3410/task/3412/stat : 3412 (java) R 3408 3410 2490 0 -1 64 19425 268 1 0 4806 11 0 2 25 0 9 0 28065538 888393728 59837 996147200 134512640 134550932 4294955968 18446744073709551615 4126847570 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3413] ppid=3408 vsize=867572 CPUtime=2.1
/proc/3410/task/3413/stat : 3413 (java) S 3408 3410 2490 0 -1 64 87462 268 0 0 186 22 0 2 16 0 9 0 28065540 888393728 59837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3414] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3414/stat : 3414 (java) S 3408 3410 2490 0 -1 64 21 268 0 0 0 0 0 2 17 0 9 0 28065540 888393728 59837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3415] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3415/stat : 3415 (java) S 3408 3410 2490 0 -1 64 15 268 0 0 0 0 0 2 16 0 9 0 28065540 888393728 59837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3416] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3416/stat : 3416 (java) S 3408 3410 2490 0 -1 64 1 268 0 0 0 0 0 2 18 0 9 0 28065542 888393728 59837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3417] ppid=3408 vsize=867572 CPUtime=0.27
/proc/3410/task/3417/stat : 3417 (java) S 3408 3410 2490 0 -1 64 643 268 0 0 25 0 0 2 16 0 9 0 28065542 888393728 59837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3418] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3418/stat : 3418 (java) S 3408 3410 2490 0 -1 64 1 268 0 0 0 0 0 2 19 0 9 0 28065542 888393728 59837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=3410/tid=3412] ppid=3408 vsize=867572 CPUtime=933.63
/proc/3410/task/3412/stat : 3412 (java) R 3408 3410 2490 0 -1 64 21037 268 1 0 93347 14 0 2 25 0 9 0 28065538 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4126847570 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3410/tid=3413] ppid=3408 vsize=867572 CPUtime=2.1
/proc/3410/task/3413/stat : 3413 (java) S 3408 3410 2490 0 -1 64 87462 268 0 0 186 22 0 2 16 0 9 0 28065540 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3414] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3414/stat : 3414 (java) S 3408 3410 2490 0 -1 64 21 268 0 0 0 0 0 2 17 0 9 0 28065540 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3415] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3415/stat : 3415 (java) S 3408 3410 2490 0 -1 64 15 268 0 0 0 0 0 2 16 0 9 0 28065540 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3416] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3416/stat : 3416 (java) S 3408 3410 2490 0 -1 64 1 268 0 0 0 0 0 2 18 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3417] ppid=3408 vsize=867572 CPUtime=0.28
/proc/3410/task/3417/stat : 3417 (java) S 3408 3410 2490 0 -1 64 645 268 0 0 26 0 0 2 16 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3418] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3418/stat : 3418 (java) S 3408 3410 2490 0 -1 64 1 268 0 0 0 0 0 2 19 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3419] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3419/stat : 3419 (java) S 3408 3410 2490 0 -1 64 11 268 0 0 0 0 0 2 15 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 936.02
Current children cumulated vsize (KiB) 867572
[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 3511
/proc/meminfo: memFree=1412392/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=867572 CPUtime=996
/proc/3410/stat : 3410 (java) S 3408 3410 2490 0 -1 0 110191 268 1 0 99558 40 0 2 18 0 9 0 28065537 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3410/statm: 216893 59839 2660 9 0 211329 0
[pid=3410/tid=3412] ppid=3408 vsize=867572 CPUtime=993.61
/proc/3410/task/3412/stat : 3412 (java) R 3408 3410 2490 0 -1 64 21221 268 1 0 99345 14 0 2 25 0 9 0 28065538 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4126847362 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3410/tid=3413] ppid=3408 vsize=867572 CPUtime=2.1
/proc/3410/task/3413/stat : 3413 (java) S 3408 3410 2490 0 -1 64 87462 268 0 0 186 22 0 2 16 0 9 0 28065540 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3414] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3414/stat : 3414 (java) S 3408 3410 2490 0 -1 64 21 268 0 0 0 0 0 2 17 0 9 0 28065540 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3415] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3415/stat : 3415 (java) S 3408 3410 2490 0 -1 64 15 268 0 0 0 0 0 2 16 0 9 0 28065540 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3416] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3416/stat : 3416 (java) S 3408 3410 2490 0 -1 64 1 268 0 0 0 0 0 2 18 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3417] ppid=3408 vsize=867572 CPUtime=0.28
/proc/3410/task/3417/stat : 3417 (java) S 3408 3410 2490 0 -1 64 645 268 0 0 26 0 0 2 16 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3418] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3418/stat : 3418 (java) S 3408 3410 2490 0 -1 64 1 268 0 0 0 0 0 2 19 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3419] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3419/stat : 3419 (java) S 3408 3410 2490 0 -1 64 11 268 0 0 0 0 0 2 15 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 996
Current children cumulated vsize (KiB) 867572
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 3511
/proc/meminfo: memFree=1412328/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=867572 CPUtime=1055.97
/proc/3410/stat : 3410 (java) S 3408 3410 2490 0 -1 0 110333 268 1 0 105555 40 0 2 18 0 9 0 28065537 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3410/statm: 216893 59839 2660 9 0 211329 0
[pid=3410/tid=3412] ppid=3408 vsize=867572 CPUtime=1053.58
/proc/3410/task/3412/stat : 3412 (java) R 3408 3410 2490 0 -1 64 21363 268 1 0 105342 14 0 2 25 0 9 0 28065538 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4126847413 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3410/tid=3413] ppid=3408 vsize=867572 CPUtime=2.1
/proc/3410/task/3413/stat : 3413 (java) S 3408 3410 2490 0 -1 64 87462 268 0 0 186 22 0 2 16 0 9 0 28065540 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3414] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3414/stat : 3414 (java) S 3408 3410 2490 0 -1 64 21 268 0 0 0 0 0 2 17 0 9 0 28065540 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3415] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3415/stat : 3415 (java) S 3408 3410 2490 0 -1 64 15 268 0 0 0 0 0 2 16 0 9 0 28065540 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3416] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3416/stat : 3416 (java) S 3408 3410 2490 0 -1 64 1 268 0 0 0 0 0 2 18 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3417] ppid=3408 vsize=867572 CPUtime=0.28
/proc/3410/task/3417/stat : 3417 (java) S 3408 3410 2490 0 -1 64 645 268 0 0 26 0 0 2 16 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3418] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3418/stat : 3418 (java) S 3408 3410 2490 0 -1 64 1 268 0 0 0 0 0 2 19 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3419] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3419/stat : 3419 (java) S 3408 3410 2490 0 -1 64 11 268 0 0 0 0 0 2 15 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1055.97
Current children cumulated vsize (KiB) 867572
Solver just ended. Dumping a history of the last processes samples
[startup+1062.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 3511
/proc/meminfo: memFree=1412328/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=867572 CPUtime=1056.07
/proc/3410/stat : 3410 (java) S 3408 3410 2490 0 -1 0 110333 268 1 0 105565 40 0 2 18 0 9 0 28065537 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3410/statm: 216893 59839 2660 9 0 211329 0
[pid=3410/tid=3412] ppid=3408 vsize=867572 CPUtime=1053.68
/proc/3410/task/3412/stat : 3412 (java) R 3408 3410 2490 0 -1 64 21363 268 1 0 105352 14 0 2 25 0 9 0 28065538 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4126847429 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3410/tid=3413] ppid=3408 vsize=867572 CPUtime=2.1
/proc/3410/task/3413/stat : 3413 (java) S 3408 3410 2490 0 -1 64 87462 268 0 0 186 22 0 2 16 0 9 0 28065540 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3414] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3414/stat : 3414 (java) S 3408 3410 2490 0 -1 64 21 268 0 0 0 0 0 2 17 0 9 0 28065540 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3415] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3415/stat : 3415 (java) S 3408 3410 2490 0 -1 64 15 268 0 0 0 0 0 2 16 0 9 0 28065540 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3416] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3416/stat : 3416 (java) S 3408 3410 2490 0 -1 64 1 268 0 0 0 0 0 2 18 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3417] ppid=3408 vsize=867572 CPUtime=0.28
/proc/3410/task/3417/stat : 3417 (java) S 3408 3410 2490 0 -1 64 645 268 0 0 26 0 0 2 16 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3418] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3418/stat : 3418 (java) S 3408 3410 2490 0 -1 64 1 268 0 0 0 0 0 2 19 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3419] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3419/stat : 3419 (java) S 3408 3410 2490 0 -1 64 11 268 0 0 0 0 0 2 15 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1056.07
Current children cumulated vsize (KiB) 867572
[startup+1063.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 3511
/proc/meminfo: memFree=1412328/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=867572 CPUtime=1056.87
/proc/3410/stat : 3410 (java) S 3408 3410 2490 0 -1 0 110333 268 1 0 105645 40 0 2 18 0 9 0 28065537 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3410/statm: 216893 59839 2660 9 0 211329 0
[pid=3410/tid=3412] ppid=3408 vsize=867572 CPUtime=1054.48
/proc/3410/task/3412/stat : 3412 (java) R 3408 3410 2490 0 -1 64 21363 268 1 0 105432 14 0 2 25 0 9 0 28065538 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4126847570 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3410/tid=3413] ppid=3408 vsize=867572 CPUtime=2.1
/proc/3410/task/3413/stat : 3413 (java) R 3408 3410 2490 0 -1 64 87462 268 0 0 186 22 0 2 16 0 9 0 28065540 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3414] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3414/stat : 3414 (java) S 3408 3410 2490 0 -1 64 21 268 0 0 0 0 0 2 17 0 9 0 28065540 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3415] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3415/stat : 3415 (java) S 3408 3410 2490 0 -1 64 15 268 0 0 0 0 0 2 16 0 9 0 28065540 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3416] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3416/stat : 3416 (java) S 3408 3410 2490 0 -1 64 1 268 0 0 0 0 0 2 18 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3417] ppid=3408 vsize=867572 CPUtime=0.28
/proc/3410/task/3417/stat : 3417 (java) S 3408 3410 2490 0 -1 64 645 268 0 0 26 0 0 2 16 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3418] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3418/stat : 3418 (java) S 3408 3410 2490 0 -1 64 1 268 0 0 0 0 0 2 19 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3419] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3419/stat : 3419 (java) S 3408 3410 2490 0 -1 64 11 268 0 0 0 0 0 2 15 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1056.87
Current children cumulated vsize (KiB) 867572
[startup+1064 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 3511
/proc/meminfo: memFree=1412328/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=867572 CPUtime=1057.67
/proc/3410/stat : 3410 (java) S 3408 3410 2490 0 -1 0 110333 268 1 0 105725 40 0 2 18 0 9 0 28065537 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3410/statm: 216893 59839 2660 9 0 211329 0
[pid=3410/tid=3412] ppid=3408 vsize=867572 CPUtime=1055.28
/proc/3410/task/3412/stat : 3412 (java) R 3408 3410 2490 0 -1 64 21363 268 1 0 105512 14 0 2 25 0 9 0 28065538 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4126847413 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3410/tid=3413] ppid=3408 vsize=867572 CPUtime=2.1
/proc/3410/task/3413/stat : 3413 (java) S 3408 3410 2490 0 -1 64 87462 268 0 0 186 22 0 2 16 0 9 0 28065540 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3414] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3414/stat : 3414 (java) S 3408 3410 2490 0 -1 64 21 268 0 0 0 0 0 2 17 0 9 0 28065540 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3415] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3415/stat : 3415 (java) S 3408 3410 2490 0 -1 64 15 268 0 0 0 0 0 2 16 0 9 0 28065540 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3416] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3416/stat : 3416 (java) S 3408 3410 2490 0 -1 64 1 268 0 0 0 0 0 2 18 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3417] ppid=3408 vsize=867572 CPUtime=0.28
/proc/3410/task/3417/stat : 3417 (java) S 3408 3410 2490 0 -1 64 645 268 0 0 26 0 0 2 16 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3418] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3418/stat : 3418 (java) S 3408 3410 2490 0 -1 64 1 268 0 0 0 0 0 2 19 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3419] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3419/stat : 3419 (java) S 3408 3410 2490 0 -1 64 11 268 0 0 0 0 0 2 15 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1057.67
Current children cumulated vsize (KiB) 867572
[startup+1064.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 3511
/proc/meminfo: memFree=1412328/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=867572 CPUtime=1058.07
/proc/3410/stat : 3410 (java) S 3408 3410 2490 0 -1 0 110333 268 1 0 105765 40 0 2 18 0 9 0 28065537 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3410/statm: 216893 59839 2660 9 0 211329 0
[pid=3410/tid=3412] ppid=3408 vsize=867572 CPUtime=1055.68
/proc/3410/task/3412/stat : 3412 (java) R 3408 3410 2490 0 -1 64 21363 268 1 0 105552 14 0 2 25 0 9 0 28065538 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4126856343 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3410/tid=3413] ppid=3408 vsize=867572 CPUtime=2.1
/proc/3410/task/3413/stat : 3413 (java) S 3408 3410 2490 0 -1 64 87462 268 0 0 186 22 0 2 16 0 9 0 28065540 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3414] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3414/stat : 3414 (java) S 3408 3410 2490 0 -1 64 21 268 0 0 0 0 0 2 17 0 9 0 28065540 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3415] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3415/stat : 3415 (java) S 3408 3410 2490 0 -1 64 15 268 0 0 0 0 0 2 16 0 9 0 28065540 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3416] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3416/stat : 3416 (java) S 3408 3410 2490 0 -1 64 1 268 0 0 0 0 0 2 18 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3417] ppid=3408 vsize=867572 CPUtime=0.28
/proc/3410/task/3417/stat : 3417 (java) S 3408 3410 2490 0 -1 64 645 268 0 0 26 0 0 2 16 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3418] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3418/stat : 3418 (java) S 3408 3410 2490 0 -1 64 1 268 0 0 0 0 0 2 19 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3410/tid=3419] ppid=3408 vsize=867572 CPUtime=0.02
/proc/3410/task/3419/stat : 3419 (java) S 3408 3410 2490 0 -1 64 11 268 0 0 0 0 0 2 15 0 9 0 28065542 888393728 59839 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1058.07
Current children cumulated vsize (KiB) 867572
Child status: 0
Real time (s): 1064.5
CPU time (s): 1058.14
CPU user time (s): 1057.67
CPU system time (s): 0.468928
CPU usage (%): 99.4025
Max. virtual memory (cumulated for all children) (KiB): 871164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1057.67
system time used= 0.468928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110651
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= 22786
involuntary context switches= 29638
runsolver used 1.63675 second user time and 3.21451 second system time
The end
Begin job on node50 at 2009-07-12 16:46:59
IDJOB=2096284
IDBENCH=56213
IDSOLVER=774
FILE ID=node50/2096284-1247410018
PBS_JOBID= 9510546
Free space on /tmp= 66404 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-19_ext.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-2096284-1247410018/watcher-2096284-1247410018 -o /tmp/evaluation-result-2096284-1247410018/solver-2096284-1247410018 -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-2096284-1247410018.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0d3371b4f098cfc1ba29218d9b5a7fe9
RANDOM SEED=1931203695
node50.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.231
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.231
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: 1722832 kB
Buffers: 46308 kB
Cached: 162248 kB
SwapCached: 0 kB
Active: 179320 kB
Inactive: 91544 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1722832 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 24016 kB
Writeback: 0 kB
Mapped: 82800 kB
Slab: 47260 kB
Committed_AS: 1026736 kB
PageTables: 1972 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= 66404 MiB
End job on node50 at 2009-07-12 17:04:44