runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254040-1501614208/watcher-4254040-1501614208 -o /tmp/evaluation-result-4254040-1501614208/solver-4254040-1501614208 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501611185-5152 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1284442115 HOME/instance-4254040-1501614208.xml
pid=7263
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.96 1.91 1.72 2/195 7266
/proc/meminfo: memFree=31857076/32770624 swapFree=0/182952
[pid=7266] ppid=7263 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/7266/stat : 7266 (runsolver) D 7263 7266 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10043903 24240128 106 18446744073709551615 4194304 4338465 140722886453760 140722886451400 139911576273623 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 27799552 140722886455389 140722886455878 140722886455878 140722886459338 0
/proc/7266/statm: 5918 106 53 36 0 2156 0
[startup+0.100156 s]
/proc/loadavg: 1.96 1.91 1.72 2/195 7266
/proc/meminfo: memFree=31857076/32770624 swapFree=0/182952
[pid=7266] ppid=7263 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7266/stat : 7266 (xcsp3-exec) S 7263 7266 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10043903 9740288 345 18446744073709551615 4194304 5098028 140732509831168 140732509829272 140395005600380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 26718208 140732509835675 140732509835879 140732509835879 140732509839339 0
/proc/7266/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.2003 s]
/proc/loadavg: 1.96 1.91 1.72 2/195 7266
/proc/meminfo: memFree=31857076/32770624 swapFree=0/182952
[pid=7266] ppid=7263 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7266/stat : 7266 (xcsp3-exec) S 7263 7266 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10043903 9740288 345 18446744073709551615 4194304 5098028 140732509831168 140732509829272 140395005600380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 26718208 140732509835675 140732509835879 140732509835879 140732509839339 0
/proc/7266/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300232 s]
/proc/loadavg: 1.96 1.91 1.72 2/195 7266
/proc/meminfo: memFree=31857076/32770624 swapFree=0/182952
[pid=7266] ppid=7263 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7266/stat : 7266 (xcsp3-exec) S 7263 7266 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10043903 9740288 345 18446744073709551615 4194304 5098028 140732509831168 140732509829272 140395005600380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 26718208 140732509835675 140732509835879 140732509835879 140732509839339 0
/proc/7266/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700271 s]
/proc/loadavg: 1.96 1.91 1.72 2/195 7266
/proc/meminfo: memFree=31857076/32770624 swapFree=0/182952
[pid=7266] ppid=7263 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7266/stat : 7266 (xcsp3-exec) S 7263 7266 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10043903 9740288 345 18446744073709551615 4194304 5098028 140732509831168 140732509829272 140395005600380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 26718208 140732509835675 140732509835879 140732509835879 140732509839339 0
/proc/7266/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50145 s]
/proc/loadavg: 2.13 1.95 1.73 6/211 7282
/proc/meminfo: memFree=31650212/32770624 swapFree=0/182964
[pid=7266] ppid=7263 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7266/stat : 7266 (xcsp3-exec) S 7263 7266 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10043903 9740288 345 18446744073709551615 4194304 5098028 140732509831168 140732509829272 140395005600380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 26718208 140732509835675 140732509835879 140732509835879 140732509839339 0
/proc/7266/statm: 2378 345 289 221 0 87 0
[pid=7268] ppid=7266 vsize=13980732 CPUtime=4.04 cores=1,3,5,7
/proc/7268/stat : 7268 (java) S 7266 7266 5091 0 -1 1077944320 16791 0 0 0 391 13 0 0 20 0 15 0 10043910 14316269568 57293 18446744073709551615 4194304 4196468 140725069255488 140725069238032 139925581119223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
/proc/7268/statm: 3495183 57293 3206 1 0 3483484 0
[pid=7268/tid=7269] ppid=7266 vsize=13980732 CPUtime=1.33 cores=1,3,5,7
/proc/7268/task/7269/stat : 7269 (java) R 7266 7266 5091 0 -1 4202560 8508 0 0 0 128 5 0 0 20 0 15 0 10043911 14316269568 57293 18446744073709551615 4194304 4196468 140725069255488 139925585354440 139925224899076 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7270] ppid=7266 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7268/task/7270/stat : 7270 (java) S 7266 7266 5091 0 -1 1077944384 64 0 0 0 2 1 0 0 20 0 15 0 10043911 14316269568 57293 18446744073709551615 4194304 4196468 140725069255488 139925542017680 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7271] ppid=7266 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7268/task/7271/stat : 7271 (java) S 7266 7266 5091 0 -1 1077944384 75 0 0 0 2 1 0 0 20 0 15 0 10043911 14316269568 57293 18446744073709551615 4194304 4196468 140725069255488 139925540964880 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7272] ppid=7266 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/7268/task/7272/stat : 7272 (java) S 7266 7266 5091 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 15 0 10043911 14316269568 57293 18446744073709551615 4194304 4196468 140725069255488 139925539912080 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7273] ppid=7266 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7268/task/7273/stat : 7273 (java) S 7266 7266 5091 0 -1 1077944384 138 0 0 0 2 1 0 0 20 0 15 0 10043911 14316269568 57293 18446744073709551615 4194304 4196468 140725069255488 139925177952528 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7274] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7274/stat : 7274 (java) S 7266 7266 5091 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 10043913 14316269568 57293 18446744073709551615 4194304 4196468 140725069255488 139925059615600 139925581130370 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7275] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7275/stat : 7275 (java) S 7266 7266 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10043913 14316269568 57293 18446744073709551615 4194304 4196468 140725069255488 139925058561632 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7276] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7276/stat : 7276 (java) S 7266 7266 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10043913 14316269568 57293 18446744073709551615 4194304 4196468 140725069255488 139925057508736 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7277] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7277/stat : 7277 (java) S 7266 7266 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10043916 14316269568 57293 18446744073709551615 4194304 4196468 140725069255488 139925056457040 139925581137819 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7278] ppid=7266 vsize=13980732 CPUtime=1 cores=1,3,5,7
/proc/7268/task/7278/stat : 7278 (java) R 7266 7266 5091 0 -1 4202560 1996 0 0 0 99 1 0 0 20 0 15 0 10043916 14316269568 57293 18446744073709551615 4194304 4196468 140725069255488 139925055388512 139925562663340 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7279] ppid=7266 vsize=13980732 CPUtime=0.99 cores=1,3,5,7
/proc/7268/task/7279/stat : 7279 (java) R 7266 7266 5091 0 -1 4202560 2166 0 0 0 99 0 0 0 20 0 15 0 10043916 14316269568 57293 18446744073709551615 4194304 4196468 140725069255488 139925054351600 139925558866668 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7280] ppid=7266 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/7268/task/7280/stat : 7280 (java) S 7266 7266 5091 0 -1 1077944384 2436 0 0 0 55 0 0 0 20 0 15 0 10043916 14316269568 57293 18446744073709551615 4194304 4196468 140725069255488 139925053298800 139925581130370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7281] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7281/stat : 7281 (java) S 7266 7266 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10043916 14316269568 57293 18446744073709551615 4194304 4196468 140725069255488 139925052246240 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7282] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7282/stat : 7282 (java) S 7266 7266 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10043920 14316269568 57293 18446744073709551615 4194304 4196468 140725069255488 139925051194544 139925581130370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 13990244
[startup+3.10072 s]
/proc/loadavg: 2.13 1.95 1.73 5/211 7282
/proc/meminfo: memFree=31411280/32770624 swapFree=0/182964
[pid=7266] ppid=7263 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7266/stat : 7266 (xcsp3-exec) S 7263 7266 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10043903 9740288 345 18446744073709551615 4194304 5098028 140732509831168 140732509829272 140395005600380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 26718208 140732509835675 140732509835879 140732509835879 140732509839339 0
/proc/7266/statm: 2378 345 289 221 0 87 0
[pid=7268] ppid=7266 vsize=13980732 CPUtime=9.58 cores=1,3,5,7
/proc/7268/stat : 7268 (java) S 7266 7266 5091 0 -1 1077944320 20224 0 0 0 911 47 0 0 20 0 15 0 10043910 14316269568 156562 18446744073709551615 4194304 4196468 140725069255488 140725069238032 139925581119223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
/proc/7268/statm: 3495183 156562 3233 1 0 3483484 0
[pid=7268/tid=7269] ppid=7266 vsize=13980732 CPUtime=1.96 cores=1,3,5,7
/proc/7268/task/7269/stat : 7269 (java) R 7266 7266 5091 0 -1 4202560 8560 0 0 0 189 7 0 0 20 0 15 0 10043911 14316269568 156562 18446744073709551615 4194304 4196468 140725069255488 139925585354864 139925226196542 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7270] ppid=7266 vsize=13980732 CPUtime=0.91 cores=1,3,5,7
/proc/7268/task/7270/stat : 7270 (java) S 7266 7266 5091 0 -1 1077944384 635 0 0 0 83 8 0 0 20 0 15 0 10043911 14316269568 156562 18446744073709551615 4194304 4196468 140725069255488 139925542017680 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7271] ppid=7266 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/7268/task/7271/stat : 7271 (java) S 7266 7266 5091 0 -1 1077944384 456 0 0 0 84 9 0 0 20 0 15 0 10043911 14316269568 156562 18446744073709551615 4194304 4196468 140725069255488 139925540964880 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7272] ppid=7266 vsize=13980732 CPUtime=0.92 cores=1,3,5,7
/proc/7268/task/7272/stat : 7272 (java) S 7266 7266 5091 0 -1 1077944384 482 0 0 0 84 8 0 0 20 0 15 0 10043911 14316269568 156562 18446744073709551615 4194304 4196468 140725069255488 139925539912080 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7273] ppid=7266 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/7268/task/7273/stat : 7273 (java) S 7266 7266 5091 0 -1 1077944384 351 0 0 0 83 10 0 0 20 0 15 0 10043911 14316269568 156562 18446744073709551615 4194304 4196468 140725069255488 139925177952528 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7274] ppid=7266 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/7268/task/7274/stat : 7274 (java) S 7266 7266 5091 0 -1 1077944384 445 0 0 0 5 0 0 0 20 0 15 0 10043913 14316269568 156562 18446744073709551615 4194304 4196468 140725069255488 139925059615600 139925581130370 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7275] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7275/stat : 7275 (java) S 7266 7266 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10043913 14316269568 156562 18446744073709551615 4194304 4196468 140725069255488 139925058561632 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7276] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7276/stat : 7276 (java) S 7266 7266 5091 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10043913 14316269568 156562 18446744073709551615 4194304 4196468 140725069255488 139925057508736 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7277] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7277/stat : 7277 (java) S 7266 7266 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10043916 14316269568 156562 18446744073709551615 4194304 4196468 140725069255488 139925056457040 139925581137819 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7278] ppid=7266 vsize=13980732 CPUtime=1.63 cores=1,3,5,7
/proc/7268/task/7278/stat : 7278 (java) S 7266 7266 5091 0 -1 1077944384 2893 0 0 0 162 1 0 0 20 0 15 0 10043916 14316269568 156562 18446744073709551615 4194304 4196468 140725069255488 139925055404400 139925581130370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7279] ppid=7266 vsize=13980732 CPUtime=1.6 cores=1,3,5,7
/proc/7268/task/7279/stat : 7279 (java) S 7266 7266 5091 0 -1 1077944384 2639 0 0 0 160 0 0 0 20 0 15 0 10043916 14316269568 156562 18446744073709551615 4194304 4196468 140725069255488 139925054351600 139925581130370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7280] ppid=7266 vsize=13980732 CPUtime=0.57 cores=1,3,5,7
/proc/7268/task/7280/stat : 7280 (java) S 7266 7266 5091 0 -1 1077944384 2466 0 0 0 57 0 0 0 20 0 15 0 10043916 14316269568 156562 18446744073709551615 4194304 4196468 140725069255488 139925053298800 139925581130370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7281] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7281/stat : 7281 (java) S 7266 7266 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10043916 14316269568 156562 18446744073709551615 4194304 4196468 140725069255488 139925052246240 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7282] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7282/stat : 7282 (java) S 7266 7266 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10043920 14316269568 156562 18446744073709551615 4194304 4196468 140725069255488 139925051194544 139925581130370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
Current children cumulated CPU time (s) 9.58
Current children cumulated vsize (KiB) 13990244
[startup+6.30085 s]
/proc/loadavg: 2.13 1.95 1.73 3/211 7282
/proc/meminfo: memFree=31243020/32770624 swapFree=0/182964
[pid=7266] ppid=7263 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7266/stat : 7266 (xcsp3-exec) S 7263 7266 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10043903 9740288 345 18446744073709551615 4194304 5098028 140732509831168 140732509829272 140395005600380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 26718208 140732509835675 140732509835879 140732509835879 140732509839339 0
/proc/7266/statm: 2378 345 289 221 0 87 0
[pid=7268] ppid=7266 vsize=13980732 CPUtime=14.66 cores=1,3,5,7
/proc/7268/stat : 7268 (java) S 7266 7266 5091 0 -1 1077944320 28930 0 0 0 1416 50 0 0 20 0 15 0 10043910 14316269568 177103 18446744073709551615 4194304 4196468 140725069255488 140725069238032 139925581119223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
/proc/7268/statm: 3495183 177103 3240 1 0 3483484 0
[pid=7268/tid=7269] ppid=7266 vsize=13980732 CPUtime=5.15 cores=1,3,5,7
/proc/7268/task/7269/stat : 7269 (java) R 7266 7266 5091 0 -1 4202560 9687 0 0 0 507 8 0 0 20 0 15 0 10043911 14316269568 177103 18446744073709551615 4194304 4196468 140725069255488 139925585355232 139925227938598 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7270] ppid=7266 vsize=13980732 CPUtime=0.91 cores=1,3,5,7
/proc/7268/task/7270/stat : 7270 (java) S 7266 7266 5091 0 -1 1077944384 635 0 0 0 83 8 0 0 20 0 15 0 10043911 14316269568 177103 18446744073709551615 4194304 4196468 140725069255488 139925542017680 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7271] ppid=7266 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/7268/task/7271/stat : 7271 (java) S 7266 7266 5091 0 -1 1077944384 456 0 0 0 84 9 0 0 20 0 15 0 10043911 14316269568 177103 18446744073709551615 4194304 4196468 140725069255488 139925540964880 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7272] ppid=7266 vsize=13980732 CPUtime=0.92 cores=1,3,5,7
/proc/7268/task/7272/stat : 7272 (java) S 7266 7266 5091 0 -1 1077944384 482 0 0 0 84 8 0 0 20 0 15 0 10043911 14316269568 177103 18446744073709551615 4194304 4196468 140725069255488 139925539912080 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7273] ppid=7266 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/7268/task/7273/stat : 7273 (java) S 7266 7266 5091 0 -1 1077944384 351 0 0 0 83 10 0 0 20 0 15 0 10043911 14316269568 177103 18446744073709551615 4194304 4196468 140725069255488 139925177952528 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7274] ppid=7266 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/7268/task/7274/stat : 7274 (java) S 7266 7266 5091 0 -1 1077944384 517 0 0 0 6 0 0 0 20 0 15 0 10043913 14316269568 177103 18446744073709551615 4194304 4196468 140725069255488 139925059615600 139925581130370 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7275] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7275/stat : 7275 (java) S 7266 7266 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10043913 14316269568 177103 18446744073709551615 4194304 4196468 140725069255488 139925058561632 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7276] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7276/stat : 7276 (java) S 7266 7266 5091 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10043913 14316269568 177103 18446744073709551615 4194304 4196468 140725069255488 139925057508736 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7277] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7277/stat : 7277 (java) S 7266 7266 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10043916 14316269568 177103 18446744073709551615 4194304 4196468 140725069255488 139925056457040 139925581137819 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7278] ppid=7266 vsize=13980732 CPUtime=2.55 cores=1,3,5,7
/proc/7268/task/7278/stat : 7278 (java) S 7266 7266 5091 0 -1 1077944384 6157 0 0 0 254 1 0 0 20 0 15 0 10043916 14316269568 177103 18446744073709551615 4194304 4196468 140725069255488 139925055404400 139925581130370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7279] ppid=7266 vsize=13980732 CPUtime=2.42 cores=1,3,5,7
/proc/7268/task/7279/stat : 7279 (java) R 7266 7266 5091 0 -1 4202560 5892 0 0 0 241 1 0 0 20 0 15 0 10043916 14316269568 177103 18446744073709551615 4194304 4196468 140725069255488 139925054351600 139925573408672 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7280] ppid=7266 vsize=13980732 CPUtime=0.7 cores=1,3,5,7
/proc/7268/task/7280/stat : 7280 (java) S 7266 7266 5091 0 -1 1077944384 2896 0 0 0 69 1 0 0 20 0 15 0 10043916 14316269568 177103 18446744073709551615 4194304 4196468 140725069255488 139925053298800 139925581130370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7281] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7281/stat : 7281 (java) S 7266 7266 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10043916 14316269568 177103 18446744073709551615 4194304 4196468 140725069255488 139925052246240 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7282] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7282/stat : 7282 (java) S 7266 7266 5091 0 -1 1077944384 561 0 0 0 0 0 0 0 20 0 15 0 10043920 14316269568 177103 18446744073709551615 4194304 4196468 140725069255488 139925051194544 139925581130370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
Current children cumulated CPU time (s) 14.66
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.18 1.96 1.74 3/211 7282
/proc/meminfo: memFree=31166872/32770624 swapFree=0/182984
[pid=7266] ppid=7263 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7266/stat : 7266 (xcsp3-exec) S 7263 7266 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10043903 9740288 345 18446744073709551615 4194304 5098028 140732509831168 140732509829272 140395005600380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 26718208 140732509835675 140732509835879 140732509835879 140732509839339 0
/proc/7266/statm: 2378 345 289 221 0 87 0
[pid=7268] ppid=7266 vsize=13980732 CPUtime=22.16 cores=1,3,5,7
/proc/7268/stat : 7268 (java) S 7266 7266 5091 0 -1 1077944320 30037 0 0 0 2164 52 0 0 20 0 15 0 10043910 14316269568 175263 18446744073709551615 4194304 4196468 140725069255488 140725069238032 139925581119223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
/proc/7268/statm: 3495183 175263 3240 1 0 3483484 0
[pid=7268/tid=7269] ppid=7266 vsize=13980732 CPUtime=11.55 cores=1,3,5,7
/proc/7268/task/7269/stat : 7269 (java) R 7266 7266 5091 0 -1 4202560 10159 0 0 0 1147 8 0 0 20 0 15 0 10043911 14316269568 175263 18446744073709551615 4194304 4196468 140725069255488 139925585354800 139925228820592 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7270] ppid=7266 vsize=13980732 CPUtime=0.91 cores=1,3,5,7
/proc/7268/task/7270/stat : 7270 (java) S 7266 7266 5091 0 -1 1077944384 635 0 0 0 83 8 0 0 20 0 15 0 10043911 14316269568 175263 18446744073709551615 4194304 4196468 140725069255488 139925542017680 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7271] ppid=7266 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/7268/task/7271/stat : 7271 (java) S 7266 7266 5091 0 -1 1077944384 456 0 0 0 84 9 0 0 20 0 15 0 10043911 14316269568 175263 18446744073709551615 4194304 4196468 140725069255488 139925540964880 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
################
# More data... #
################
/proc/7268/stat : 7268 (java) S 7266 7266 5091 0 -1 1077944320 41858 0 0 0 11162 55 0 0 20 0 15 0 10043910 14316269568 176174 18446744073709551615 4194304 4196468 140725069255488 140725069238032 139925581119223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
/proc/7268/statm: 3495183 176174 3240 1 0 3483484 0
[pid=7268/tid=7269] ppid=7266 vsize=13980732 CPUtime=101.14 cores=1,3,5,7
/proc/7268/task/7269/stat : 7269 (java) R 7266 7266 5091 0 -1 4202560 12223 0 0 0 10106 8 0 0 20 0 15 0 10043911 14316269568 176174 18446744073709551615 4194304 4196468 140725069255488 139925585356344 139925228558035 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7270] ppid=7266 vsize=13980732 CPUtime=0.91 cores=1,3,5,7
/proc/7268/task/7270/stat : 7270 (java) S 7266 7266 5091 0 -1 1077944384 635 0 0 0 83 8 0 0 20 0 15 0 10043911 14316269568 176174 18446744073709551615 4194304 4196468 140725069255488 139925542017680 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7271] ppid=7266 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/7268/task/7271/stat : 7271 (java) S 7266 7266 5091 0 -1 1077944384 456 0 0 0 84 9 0 0 20 0 15 0 10043911 14316269568 176174 18446744073709551615 4194304 4196468 140725069255488 139925540964880 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7272] ppid=7266 vsize=13980732 CPUtime=0.92 cores=1,3,5,7
/proc/7268/task/7272/stat : 7272 (java) S 7266 7266 5091 0 -1 1077944384 482 0 0 0 84 8 0 0 20 0 15 0 10043911 14316269568 176174 18446744073709551615 4194304 4196468 140725069255488 139925539912080 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7273] ppid=7266 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/7268/task/7273/stat : 7273 (java) S 7266 7266 5091 0 -1 1077944384 351 0 0 0 83 10 0 0 20 0 15 0 10043911 14316269568 176174 18446744073709551615 4194304 4196468 140725069255488 139925177952528 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7274] ppid=7266 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/7268/task/7274/stat : 7274 (java) S 7266 7266 5091 0 -1 1077944384 627 0 0 0 6 1 0 0 20 0 15 0 10043913 14316269568 176174 18446744073709551615 4194304 4196468 140725069255488 139925059615600 139925581130370 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7275] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7275/stat : 7275 (java) S 7266 7266 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10043913 14316269568 176174 18446744073709551615 4194304 4196468 140725069255488 139925058561632 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7276] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7276/stat : 7276 (java) S 7266 7266 5091 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10043913 14316269568 176174 18446744073709551615 4194304 4196468 140725069255488 139925057508736 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7277] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7277/stat : 7277 (java) S 7266 7266 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10043916 14316269568 176174 18446744073709551615 4194304 4196468 140725069255488 139925056457040 139925581137819 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7278] ppid=7266 vsize=13980732 CPUtime=3.16 cores=1,3,5,7
/proc/7268/task/7278/stat : 7278 (java) S 7266 7266 5091 0 -1 1077944384 8181 0 0 0 314 2 0 0 20 0 15 0 10043916 14316269568 176174 18446744073709551615 4194304 4196468 140725069255488 139925055404400 139925581130370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7279] ppid=7266 vsize=13980732 CPUtime=3.24 cores=1,3,5,7
/proc/7268/task/7279/stat : 7279 (java) S 7266 7266 5091 0 -1 1077944384 13406 0 0 0 322 2 0 0 20 0 15 0 10043916 14316269568 176174 18446744073709551615 4194304 4196468 140725069255488 139925054351600 139925581130370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7280] ppid=7266 vsize=13980732 CPUtime=0.73 cores=1,3,5,7
/proc/7268/task/7280/stat : 7280 (java) S 7266 7266 5091 0 -1 1077944384 3469 0 0 0 72 1 0 0 20 0 15 0 10043916 14316269568 176174 18446744073709551615 4194304 4196468 140725069255488 139925053298800 139925581130370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7281] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7281/stat : 7281 (java) S 7266 7266 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10043916 14316269568 176174 18446744073709551615 4194304 4196468 140725069255488 139925052246240 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7282] ppid=7266 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/7268/task/7282/stat : 7282 (java) S 7266 7266 5091 0 -1 1077944384 732 0 0 0 3 3 0 0 20 0 15 0 10043920 14316269568 176174 18446744073709551615 4194304 4196468 140725069255488 139925051194544 139925581130370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
Current children cumulated CPU time (s) 112.17
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.96 1.97 1.78 3/212 7448
/proc/meminfo: memFree=30690712/32770624 swapFree=0/183208
[pid=7266] ppid=7263 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7266/stat : 7266 (xcsp3-exec) S 7263 7266 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10043903 9740288 345 18446744073709551615 4194304 5098028 140732509831168 140732509829272 140395005600380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 26718208 140732509835675 140732509835879 140732509835879 140732509839339 0
/proc/7266/statm: 2378 345 289 221 0 87 0
[pid=7268] ppid=7266 vsize=13980732 CPUtime=174.35 cores=1,3,5,7
/proc/7268/stat : 7268 (java) S 7266 7266 5091 0 -1 1077944320 52510 0 0 0 17362 73 0 0 20 0 15 0 10043910 14316269568 270825 18446744073709551615 4194304 4196468 140725069255488 140725069238032 139925581119223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
/proc/7268/statm: 3495183 270825 3242 1 0 3483484 0
[pid=7268/tid=7269] ppid=7266 vsize=13980732 CPUtime=159.97 cores=1,3,5,7
/proc/7268/task/7269/stat : 7269 (java) R 7266 7266 5091 0 -1 4202560 13980 0 0 0 15987 10 0 0 20 0 15 0 10043911 14316269568 270825 18446744073709551615 4194304 4196468 140725069255488 139925585355616 139925229082173 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7270] ppid=7266 vsize=13980732 CPUtime=1.6 cores=1,3,5,7
/proc/7268/task/7270/stat : 7270 (java) S 7266 7266 5091 0 -1 1077944384 1409 0 0 0 148 12 0 0 20 0 15 0 10043911 14316269568 270825 18446744073709551615 4194304 4196468 140725069255488 139925542017680 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7271] ppid=7266 vsize=13980732 CPUtime=1.61 cores=1,3,5,7
/proc/7268/task/7271/stat : 7271 (java) S 7266 7266 5091 0 -1 1077944384 678 0 0 0 149 12 0 0 20 0 15 0 10043911 14316269568 270825 18446744073709551615 4194304 4196468 140725069255488 139925540964880 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7272] ppid=7266 vsize=13980732 CPUtime=1.6 cores=1,3,5,7
/proc/7268/task/7272/stat : 7272 (java) S 7266 7266 5091 0 -1 1077944384 721 0 0 0 148 12 0 0 20 0 15 0 10043911 14316269568 270825 18446744073709551615 4194304 4196468 140725069255488 139925539912080 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7273] ppid=7266 vsize=13980732 CPUtime=1.61 cores=1,3,5,7
/proc/7268/task/7273/stat : 7273 (java) S 7266 7266 5091 0 -1 1077944384 1051 0 0 0 148 13 0 0 20 0 15 0 10043911 14316269568 270825 18446744073709551615 4194304 4196468 140725069255488 139925177952528 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7274] ppid=7266 vsize=13980732 CPUtime=0.54 cores=1,3,5,7
/proc/7268/task/7274/stat : 7274 (java) S 7266 7266 5091 0 -1 1077944384 4948 0 0 0 53 1 0 0 20 0 15 0 10043913 14316269568 270825 18446744073709551615 4194304 4196468 140725069255488 139925059615600 139925581130370 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7275] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7275/stat : 7275 (java) S 7266 7266 5091 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 10043913 14316269568 270825 18446744073709551615 4194304 4196468 140725069255488 139925058561632 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7276] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7276/stat : 7276 (java) S 7266 7266 5091 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 10043913 14316269568 270825 18446744073709551615 4194304 4196468 140725069255488 139925057508736 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7277] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7277/stat : 7277 (java) S 7266 7266 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10043916 14316269568 270825 18446744073709551615 4194304 4196468 140725069255488 139925056457040 139925581137819 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7278] ppid=7266 vsize=13980732 CPUtime=3.19 cores=1,3,5,7
/proc/7268/task/7278/stat : 7278 (java) S 7266 7266 5091 0 -1 1077944384 8814 0 0 0 317 2 0 0 20 0 15 0 10043916 14316269568 270825 18446744073709551615 4194304 4196468 140725069255488 139925055404400 139925581130370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7279] ppid=7266 vsize=13980732 CPUtime=3.3 cores=1,3,5,7
/proc/7268/task/7279/stat : 7279 (java) S 7266 7266 5091 0 -1 1077944384 14760 0 0 0 328 2 0 0 20 0 15 0 10043916 14316269568 270825 18446744073709551615 4194304 4196468 140725069255488 139925054351600 139925581130370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7280] ppid=7266 vsize=13980732 CPUtime=0.74 cores=1,3,5,7
/proc/7268/task/7280/stat : 7280 (java) S 7266 7266 5091 0 -1 1077944384 4054 0 0 0 73 1 0 0 20 0 15 0 10043916 14316269568 270825 18446744073709551615 4194304 4196468 140725069255488 139925053298800 139925581130370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7281] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7281/stat : 7281 (java) S 7266 7266 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10043916 14316269568 270825 18446744073709551615 4194304 4196468 140725069255488 139925052246240 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7282] ppid=7266 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/7268/task/7282/stat : 7282 (java) S 7266 7266 5091 0 -1 1077944384 774 0 0 0 4 5 0 0 20 0 15 0 10043920 14316269568 270825 18446744073709551615 4194304 4196468 140725069255488 139925051194544 139925581130370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
Current children cumulated CPU time (s) 174.35
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.99 1.97 1.79 3/212 7450
/proc/meminfo: memFree=30689788/32770624 swapFree=0/183272
[pid=7266] ppid=7263 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7266/stat : 7266 (xcsp3-exec) S 7263 7266 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10043903 9740288 345 18446744073709551615 4194304 5098028 140732509831168 140732509829272 140395005600380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 26718208 140732509835675 140732509835879 140732509835879 140732509839339 0
/proc/7266/statm: 2378 345 289 221 0 87 0
[pid=7268] ppid=7266 vsize=13980732 CPUtime=234.49 cores=1,3,5,7
/proc/7268/stat : 7268 (java) S 7266 7266 5091 0 -1 1077944320 53057 0 0 0 23369 80 0 0 20 0 15 0 10043910 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 140725069238032 139925581119223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
/proc/7268/statm: 3495183 270838 3242 1 0 3483484 0
[pid=7268/tid=7269] ppid=7266 vsize=13980732 CPUtime=219.98 cores=1,3,5,7
/proc/7268/task/7269/stat : 7269 (java) R 7266 7266 5091 0 -1 4202560 14094 0 0 0 21988 10 0 0 20 0 15 0 10043911 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925585354768 139925229056715 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7270] ppid=7266 vsize=13980732 CPUtime=1.6 cores=1,3,5,7
/proc/7268/task/7270/stat : 7270 (java) S 7266 7266 5091 0 -1 1077944384 1409 0 0 0 148 12 0 0 20 0 15 0 10043911 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925542017680 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7271] ppid=7266 vsize=13980732 CPUtime=1.61 cores=1,3,5,7
/proc/7268/task/7271/stat : 7271 (java) S 7266 7266 5091 0 -1 1077944384 678 0 0 0 149 12 0 0 20 0 15 0 10043911 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925540964880 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7272] ppid=7266 vsize=13980732 CPUtime=1.6 cores=1,3,5,7
/proc/7268/task/7272/stat : 7272 (java) S 7266 7266 5091 0 -1 1077944384 721 0 0 0 148 12 0 0 20 0 15 0 10043911 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925539912080 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7273] ppid=7266 vsize=13980732 CPUtime=1.61 cores=1,3,5,7
/proc/7268/task/7273/stat : 7273 (java) S 7266 7266 5091 0 -1 1077944384 1051 0 0 0 148 13 0 0 20 0 15 0 10043911 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925177952528 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7274] ppid=7266 vsize=13980732 CPUtime=0.6 cores=1,3,5,7
/proc/7268/task/7274/stat : 7274 (java) S 7266 7266 5091 0 -1 1077944384 4948 0 0 0 54 6 0 0 20 0 15 0 10043913 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925059615600 139925581130370 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7275] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7275/stat : 7275 (java) S 7266 7266 5091 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 10043913 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925058561632 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7276] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7276/stat : 7276 (java) S 7266 7266 5091 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 10043913 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925057508736 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7277] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7277/stat : 7277 (java) S 7266 7266 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10043916 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925056457040 139925581137819 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7278] ppid=7266 vsize=13980732 CPUtime=3.21 cores=1,3,5,7
/proc/7268/task/7278/stat : 7278 (java) S 7266 7266 5091 0 -1 1077944384 9005 0 0 0 319 2 0 0 20 0 15 0 10043916 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925055404400 139925581130370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7279] ppid=7266 vsize=13980732 CPUtime=3.3 cores=1,3,5,7
/proc/7268/task/7279/stat : 7279 (java) S 7266 7266 5091 0 -1 1077944384 14760 0 0 0 328 2 0 0 20 0 15 0 10043916 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925054351600 139925581130370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7280] ppid=7266 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/7268/task/7280/stat : 7280 (java) S 7266 7266 5091 0 -1 1077944384 4293 0 0 0 75 1 0 0 20 0 15 0 10043916 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925053298800 139925581130370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7281] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7281/stat : 7281 (java) S 7266 7266 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10043916 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925052246240 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7282] ppid=7266 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/7268/task/7282/stat : 7282 (java) S 7266 7266 5091 0 -1 1077944384 777 0 0 0 5 8 0 0 20 0 15 0 10043920 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925051194544 139925581130370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
Current children cumulated CPU time (s) 234.49
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.99 1.97 1.79 3/212 7450
/proc/meminfo: memFree=30689788/32770624 swapFree=0/183280
[pid=7266] ppid=7263 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7266/stat : 7266 (xcsp3-exec) S 7263 7266 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10043903 9740288 345 18446744073709551615 4194304 5098028 140732509831168 140732509829272 140395005600380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 26718208 140732509835675 140732509835879 140732509835879 140732509839339 0
/proc/7266/statm: 2378 345 289 221 0 87 0
[pid=7268] ppid=7266 vsize=13980732 CPUtime=252.19 cores=1,3,5,7
/proc/7268/stat : 7268 (java) S 7266 7266 5091 0 -1 1077944320 53068 0 0 0 25139 80 0 0 20 0 15 0 10043910 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 140725069238032 139925581119223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
/proc/7268/statm: 3495183 270838 3242 1 0 3483484 0
[pid=7268/tid=7269] ppid=7266 vsize=13980732 CPUtime=237.67 cores=1,3,5,7
/proc/7268/task/7269/stat : 7269 (java) R 7266 7266 5091 0 -1 4202560 14096 0 0 0 23757 10 0 0 20 0 15 0 10043911 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925585358568 139925228109634 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7270] ppid=7266 vsize=13980732 CPUtime=1.6 cores=1,3,5,7
/proc/7268/task/7270/stat : 7270 (java) S 7266 7266 5091 0 -1 1077944384 1409 0 0 0 148 12 0 0 20 0 15 0 10043911 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925542017680 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7271] ppid=7266 vsize=13980732 CPUtime=1.61 cores=1,3,5,7
/proc/7268/task/7271/stat : 7271 (java) S 7266 7266 5091 0 -1 1077944384 678 0 0 0 149 12 0 0 20 0 15 0 10043911 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925540964880 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7272] ppid=7266 vsize=13980732 CPUtime=1.6 cores=1,3,5,7
/proc/7268/task/7272/stat : 7272 (java) S 7266 7266 5091 0 -1 1077944384 721 0 0 0 148 12 0 0 20 0 15 0 10043911 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925539912080 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7273] ppid=7266 vsize=13980732 CPUtime=1.61 cores=1,3,5,7
/proc/7268/task/7273/stat : 7273 (java) S 7266 7266 5091 0 -1 1077944384 1051 0 0 0 148 13 0 0 20 0 15 0 10043911 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925177952528 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7274] ppid=7266 vsize=13980732 CPUtime=0.6 cores=1,3,5,7
/proc/7268/task/7274/stat : 7274 (java) S 7266 7266 5091 0 -1 1077944384 4948 0 0 0 54 6 0 0 20 0 15 0 10043913 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925059615600 139925581130370 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7275] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7275/stat : 7275 (java) S 7266 7266 5091 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 10043913 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925058561632 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7276] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7276/stat : 7276 (java) S 7266 7266 5091 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 10043913 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925057508736 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7277] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7277/stat : 7277 (java) S 7266 7266 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10043916 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925056457040 139925581137819 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7278] ppid=7266 vsize=13980732 CPUtime=3.21 cores=1,3,5,7
/proc/7268/task/7278/stat : 7278 (java) S 7266 7266 5091 0 -1 1077944384 9005 0 0 0 319 2 0 0 20 0 15 0 10043916 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925055404400 139925581130370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7279] ppid=7266 vsize=13980732 CPUtime=3.3 cores=1,3,5,7
/proc/7268/task/7279/stat : 7279 (java) S 7266 7266 5091 0 -1 1077944384 14760 0 0 0 328 2 0 0 20 0 15 0 10043916 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925054351600 139925581130370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7280] ppid=7266 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/7268/task/7280/stat : 7280 (java) S 7266 7266 5091 0 -1 1077944384 4302 0 0 0 75 1 0 0 20 0 15 0 10043916 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925053298800 139925581130370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7281] ppid=7266 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7268/task/7281/stat : 7281 (java) S 7266 7266 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10043916 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925052246240 139925581129429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
[pid=7268/tid=7282] ppid=7266 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/7268/task/7282/stat : 7282 (java) S 7266 7266 5091 0 -1 1077944384 777 0 0 0 6 8 0 0 20 0 15 0 10043920 14316269568 270838 18446744073709551615 4194304 4196468 140725069255488 139925051194544 139925581130370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17805312 140725069259220 140725069259395 140725069259395 140725069262799 0
Current children cumulated CPU time (s) 252.19
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7268 sig 9
??? kill 7266 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.016
CPU time (s): 252.227
CPU user time (s): 251.406
CPU system time (s): 0.821243
CPU usage (%): 105.088
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.406
system time used= 0.821243
maximum resident set size= 1084240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53717
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7771
involuntary context switches= 248
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.10309 second user time and 1.58854 second system time
The end