0.32
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=pfc.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/282764-1169322241/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=22 nbDomainTypes=2 minDomainSize=36 maxDomainSize=44
0.42 => wckTime=0.096 cpuTime=0.07 mem=6M910
0.42
0.42 relations being loaded...
0.56
0.57 constraints being loaded...
0.69 nbConstraints=477 nbRelationTypes=174 nbExtensionStructures=174 nbSharedExtensionStructures=303
0.69 nbConflictsStructures=174 nbSharedConflictsStructures=303 nbSharedBinaryRepresentations=13050 maxDegree=69
0.69 maxArity=2
0.69 => wckTime=0.368 cpuTime=0.29 mem=17M669
0.74
0.74 solver LocalSearchSolver being built...
0.78 => wckTime=0.456 cpuTime=0.33 mem=5M832
0.79
0.79 s SATISFIABLE
0.79 o 297
0.79 c 180
0.79 o 306
0.79 c 171
0.80 o 312
0.80 c 165
0.80 o 323
0.80 c 154
0.80 o 331
0.80 c 146
0.81 o 333
0.81 c 144
0.81 o 341
0.81 c 136
0.81 o 349
0.81 c 128
0.81 o 352
0.81 c 125
0.81 o 361
0.81 c 116
0.81 o 366
0.81 c 111
0.82 o 374
0.82 c 103
0.82 o 386
0.82 c 91
0.82 o 396
0.82 c 81
0.82 o 401
0.82 c 76
0.82 o 407
0.82 c 70
0.82 o 413
0.82 c 64
0.82 o 414
0.82 c 63
0.83 o 415
0.83 c 62
0.83 o 418
0.83 c 59
0.83 o 420
0.83 c 57
0.84 o 423
0.84 c 54
0.84 o 433
0.84 c 44
0.85 o 438
0.85 c 39
0.90 o 448
0.90 c 29
1.73 o 453
1.73 c 24
23.52
23.52 search
23.52 run=0 nbConstraintChecks=199838424 nbAssignments=10000
23.52 => wckTime=22.738 cpuTime=22.7 mem=5M832
31.76
31.76 search
31.77 run=1 nbConstraintChecks=271863770 nbAssignments=13567
31.77 => wckTime=30.986 cpuTime=30.93 mem=5M832
31.77
31.77 global
31.77 nbConstraintChecks=271863770 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.77 solvingWckTime=30.982 solvingCpuTime=30.93 expiredTime=no totalExploration=no nbFoundSolutions=0
31.77 globalCpuTime=31.32
31.77 => wckTime=31.442 cpuTime=31.26 mem=5M832
31.77
31.77 solver IterativeSystematicSolver being built...
31.89 => wckTime=31.561 cpuTime=31.36 mem=16M805
31.90
31.90 preprocessing
31.90 nbConstraintChecks=4228 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.90 detectedInconsistency=no
31.90 => wckTime=0.012 cpuTime=0.01 mem=16M805
32.17
32.17 search
32.17 run=0 nbConstraintChecks=1399681 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=68
32.17 nbFailedAssignments=52 nbBacktracks=10 nbVisitedNodes=131 nbRestartNogoods=0
32.17 => wckTime=0.282 cpuTime=0.25 mem=16M805
32.93
32.93 search
32.93 run=1 nbConstraintChecks=6103984 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=267
32.93 nbFailedAssignments=228 nbBacktracks=25 nbVisitedNodes=521 nbRestartNogoods=8
32.93 => wckTime=1.039 cpuTime=0.99 mem=16M805
33.94
33.94 search
33.94 run=2 nbConstraintChecks=10907993 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=477
33.94 nbFailedAssignments=413 nbBacktracks=47 nbVisitedNodes=938 nbRestartNogoods=29
33.94 => wckTime=2.056 cpuTime=2.0 mem=16M805
35.76
35.76 search
35.76 run=3 nbConstraintChecks=22205234 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1025
35.76 nbFailedAssignments=923 nbBacktracks=80 nbVisitedNodes=2029 nbRestartNogoods=101
35.76 => wckTime=3.873 cpuTime=3.82 mem=16M805
39.36
39.36 search
39.36 run=4 nbConstraintChecks=43077298 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2101
39.36 nbFailedAssignments=1945 nbBacktracks=130 nbVisitedNodes=4177 nbRestartNogoods=155
39.36 => wckTime=7.472 cpuTime=7.39 mem=16M805
42.86
42.86 search
42.86 run=5 nbConstraintChecks=61497348 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2875
42.86 nbFailedAssignments=2640 nbBacktracks=205 nbVisitedNodes=5719 nbRestartNogoods=168
42.86 => wckTime=10.968 cpuTime=10.87 mem=16M805
50.17
50.17 search
50.17 run=6 nbConstraintChecks=108378985 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5027
50.17 nbFailedAssignments=4673 nbBacktracks=318 nbVisitedNodes=10017 nbRestartNogoods=203
50.17 => wckTime=18.287 cpuTime=18.19 mem=16M805
54.55
54.55 search
54.55 run=7 nbConstraintChecks=135879521 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6228
54.55 nbFailedAssignments=5701 nbBacktracks=488 nbVisitedNodes=12409 nbRestartNogoods=214
54.55 => wckTime=22.667 cpuTime=22.57 mem=16M805
73.95
73.95 search
73.95 run=8 nbConstraintChecks=253937004 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12314
73.95 nbFailedAssignments=11527 nbBacktracks=744 nbVisitedNodes=24577 nbRestartNogoods=289
73.95 => wckTime=42.063 cpuTime=41.94 mem=16M805
95.30
95.30 search
95.30 run=9 nbConstraintChecks=394525617 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18534
95.30 nbFailedAssignments=17359 nbBacktracks=1128 nbVisitedNodes=37013 nbRestartNogoods=308
95.30 => wckTime=63.415 cpuTime=63.28 mem=16M805
112.61
112.61 search
112.61 run=10 nbConstraintChecks=504969931 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=24125
112.61 nbFailedAssignments=22368 nbBacktracks=1704 nbVisitedNodes=48187 nbRestartNogoods=323
112.61 => wckTime=80.725 cpuTime=80.59 mem=16M805
160.50
160.50 search
160.50 run=11 nbConstraintChecks=801441254 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38001
160.50 nbFailedAssignments=35373 nbBacktracks=2568 nbVisitedNodes=75932 nbRestartNogoods=366
160.50 => wckTime=128.609 cpuTime=128.43 mem=16M805
181.97
181.97 search
181.97 run=12 nbConstraintChecks=939246860 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=45805
181.97 nbFailedAssignments=41875 nbBacktracks=3865 nbVisitedNodes=91528 nbRestartNogoods=407
181.97 => wckTime=150.08 cpuTime=149.88 mem=16M805
208.45
208.45 search
208.45 run=13 nbConstraintChecks=1110721613 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=56608
208.45 nbFailedAssignments=50726 nbBacktracks=5812 nbVisitedNodes=113129 nbRestartNogoods=424
208.45 => wckTime=176.559 cpuTime=176.34 mem=16M805
280.52
280.52 search
280.52 run=14 nbConstraintChecks=1530029877 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=76425
280.52 nbFailedAssignments=67620 nbBacktracks=8731 nbVisitedNodes=152759 nbRestartNogoods=457
280.52 => wckTime=248.628 cpuTime=248.37 mem=16M805
388.86
388.86 search
388.86 run=15 nbConstraintChecks=2159594343 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=104101
388.86 nbFailedAssignments=90912 nbBacktracks=13109 nbVisitedNodes=207947 nbRestartNogoods=505
388.86 => wckTime=356.971 cpuTime=356.64 mem=16M805
471.62
471.62 search
471.62 run=16 nbConstraintChecks=2684234368 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=132757
471.62 nbFailedAssignments=112990 nbBacktracks=19677 nbVisitedNodes=265248 nbRestartNogoods=572
471.62 => wckTime=439.733 cpuTime=439.38 mem=16M805
631.85
631.85 search
631.85 run=17 nbConstraintChecks=3690454695 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=176868
631.85 nbFailedAssignments=147244 nbBacktracks=29529 nbVisitedNodes=353392 nbRestartNogoods=612
631.85 => wckTime=599.965 cpuTime=599.55 mem=16M805
817.84
817.84 search
817.84 run=18 nbConstraintChecks=4816245246 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=234093
817.84 nbFailedAssignments=189685 nbBacktracks=44307 nbVisitedNodes=467708 nbRestartNogoods=651
817.84 => wckTime=785.956 cpuTime=785.49 mem=16M805
975.99
975.99 search
975.99 run=19 nbConstraintChecks=5769718346 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=304075
975.99 nbFailedAssignments=237490 nbBacktracks=66475 nbVisitedNodes=607469 nbRestartNogoods=694
975.99 => wckTime=944.103 cpuTime=943.59 mem=16M805
1457.15
1457.15 search
1457.15 run=20 nbConstraintChecks=8702121491 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=460436
1457.15 nbFailedAssignments=360597 nbBacktracks=99727 nbVisitedNodes=919883 nbRestartNogoods=747
1457.15 => wckTime=1425.258 cpuTime=1424.4 mem=16M805
1815.01
1815.01 search
1815.01 run=21 nbConstraintChecks=10822412276 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=567806
1815.01 nbFailedAssignments=452621 nbBacktracks=115074 nbVisitedNodes=1134358 nbRestartNogoods=774
1815.01 => wckTime=1783.126 cpuTime=1781.9 mem=16M805
1815.01
1815.01 global
1815.01 nbConstraintChecks=10822416504 nbRestartNogoods=774 solvingWckTime=1783.127 solvingCpuTime=1781.91
1815.01 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=1813.33
1815.01 => wckTime=1814.69 cpuTime=1813.27 mem=16M805
1815.02
1815.02 s OPTIMUM FOUND
1815.02 v 0 0 40 40 6 42 43 23 6 11 18 18 9 20 25 43 42 42 35 1 18 6
1815.02
1815.02 totalWckTime=1814.765 totalCpuTime=1813.33
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node71/watcher-282764-1169322241 -o ROOT/results/node71/solver-282764-1169322241 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282764-1169322241/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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
/proc/loadavg: 1.00 1.00 1.06 4/65 3582
/proc/meminfo: memFree=1259936/2055920 swapFree=4192812/4192956
[pid=3581] ppid=3579 vsize=1784 CPUtime=0
/proc/3581/stat : 3581 (java) D 3579 3581 3032 0 -1 0 165 0 0 0 0 0 0 0 20 0 1 0 79720904 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/3581/statm: 446 136 102 14 0 91 0
[startup+0.106234 s]
/proc/loadavg: 1.00 1.00 1.06 4/65 3582
/proc/meminfo: memFree=1259936/2055920 swapFree=4192812/4192956
[pid=3581] ppid=3579 vsize=911488 CPUtime=0.06
/proc/3581/stat : 3581 (java) R 3579 3581 3032 0 -1 0 2616 0 1 0 5 1 0 0 21 0 8 0 79720904 933363712 2363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3581/statm: 227872 2363 1279 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.514295 s]
/proc/loadavg: 1.00 1.00 1.06 4/65 3582
/proc/meminfo: memFree=1259936/2055920 swapFree=4192812/4192956
[pid=3581] ppid=3579 vsize=915332 CPUtime=0.47
/proc/3581/stat : 3581 (java) R 3579 3581 3032 0 -1 0 7156 0 1 0 43 4 0 0 16 0 8 0 79720904 937299968 6895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073568831 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3581/statm: 228833 6895 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332
[startup+1.3384 s]
/proc/loadavg: 1.00 1.00 1.06 2/72 3589
/proc/meminfo: memFree=1233128/2055920 swapFree=4192812/4192956
[pid=3581] ppid=3579 vsize=915436 CPUtime=1.29
/proc/3581/stat : 3581 (java) R 3579 3581 3032 0 -1 0 9406 0 1 0 122 7 0 0 17 0 8 0 79720904 937406464 9144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073340784 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3581/statm: 228859 9144 2476 14 0 215329 0
[pid=3581/tid=3583] ppid=3579 vsize=915436 CPUtime=0.03
/proc/3581/task/3583/stat : 3583 (java) S 3579 3581 3032 0 -1 64 237 0 0 0 3 0 0 0 16 0 8 0 79720908 937406464 9144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3581/tid=3584] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3584/stat : 3584 (java) S 3579 3581 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79720908 937406464 9144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3585] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3585/stat : 3585 (java) S 3579 3581 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79720908 937406464 9144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3586] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3586/stat : 3586 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79720914 937406464 9144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3587] ppid=3579 vsize=915436 CPUtime=0.13
/proc/3581/task/3587/stat : 3587 (java) S 3579 3581 3032 0 -1 64 345 0 0 0 12 1 0 0 15 0 8 0 79720914 937406464 9144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3588] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3588/stat : 3588 (java) S 3579 3581 3032 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 79720914 937406464 9144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3589] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3589/stat : 3589 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79720914 937406464 9144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915436
[startup+2.98162 s]
/proc/loadavg: 1.00 1.00 1.06 2/72 3589
/proc/meminfo: memFree=1233128/2055920 swapFree=4192812/4192956
[pid=3581] ppid=3579 vsize=915436 CPUtime=2.93
/proc/3581/stat : 3581 (java) R 3579 3581 3032 0 -1 0 9408 0 1 0 283 10 0 0 19 0 8 0 79720904 937406464 9145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073742515 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3581/statm: 228859 9145 2476 14 0 215329 0
[pid=3581/tid=3583] ppid=3579 vsize=915436 CPUtime=0.03
/proc/3581/task/3583/stat : 3583 (java) S 3579 3581 3032 0 -1 64 237 0 0 0 3 0 0 0 16 0 8 0 79720908 937406464 9145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3581/tid=3584] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3584/stat : 3584 (java) S 3579 3581 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79720908 937406464 9145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3585] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3585/stat : 3585 (java) S 3579 3581 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79720908 937406464 9145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3586] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3586/stat : 3586 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79720914 937406464 9145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3587] ppid=3579 vsize=915436 CPUtime=0.13
/proc/3581/task/3587/stat : 3587 (java) S 3579 3581 3032 0 -1 64 346 0 0 0 12 1 0 0 15 0 8 0 79720914 937406464 9145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3588] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3588/stat : 3588 (java) S 3579 3581 3032 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 79720914 937406464 9145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3589] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3589/stat : 3589 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79720914 937406464 9145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915436
[startup+6.25807 s]
/proc/loadavg: 1.00 1.00 1.06 2/72 3589
/proc/meminfo: memFree=1233000/2055920 swapFree=4192812/4192956
[pid=3581] ppid=3579 vsize=915436 CPUtime=6.2
/proc/3581/stat : 3581 (java) R 3579 3581 3032 0 -1 0 9411 0 1 0 605 15 0 0 25 0 8 0 79720904 937406464 9148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073743672 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3581/statm: 228859 9148 2476 14 0 215329 0
[pid=3581/tid=3583] ppid=3579 vsize=915436 CPUtime=0.03
/proc/3581/task/3583/stat : 3583 (java) S 3579 3581 3032 0 -1 64 237 0 0 0 3 0 0 0 16 0 8 0 79720908 937406464 9148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3581/tid=3584] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3584/stat : 3584 (java) S 3579 3581 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79720908 937406464 9148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3585] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3585/stat : 3585 (java) S 3579 3581 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79720908 937406464 9148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3586] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3586/stat : 3586 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79720914 937406464 9148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3587] ppid=3579 vsize=915436 CPUtime=0.14
/proc/3581/task/3587/stat : 3587 (java) S 3579 3581 3032 0 -1 64 349 0 0 0 13 1 0 0 16 0 8 0 79720914 937406464 9148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3588] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3588/stat : 3588 (java) S 3579 3581 3032 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 79720914 937406464 9148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3589] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3589/stat : 3589 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79720914 937406464 9148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915436
[startup+12.742 s]
/proc/loadavg: 1.00 1.00 1.06 2/72 3589
/proc/meminfo: memFree=1233008/2055920 swapFree=4192812/4192956
[pid=3581] ppid=3579 vsize=915436 CPUtime=12.69
/proc/3581/stat : 3581 (java) R 3579 3581 3032 0 -1 0 9411 0 1 0 1244 25 0 0 25 0 8 0 79720904 937406464 9148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744602 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3581/statm: 228859 9148 2476 14 0 215329 0
[pid=3581/tid=3583] ppid=3579 vsize=915436 CPUtime=0.03
/proc/3581/task/3583/stat : 3583 (java) S 3579 3581 3032 0 -1 64 237 0 0 0 3 0 0 0 16 0 8 0 79720908 937406464 9148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3581/tid=3584] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3584/stat : 3584 (java) S 3579 3581 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79720908 937406464 9148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3585] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3585/stat : 3585 (java) S 3579 3581 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79720908 937406464 9148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3586] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3586/stat : 3586 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79720914 937406464 9148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3587] ppid=3579 vsize=915436 CPUtime=0.14
/proc/3581/task/3587/stat : 3587 (java) S 3579 3581 3032 0 -1 64 349 0 0 0 13 1 0 0 16 0 8 0 79720914 937406464 9148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3588] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3588/stat : 3588 (java) S 3579 3581 3032 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 79720914 937406464 9148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3589] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3589/stat : 3589 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79720914 937406464 9148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915436
[startup+25.5807 s]
/proc/loadavg: 1.00 1.00 1.06 2/72 3589
/proc/meminfo: memFree=1233008/2055920 swapFree=4192812/4192956
[pid=3581] ppid=3579 vsize=915436 CPUtime=25.51
/proc/3581/stat : 3581 (java) R 3579 3581 3032 0 -1 0 9414 0 1 0 2505 46 0 0 19 0 8 0 79720904 937406464 9151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073742357 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3581/statm: 228859 9151 2476 14 0 215329 0
[pid=3581/tid=3583] ppid=3579 vsize=915436 CPUtime=0.03
/proc/3581/task/3583/stat : 3583 (java) S 3579 3581 3032 0 -1 64 237 0 0 0 3 0 0 0 16 0 8 0 79720908 937406464 9151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3581/tid=3584] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3584/stat : 3584 (java) S 3579 3581 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79720908 937406464 9151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3585] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3585/stat : 3585 (java) S 3579 3581 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79720908 937406464 9151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3586] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3586/stat : 3586 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79720914 937406464 9151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3587] ppid=3579 vsize=915436 CPUtime=0.14
/proc/3581/task/3587/stat : 3587 (java) S 3579 3581 3032 0 -1 64 351 0 0 0 13 1 0 0 16 0 8 0 79720914 937406464 9151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3588] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3588/stat : 3588 (java) S 3579 3581 3032 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 79720914 937406464 9151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3589] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3589/stat : 3589 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79720914 937406464 9151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915436
[startup+51.2722 s]
/proc/loadavg: 1.00 1.00 1.06 2/72 3589
/proc/meminfo: memFree=1232816/2055920 swapFree=4192812/4192956
[pid=3581] ppid=3579 vsize=915436 CPUtime=51.16
/proc/3581/stat : 3581 (java) R 3579 3581 3032 0 -1 0 9567 0 1 0 5060 56 0 0 25 0 8 0 79720904 937406464 9297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851337 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3581/statm: 228859 9297 2527 14 0 215329 0
[pid=3581/tid=3583] ppid=3579 vsize=915436 CPUtime=0.03
/proc/3581/task/3583/stat : 3583 (java) S 3579 3581 3032 0 -1 64 238 0 0 0 3 0 0 0 16 0 8 0 79720908 937406464 9297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3581/tid=3584] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3584/stat : 3584 (java) S 3579 3581 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79720908 937406464 9297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3585] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3585/stat : 3585 (java) S 3579 3581 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79720908 937406464 9297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3586] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3586/stat : 3586 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79720914 937406464 9297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3587] ppid=3579 vsize=915436 CPUtime=0.23
/proc/3581/task/3587/stat : 3587 (java) S 3579 3581 3032 0 -1 64 403 0 0 0 21 2 0 0 16 0 8 0 79720914 937406464 9297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3588] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3588/stat : 3588 (java) S 3579 3581 3032 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 79720914 937406464 9297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3589] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3589/stat : 3589 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79720914 937406464 9297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 915436
[startup+102.545 s]
/proc/loadavg: 1.00 1.00 1.05 2/72 3589
/proc/meminfo: memFree=1232752/2055920 swapFree=4192812/4192956
[pid=3581] ppid=3579 vsize=915436 CPUtime=102.4
/proc/3581/stat : 3581 (java) R 3579 3581 3032 0 -1 0 9569 0 1 0 10184 56 0 0 25 0 8 0 79720904 937406464 9298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073847061 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3581/statm: 228859 9298 2527 14 0 215329 0
[pid=3581/tid=3583] ppid=3579 vsize=915436 CPUtime=0.03
/proc/3581/task/3583/stat : 3583 (java) S 3579 3581 3032 0 -1 64 238 0 0 0 3 0 0 0 16 0 8 0 79720908 937406464 9298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3581/tid=3584] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3584/stat : 3584 (java) S 3579 3581 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79720908 937406464 9298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3585] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3585/stat : 3585 (java) S 3579 3581 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79720908 937406464 9298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3586] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3586/stat : 3586 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79720914 937406464 9298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3587] ppid=3579 vsize=915436 CPUtime=0.23
/proc/3581/task/3587/stat : 3587 (java) S 3579 3581 3032 0 -1 64 404 0 0 0 21 2 0 0 16 0 8 0 79720914 937406464 9298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3588] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3588/stat : 3588 (java) S 3579 3581 3032 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 79720914 937406464 9298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3589] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3589/stat : 3589 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79720914 937406464 9298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.4
Current children cumulated vsize (KiB) 915436
[startup+162.555 s]
/proc/loadavg: 1.00 1.00 1.05 2/72 3589
/proc/meminfo: memFree=1232752/2055920 swapFree=4192812/4192956
[pid=3581] ppid=3579 vsize=915436 CPUtime=162.38
/proc/3581/stat : 3581 (java) R 3579 3581 3032 0 -1 0 9574 0 1 0 16181 57 0 0 25 0 8 0 79720904 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/3581/task/3586/stat : 3586 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3587] ppid=3579 vsize=915436 CPUtime=0.24
/proc/3581/task/3587/stat : 3587 (java) S 3579 3581 3032 0 -1 64 407 0 0 0 22 2 0 0 16 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3588] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3588/stat : 3588 (java) S 3579 3581 3032 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3589] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3589/stat : 3589 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1362.13
Current children cumulated vsize (KiB) 915436
[startup+1422.95 s]
/proc/loadavg: 2.01 1.54 1.21 3/80 3924
/proc/meminfo: memFree=1214768/2055920 swapFree=4192812/4192956
[pid=3581] ppid=3579 vsize=915436 CPUtime=1422.1
/proc/3581/stat : 3581 (java) R 3579 3581 3032 0 -1 0 9575 0 1 0 142144 66 0 0 25 0 8 0 79720904 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073847378 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3581/statm: 228859 9301 2527 14 0 215329 0
[pid=3581/tid=3583] ppid=3579 vsize=915436 CPUtime=0.03
/proc/3581/task/3583/stat : 3583 (java) S 3579 3581 3032 0 -1 64 238 0 0 0 3 0 0 0 16 0 8 0 79720908 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3581/tid=3584] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3584/stat : 3584 (java) S 3579 3581 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79720908 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3585] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3585/stat : 3585 (java) S 3579 3581 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79720908 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3586] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3586/stat : 3586 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3587] ppid=3579 vsize=915436 CPUtime=0.24
/proc/3581/task/3587/stat : 3587 (java) S 3579 3581 3032 0 -1 64 407 0 0 0 22 2 0 0 16 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3588] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3588/stat : 3588 (java) S 3579 3581 3032 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3589] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3589/stat : 3589 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1422.1
Current children cumulated vsize (KiB) 915436
[startup+1483.01 s]
/proc/loadavg: 2.00 1.62 1.26 3/80 3924
/proc/meminfo: memFree=1214832/2055920 swapFree=4192812/4192956
[pid=3581] ppid=3579 vsize=915436 CPUtime=1482.11
/proc/3581/stat : 3581 (java) R 3579 3581 3032 0 -1 0 9575 0 1 0 148145 66 0 0 25 0 8 0 79720904 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073913500 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3581/statm: 228859 9301 2527 14 0 215329 0
[pid=3581/tid=3583] ppid=3579 vsize=915436 CPUtime=0.03
/proc/3581/task/3583/stat : 3583 (java) S 3579 3581 3032 0 -1 64 238 0 0 0 3 0 0 0 16 0 8 0 79720908 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3581/tid=3584] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3584/stat : 3584 (java) S 3579 3581 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79720908 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3585] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3585/stat : 3585 (java) S 3579 3581 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79720908 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3586] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3586/stat : 3586 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3587] ppid=3579 vsize=915436 CPUtime=0.24
/proc/3581/task/3587/stat : 3587 (java) S 3579 3581 3032 0 -1 64 407 0 0 0 22 2 0 0 16 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3588] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3588/stat : 3588 (java) S 3579 3581 3032 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3589] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3589/stat : 3589 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.11
Current children cumulated vsize (KiB) 915436
[startup+1543.06 s]
/proc/loadavg: 2.00 1.69 1.30 3/80 3924
/proc/meminfo: memFree=1214832/2055920 swapFree=4192812/4192956
[pid=3581] ppid=3579 vsize=915436 CPUtime=1542.11
/proc/3581/stat : 3581 (java) R 3579 3581 3032 0 -1 0 9575 0 1 0 154145 66 0 0 25 0 8 0 79720904 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073852440 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3581/statm: 228859 9301 2527 14 0 215329 0
[pid=3581/tid=3583] ppid=3579 vsize=915436 CPUtime=0.03
/proc/3581/task/3583/stat : 3583 (java) S 3579 3581 3032 0 -1 64 238 0 0 0 3 0 0 0 16 0 8 0 79720908 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3581/tid=3584] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3584/stat : 3584 (java) S 3579 3581 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79720908 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3585] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3585/stat : 3585 (java) S 3579 3581 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79720908 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3586] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3586/stat : 3586 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3587] ppid=3579 vsize=915436 CPUtime=0.24
/proc/3581/task/3587/stat : 3587 (java) S 3579 3581 3032 0 -1 64 407 0 0 0 22 2 0 0 16 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3588] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3588/stat : 3588 (java) S 3579 3581 3032 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3589] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3589/stat : 3589 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.11
Current children cumulated vsize (KiB) 915436
[startup+1603.11 s]
/proc/loadavg: 2.00 1.74 1.34 3/80 3924
/proc/meminfo: memFree=1214832/2055920 swapFree=4192812/4192956
[pid=3581] ppid=3579 vsize=915436 CPUtime=1602.08
/proc/3581/stat : 3581 (java) R 3579 3581 3032 0 -1 0 9575 0 1 0 160142 66 0 0 25 0 8 0 79720904 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846967 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3581/statm: 228859 9301 2527 14 0 215329 0
[pid=3581/tid=3583] ppid=3579 vsize=915436 CPUtime=0.03
/proc/3581/task/3583/stat : 3583 (java) S 3579 3581 3032 0 -1 64 238 0 0 0 3 0 0 0 16 0 8 0 79720908 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3581/tid=3584] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3584/stat : 3584 (java) S 3579 3581 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79720908 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3585] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3585/stat : 3585 (java) S 3579 3581 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79720908 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3586] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3586/stat : 3586 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3587] ppid=3579 vsize=915436 CPUtime=0.24
/proc/3581/task/3587/stat : 3587 (java) S 3579 3581 3032 0 -1 64 407 0 0 0 22 2 0 0 16 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3588] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3588/stat : 3588 (java) S 3579 3581 3032 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3589] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3589/stat : 3589 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602.08
Current children cumulated vsize (KiB) 915436
[startup+1663.17 s]
/proc/loadavg: 2.00 1.79 1.38 3/80 3924
/proc/meminfo: memFree=1214832/2055920 swapFree=4192812/4192956
[pid=3581] ppid=3579 vsize=915436 CPUtime=1662.09
/proc/3581/stat : 3581 (java) R 3579 3581 3032 0 -1 0 9575 0 1 0 166143 66 0 0 25 0 8 0 79720904 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073873002 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3581/statm: 228859 9301 2527 14 0 215329 0
[pid=3581/tid=3583] ppid=3579 vsize=915436 CPUtime=0.03
/proc/3581/task/3583/stat : 3583 (java) S 3579 3581 3032 0 -1 64 238 0 0 0 3 0 0 0 16 0 8 0 79720908 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3581/tid=3584] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3584/stat : 3584 (java) S 3579 3581 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79720908 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3585] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3585/stat : 3585 (java) S 3579 3581 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79720908 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3586] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3586/stat : 3586 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3587] ppid=3579 vsize=915436 CPUtime=0.24
/proc/3581/task/3587/stat : 3587 (java) S 3579 3581 3032 0 -1 64 407 0 0 0 22 2 0 0 16 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3588] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3588/stat : 3588 (java) S 3579 3581 3032 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3589] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3589/stat : 3589 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1662.09
Current children cumulated vsize (KiB) 915436
[startup+1723.23 s]
/proc/loadavg: 2.00 1.82 1.41 3/80 3924
/proc/meminfo: memFree=1214768/2055920 swapFree=4192812/4192956
[pid=3581] ppid=3579 vsize=915436 CPUtime=1722.09
/proc/3581/stat : 3581 (java) R 3579 3581 3032 0 -1 0 9575 0 1 0 172143 66 0 0 25 0 8 0 79720904 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851365 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3581/statm: 228859 9301 2527 14 0 215329 0
[pid=3581/tid=3583] ppid=3579 vsize=915436 CPUtime=0.03
/proc/3581/task/3583/stat : 3583 (java) S 3579 3581 3032 0 -1 64 238 0 0 0 3 0 0 0 16 0 8 0 79720908 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3581/tid=3584] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3584/stat : 3584 (java) S 3579 3581 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79720908 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3585] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3585/stat : 3585 (java) S 3579 3581 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79720908 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3586] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3586/stat : 3586 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3587] ppid=3579 vsize=915436 CPUtime=0.24
/proc/3581/task/3587/stat : 3587 (java) S 3579 3581 3032 0 -1 64 407 0 0 0 22 2 0 0 16 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3588] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3588/stat : 3588 (java) S 3579 3581 3032 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3589] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3589/stat : 3589 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1722.09
Current children cumulated vsize (KiB) 915436
[startup+1783.28 s]
/proc/loadavg: 2.04 1.87 1.45 3/80 3924
/proc/meminfo: memFree=1214768/2055920 swapFree=4192812/4192956
[pid=3581] ppid=3579 vsize=915436 CPUtime=1782.08
/proc/3581/stat : 3581 (java) R 3579 3581 3032 0 -1 0 9575 0 1 0 178141 67 0 0 25 0 8 0 79720904 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073913754 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3581/statm: 228859 9301 2527 14 0 215329 0
[pid=3581/tid=3583] ppid=3579 vsize=915436 CPUtime=0.03
/proc/3581/task/3583/stat : 3583 (java) S 3579 3581 3032 0 -1 64 238 0 0 0 3 0 0 0 16 0 8 0 79720908 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3581/tid=3584] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3584/stat : 3584 (java) S 3579 3581 3032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79720908 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3585] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3585/stat : 3585 (java) S 3579 3581 3032 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79720908 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3586] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3586/stat : 3586 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3587] ppid=3579 vsize=915436 CPUtime=0.24
/proc/3581/task/3587/stat : 3587 (java) S 3579 3581 3032 0 -1 64 407 0 0 0 22 2 0 0 16 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3588] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3588/stat : 3588 (java) S 3579 3581 3032 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3581/tid=3589] ppid=3579 vsize=915436 CPUtime=0
/proc/3581/task/3589/stat : 3589 (java) S 3579 3581 3032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 79720914 937406464 9301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1782.08
Current children cumulated vsize (KiB) 915436
Child status: 0
Real time (s): 1815.08
CPU time (s): 1813.82
CPU user time (s): 1813.14
CPU system time (s): 0.676897
CPU usage (%): 99.9304
Max. virtual memory (cumulated for all children) (KiB): 915952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1813.14
system time used= 0.676897
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9590
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= 37694
involuntary context switches= 41475
runsolver used 2.00769 s user time and 4.99024 s system time
The end
Begin job on node71 on Sat Jan 20 19:44:01 UTC 2007
IDJOB= 282764
IDBENCH= 12887
IDSOLVER= 69
FILE ID= node71/282764-1169322241
PBS_JOBID= 3610422
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/celar/subs6/scenw-6-sub4_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282764-1169322241/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-282764-1169322241 -o ROOT/results/node71/solver-282764-1169322241 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282764-1169322241/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a791ab88720a2c7120593a483c365e07
RANDOM SEED= 554835399
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/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.236
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.236
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: 1260544 kB
Buffers: 56768 kB
Cached: 647576 kB
SwapCached: 0 kB
Active: 154632 kB
Inactive: 565596 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1260544 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2308 kB
Writeback: 0 kB
Mapped: 26060 kB
Slab: 61132 kB
Committed_AS: 1134156 kB
PageTables: 1452 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= 66560 MiB
End job on node71 on Sat Jan 20 20:14:16 UTC 2007