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-4254990-1501623440/watcher-4254990-1501623440 -o /tmp/evaluation-result-4254990-1501623440/solver-4254990-1501623440 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501617182-10800 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 808101029 HOME/instance-4254990-1501623440.xml
pid=15278
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: 2.25 1.84 1.77 3/195 15281
/proc/meminfo: memFree=31441392/32770624 swapFree=0/195252
[pid=15281] ppid=15278 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/15281/stat : 15281 (runsolver) D 15278 15281 5123 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10960946 24240128 107 18446744073709551615 4194304 4338465 140735539160240 140735539157880 139835766174423 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 19820544 140735539167325 140735539167814 140735539167814 140735539171274 0
/proc/15281/statm: 5918 107 54 36 0 2156 0
[startup+0.106603 s]
/proc/loadavg: 2.25 1.84 1.77 3/195 15281
/proc/meminfo: memFree=31441392/32770624 swapFree=0/195252
[pid=15281] ppid=15278 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15281/stat : 15281 (xcsp3-exec) S 15278 15281 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10960946 9740288 345 18446744073709551615 4194304 5098028 140737217998352 140737217996456 140173100864124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 15224832 140737218003356 140737218003559 140737218003559 140737218007019 0
/proc/15281/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200292 s]
/proc/loadavg: 2.25 1.84 1.77 3/195 15281
/proc/meminfo: memFree=31441392/32770624 swapFree=0/195252
[pid=15281] ppid=15278 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15281/stat : 15281 (xcsp3-exec) S 15278 15281 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10960946 9740288 345 18446744073709551615 4194304 5098028 140737217998352 140737217996456 140173100864124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 15224832 140737218003356 140737218003559 140737218003559 140737218007019 0
/proc/15281/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.303713 s]
/proc/loadavg: 2.25 1.84 1.77 3/195 15281
/proc/meminfo: memFree=31441392/32770624 swapFree=0/195252
[pid=15281] ppid=15278 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15281/stat : 15281 (xcsp3-exec) S 15278 15281 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10960946 9740288 345 18446744073709551615 4194304 5098028 140737217998352 140737217996456 140173100864124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 15224832 140737218003356 140737218003559 140737218003559 140737218007019 0
/proc/15281/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700646 s]
/proc/loadavg: 2.25 1.84 1.77 3/195 15281
/proc/meminfo: memFree=31441392/32770624 swapFree=0/195252
[pid=15281] ppid=15278 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15281/stat : 15281 (xcsp3-exec) S 15278 15281 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10960946 9740288 345 18446744073709551615 4194304 5098028 140737217998352 140737217996456 140173100864124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 15224832 140737218003356 140737218003559 140737218003559 140737218007019 0
/proc/15281/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50069 s]
/proc/loadavg: 2.25 1.84 1.77 5/211 15297
/proc/meminfo: memFree=31327732/32770624 swapFree=0/195268
[pid=15281] ppid=15278 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15281/stat : 15281 (xcsp3-exec) S 15278 15281 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10960946 9740288 345 18446744073709551615 4194304 5098028 140737217998352 140737217996456 140173100864124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 15224832 140737218003356 140737218003559 140737218003559 140737218007019 0
/proc/15281/statm: 2378 345 289 221 0 87 0
[pid=15283] ppid=15281 vsize=13980732 CPUtime=4 cores=1,3,5,7
/proc/15283/stat : 15283 (java) S 15281 15281 5123 0 -1 1077944320 28685 0 0 0 393 7 0 0 20 0 15 0 10960952 14316269568 39296 18446744073709551615 4194304 4196468 140726240897904 140726240880448 139897957183223 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
/proc/15283/statm: 3495183 39296 3176 1 0 3483484 0
[pid=15283/tid=15284] ppid=15281 vsize=13980732 CPUtime=1.37 cores=1,3,5,7
/proc/15283/task/15284/stat : 15284 (java) R 15281 15281 5123 0 -1 4202560 9382 0 0 0 133 4 0 0 20 0 15 0 10960953 14316269568 39296 18446744073709551615 4194304 4196468 140726240897904 139897961421632 139897574202464 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15285] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15285/stat : 15285 (java) S 15281 15281 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10960953 14316269568 39296 18446744073709551615 4194304 4196468 140726240897904 139897891617552 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15286] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15286/stat : 15286 (java) S 15281 15281 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10960953 14316269568 39296 18446744073709551615 4194304 4196468 140726240897904 139897890565008 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15287] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15287/stat : 15287 (java) S 15281 15281 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10960953 14316269568 39296 18446744073709551615 4194304 4196468 140726240897904 139897555565584 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15288] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15288/stat : 15288 (java) S 15281 15281 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10960953 14316269568 39296 18446744073709551615 4194304 4196468 140726240897904 139897554513040 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15289] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15289/stat : 15289 (java) S 15281 15281 5123 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 10960955 14316269568 39296 18446744073709551615 4194304 4196468 140726240897904 139897502930928 139897957194370 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15290] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15290/stat : 15290 (java) S 15281 15281 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10960955 14316269568 39296 18446744073709551615 4194304 4196468 140726240897904 139897501877152 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15291] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15291/stat : 15291 (java) S 15281 15281 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10960955 14316269568 39296 18446744073709551615 4194304 4196468 140726240897904 139897500824560 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15292] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15292/stat : 15292 (java) S 15281 15281 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10960958 14316269568 39296 18446744073709551615 4194304 4196468 140726240897904 139897499773136 139897957201819 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15293] ppid=15281 vsize=13980732 CPUtime=1.02 cores=1,3,5,7
/proc/15283/task/15293/stat : 15293 (java) R 15281 15281 5123 0 -1 4202560 7327 0 0 0 102 0 0 0 20 0 15 0 10960958 14316269568 39296 18446744073709551615 4194304 4196468 140726240897904 139897498710352 139897943213024 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15294] ppid=15281 vsize=13980732 CPUtime=1.02 cores=1,3,5,7
/proc/15283/task/15294/stat : 15294 (java) R 15281 15281 5123 0 -1 4202560 6804 0 0 0 102 0 0 0 20 0 15 0 10960958 14316269568 39296 18446744073709551615 4194304 4196468 140726240897904 139897497652720 139897942088475 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15295] ppid=15281 vsize=13980732 CPUtime=0.54 cores=1,3,5,7
/proc/15283/task/15295/stat : 15295 (java) S 15281 15281 5123 0 -1 1077944384 3852 0 0 0 54 0 0 0 20 0 15 0 10960958 14316269568 39296 18446744073709551615 4194304 4196468 140726240897904 139897496615664 139897957194370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15296] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15296/stat : 15296 (java) S 15281 15281 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10960958 14316269568 39296 18446744073709551615 4194304 4196468 140726240897904 139897495563360 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15297] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15297/stat : 15297 (java) S 15281 15281 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10960962 14316269568 39296 18446744073709551615 4194304 4196468 140726240897904 139897494509872 139897957194370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 13990244
[startup+3.1007 s]
/proc/loadavg: 2.25 1.84 1.77 5/211 15297
/proc/meminfo: memFree=31197668/32770624 swapFree=0/195268
[pid=15281] ppid=15278 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15281/stat : 15281 (xcsp3-exec) S 15278 15281 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10960946 9740288 345 18446744073709551615 4194304 5098028 140737217998352 140737217996456 140173100864124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 15224832 140737218003356 140737218003559 140737218003559 140737218007019 0
/proc/15281/statm: 2378 345 289 221 0 87 0
[pid=15283] ppid=15281 vsize=13980732 CPUtime=7.67 cores=1,3,5,7
/proc/15283/stat : 15283 (java) S 15281 15281 5123 0 -1 1077944320 32007 0 0 0 752 15 0 0 20 0 15 0 10960952 14316269568 64053 18446744073709551615 4194304 4196468 140726240897904 140726240880448 139897957183223 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
/proc/15283/statm: 3495183 64053 3209 1 0 3483484 0
[pid=15283/tid=15284] ppid=15281 vsize=13980732 CPUtime=2.94 cores=1,3,5,7
/proc/15283/task/15284/stat : 15284 (java) R 15281 15281 5123 0 -1 4202560 10064 0 0 0 289 5 0 0 20 0 15 0 10960953 14316269568 64053 18446744073709551615 4194304 4196468 140726240897904 139897961420968 139897576291884 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15285] ppid=15281 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/15283/task/15285/stat : 15285 (java) S 15281 15281 5123 0 -1 1077944384 76 0 0 0 1 1 0 0 20 0 15 0 10960953 14316269568 64053 18446744073709551615 4194304 4196468 140726240897904 139897891617552 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15286] ppid=15281 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/15283/task/15286/stat : 15286 (java) S 15281 15281 5123 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 15 0 10960953 14316269568 64053 18446744073709551615 4194304 4196468 140726240897904 139897890565008 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15287] ppid=15281 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/15283/task/15287/stat : 15287 (java) S 15281 15281 5123 0 -1 1077944384 60 0 0 0 1 1 0 0 20 0 15 0 10960953 14316269568 64053 18446744073709551615 4194304 4196468 140726240897904 139897555565584 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15288] ppid=15281 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/15283/task/15288/stat : 15288 (java) S 15281 15281 5123 0 -1 1077944384 221 0 0 0 1 1 0 0 20 0 15 0 10960953 14316269568 64053 18446744073709551615 4194304 4196468 140726240897904 139897554513040 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15289] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15289/stat : 15289 (java) S 15281 15281 5123 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 15 0 10960955 14316269568 64053 18446744073709551615 4194304 4196468 140726240897904 139897502930928 139897957194370 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15290] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15290/stat : 15290 (java) S 15281 15281 5123 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10960955 14316269568 64053 18446744073709551615 4194304 4196468 140726240897904 139897501877152 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15291] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15291/stat : 15291 (java) S 15281 15281 5123 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 10960955 14316269568 64053 18446744073709551615 4194304 4196468 140726240897904 139897500824560 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15292] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15292/stat : 15292 (java) S 15281 15281 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10960958 14316269568 64053 18446744073709551615 4194304 4196468 140726240897904 139897499773136 139897957201819 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15293] ppid=15281 vsize=13980732 CPUtime=1.87 cores=1,3,5,7
/proc/15283/task/15293/stat : 15293 (java) R 15281 15281 5123 0 -1 4202560 7862 0 0 0 187 0 0 0 20 0 15 0 10960958 14316269568 64053 18446744073709551615 4194304 4196468 140726240897904 139897498720752 139897957195158 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15294] ppid=15281 vsize=13980732 CPUtime=1.99 cores=1,3,5,7
/proc/15283/task/15294/stat : 15294 (java) R 15281 15281 5123 0 -1 1077944384 7190 0 0 0 199 0 0 0 20 0 15 0 10960958 14316269568 64053 18446744073709551615 4194304 4196468 140726240897904 139897497668208 139897957194370 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15295] ppid=15281 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/15283/task/15295/stat : 15295 (java) S 15281 15281 5123 0 -1 1077944384 4958 0 0 0 71 0 0 0 20 0 15 0 10960958 14316269568 64053 18446744073709551615 4194304 4196468 140726240897904 139897496615664 139897957194370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15296] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15296/stat : 15296 (java) S 15281 15281 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10960958 14316269568 64053 18446744073709551615 4194304 4196468 140726240897904 139897495563360 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15297] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15297/stat : 15297 (java) S 15281 15281 5123 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 10960962 14316269568 64053 18446744073709551615 4194304 4196468 140726240897904 139897494509872 139897957194370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
Current children cumulated CPU time (s) 7.67
Current children cumulated vsize (KiB) 13990244
[startup+6.30072 s]
/proc/loadavg: 2.31 1.86 1.77 5/211 15297
/proc/meminfo: memFree=31146224/32770624 swapFree=0/195276
[pid=15281] ppid=15278 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15281/stat : 15281 (xcsp3-exec) S 15278 15281 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10960946 9740288 345 18446744073709551615 4194304 5098028 140737217998352 140737217996456 140173100864124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 15224832 140737218003356 140737218003559 140737218003559 140737218007019 0
/proc/15281/statm: 2378 345 289 221 0 87 0
[pid=15283] ppid=15281 vsize=13980732 CPUtime=12.41 cores=1,3,5,7
/proc/15283/stat : 15283 (java) S 15281 15281 5123 0 -1 1077944320 33780 0 0 0 1221 20 0 0 20 0 15 0 10960952 14316269568 73165 18446744073709551615 4194304 4196468 140726240897904 140726240880448 139897957183223 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
/proc/15283/statm: 3495183 73165 3221 1 0 3483484 0
[pid=15283/tid=15284] ppid=15281 vsize=13980732 CPUtime=6.11 cores=1,3,5,7
/proc/15283/task/15284/stat : 15284 (java) R 15281 15281 5123 0 -1 4202560 10405 0 0 0 606 5 0 0 20 0 15 0 10960953 14316269568 73165 18446744073709551615 4194304 4196468 140726240897904 139897961419328 139897576292045 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15285] ppid=15281 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/15283/task/15285/stat : 15285 (java) S 15281 15281 5123 0 -1 1077944384 608 0 0 0 2 2 0 0 20 0 15 0 10960953 14316269568 73165 18446744073709551615 4194304 4196468 140726240897904 139897891617552 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15286] ppid=15281 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/15283/task/15286/stat : 15286 (java) S 15281 15281 5123 0 -1 1077944384 90 0 0 0 2 3 0 0 20 0 15 0 10960953 14316269568 73165 18446744073709551615 4194304 4196468 140726240897904 139897890565008 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15287] ppid=15281 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/15283/task/15287/stat : 15287 (java) S 15281 15281 5123 0 -1 1077944384 112 0 0 0 2 2 0 0 20 0 15 0 10960953 14316269568 73165 18446744073709551615 4194304 4196468 140726240897904 139897555565584 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15288] ppid=15281 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/15283/task/15288/stat : 15288 (java) S 15281 15281 5123 0 -1 1077944384 280 0 0 0 2 2 0 0 20 0 15 0 10960953 14316269568 73165 18446744073709551615 4194304 4196468 140726240897904 139897554513040 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15289] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15289/stat : 15289 (java) S 15281 15281 5123 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 15 0 10960955 14316269568 73165 18446744073709551615 4194304 4196468 140726240897904 139897502930928 139897957194370 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15290] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15290/stat : 15290 (java) S 15281 15281 5123 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10960955 14316269568 73165 18446744073709551615 4194304 4196468 140726240897904 139897501877152 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15291] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15291/stat : 15291 (java) S 15281 15281 5123 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 10960955 14316269568 73165 18446744073709551615 4194304 4196468 140726240897904 139897500824560 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15292] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15292/stat : 15292 (java) S 15281 15281 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10960958 14316269568 73165 18446744073709551615 4194304 4196468 140726240897904 139897499773136 139897957201819 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15293] ppid=15281 vsize=13980732 CPUtime=2.5 cores=1,3,5,7
/proc/15283/task/15293/stat : 15293 (java) S 15281 15281 5123 0 -1 1077944384 8256 0 0 0 249 1 0 0 20 0 15 0 10960958 14316269568 73165 18446744073709551615 4194304 4196468 140726240897904 139897498720752 139897957194370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15294] ppid=15281 vsize=13980732 CPUtime=2.77 cores=1,3,5,7
/proc/15283/task/15294/stat : 15294 (java) S 15281 15281 5123 0 -1 1077944384 7403 0 0 0 277 0 0 0 20 0 15 0 10960958 14316269568 73165 18446744073709551615 4194304 4196468 140726240897904 139897497668208 139897957194370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15295] ppid=15281 vsize=13980732 CPUtime=0.77 cores=1,3,5,7
/proc/15283/task/15295/stat : 15295 (java) S 15281 15281 5123 0 -1 1077944384 5027 0 0 0 76 1 0 0 20 0 15 0 10960958 14316269568 73165 18446744073709551615 4194304 4196468 140726240897904 139897496615664 139897957194370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15296] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15296/stat : 15296 (java) S 15281 15281 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10960958 14316269568 73165 18446744073709551615 4194304 4196468 140726240897904 139897495563360 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15297] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15297/stat : 15297 (java) S 15281 15281 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10960962 14316269568 73165 18446744073709551615 4194304 4196468 140726240897904 139897494509872 139897957194370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 2.29 1.86 1.77 5/211 15298
/proc/meminfo: memFree=30869436/32770624 swapFree=0/195288
[pid=15281] ppid=15278 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15281/stat : 15281 (xcsp3-exec) S 15278 15281 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10960946 9740288 345 18446744073709551615 4194304 5098028 140737217998352 140737217996456 140173100864124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 15224832 140737218003356 140737218003559 140737218003559 140737218007019 0
/proc/15281/statm: 2378 345 289 221 0 87 0
[pid=15283] ppid=15281 vsize=13980732 CPUtime=19.24 cores=1,3,5,7
/proc/15283/stat : 15283 (java) S 15281 15281 5123 0 -1 1077944320 40443 0 0 0 1903 21 0 0 20 0 15 0 10960952 14316269568 72158 18446744073709551615 4194304 4196468 140726240897904 140726240880448 139897957183223 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
/proc/15283/statm: 3495183 72158 3222 1 0 3483484 0
[pid=15283/tid=15284] ppid=15281 vsize=13980732 CPUtime=12.51 cores=1,3,5,7
/proc/15283/task/15284/stat : 15284 (java) R 15281 15281 5123 0 -1 4202560 11412 0 0 0 1246 5 0 0 20 0 15 0 10960953 14316269568 72158 18446744073709551615 4194304 4196468 140726240897904 139897961419184 139897575680197 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15285] ppid=15281 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/15283/task/15285/stat : 15285 (java) S 15281 15281 5123 0 -1 1077944384 608 0 0 0 2 2 0 0 20 0 15 0 10960953 14316269568 72158 18446744073709551615 4194304 4196468 140726240897904 139897891617552 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15286] ppid=15281 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/15283/task/15286/stat : 15286 (java) S 15281 15281 5123 0 -1 1077944384 90 0 0 0 2 3 0 0 20 0 15 0 10960953 14316269568 72158 18446744073709551615 4194304 4196468 140726240897904 139897890565008 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
################
# More data... #
################
[pid=15283/tid=15290] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15290/stat : 15290 (java) S 15281 15281 5123 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10960955 14316269568 129021 18446744073709551615 4194304 4196468 140726240897904 139897501877152 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15291] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15291/stat : 15291 (java) S 15281 15281 5123 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 10960955 14316269568 129021 18446744073709551615 4194304 4196468 140726240897904 139897500824560 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15292] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15292/stat : 15292 (java) S 15281 15281 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10960958 14316269568 129021 18446744073709551615 4194304 4196468 140726240897904 139897499773136 139897957201819 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15293] ppid=15281 vsize=13980732 CPUtime=3.66 cores=1,3,5,7
/proc/15283/task/15293/stat : 15293 (java) S 15281 15281 5123 0 -1 1077944384 22229 0 0 0 364 2 0 0 20 0 15 0 10960958 14316269568 129021 18446744073709551615 4194304 4196468 140726240897904 139897498720752 139897957194370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15294] ppid=15281 vsize=13980732 CPUtime=3.58 cores=1,3,5,7
/proc/15283/task/15294/stat : 15294 (java) S 15281 15281 5123 0 -1 1077944384 16526 0 0 0 357 1 0 0 20 0 15 0 10960958 14316269568 129021 18446744073709551615 4194304 4196468 140726240897904 139897497668208 139897957194370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15295] ppid=15281 vsize=13980732 CPUtime=0.83 cores=1,3,5,7
/proc/15283/task/15295/stat : 15295 (java) S 15281 15281 5123 0 -1 1077944384 8604 0 0 0 82 1 0 0 20 0 15 0 10960958 14316269568 129021 18446744073709551615 4194304 4196468 140726240897904 139897496615664 139897957194370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15296] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15296/stat : 15296 (java) S 15281 15281 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10960958 14316269568 129021 18446744073709551615 4194304 4196468 140726240897904 139897495563360 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15297] ppid=15281 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/15283/task/15297/stat : 15297 (java) S 15281 15281 5123 0 -1 1077944384 537 0 0 0 2 0 0 0 20 0 15 0 10960962 14316269568 129021 18446744073709551615 4194304 4196468 140726240897904 139897494509872 139897957194370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
Current children cumulated CPU time (s) 110.82
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.99 1.90 1.80 3/211 15303
/proc/meminfo: memFree=30318760/32770624 swapFree=0/195408
[pid=15281] ppid=15278 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15281/stat : 15281 (xcsp3-exec) S 15278 15281 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10960946 9740288 345 18446744073709551615 4194304 5098028 140737217998352 140737217996456 140173100864124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 15224832 140737218003356 140737218003559 140737218003559 140737218007019 0
/proc/15281/statm: 2378 345 289 221 0 87 0
[pid=15283] ppid=15281 vsize=13980732 CPUtime=171.94 cores=1,3,5,7
/proc/15283/stat : 15283 (java) S 15281 15281 5123 0 -1 1077944320 87011 0 0 0 17139 55 0 0 20 0 15 0 10960952 14316269568 147253 18446744073709551615 4194304 4196468 140726240897904 140726240880448 139897957183223 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
/proc/15283/statm: 3495183 147253 3227 1 0 3483484 0
[pid=15283/tid=15284] ppid=15281 vsize=13980732 CPUtime=161.9 cores=1,3,5,7
/proc/15283/task/15284/stat : 15284 (java) R 15281 15281 5123 0 -1 4202560 17522 0 0 0 16183 7 0 0 20 0 15 0 10960953 14316269568 147253 18446744073709551615 4194304 4196468 140726240897904 139897961420536 139897576962030 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15285] ppid=15281 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/15283/task/15285/stat : 15285 (java) S 15281 15281 5123 0 -1 1077944384 1083 0 0 0 15 9 0 0 20 0 15 0 10960953 14316269568 147253 18446744073709551615 4194304 4196468 140726240897904 139897891617552 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15286] ppid=15281 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/15283/task/15286/stat : 15286 (java) S 15281 15281 5123 0 -1 1077944384 1217 0 0 0 15 9 0 0 20 0 15 0 10960953 14316269568 147253 18446744073709551615 4194304 4196468 140726240897904 139897890565008 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15287] ppid=15281 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/15283/task/15287/stat : 15287 (java) S 15281 15281 5123 0 -1 1077944384 1465 0 0 0 15 9 0 0 20 0 15 0 10960953 14316269568 147253 18446744073709551615 4194304 4196468 140726240897904 139897555565584 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15288] ppid=15281 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/15283/task/15288/stat : 15288 (java) S 15281 15281 5123 0 -1 1077944384 630 0 0 0 15 9 0 0 20 0 15 0 10960953 14316269568 147253 18446744073709551615 4194304 4196468 140726240897904 139897554513040 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15289] ppid=15281 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/15283/task/15289/stat : 15289 (java) S 15281 15281 5123 0 -1 1077944384 1118 0 0 0 1 0 0 0 20 0 15 0 10960955 14316269568 147253 18446744073709551615 4194304 4196468 140726240897904 139897502930928 139897957194370 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15290] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15290/stat : 15290 (java) S 15281 15281 5123 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10960955 14316269568 147253 18446744073709551615 4194304 4196468 140726240897904 139897501877152 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15291] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15291/stat : 15291 (java) S 15281 15281 5123 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 10960955 14316269568 147253 18446744073709551615 4194304 4196468 140726240897904 139897500824560 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15292] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15292/stat : 15292 (java) S 15281 15281 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10960958 14316269568 147253 18446744073709551615 4194304 4196468 140726240897904 139897499773136 139897957201819 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15293] ppid=15281 vsize=13980732 CPUtime=3.77 cores=1,3,5,7
/proc/15283/task/15293/stat : 15293 (java) S 15281 15281 5123 0 -1 1077944384 24497 0 0 0 375 2 0 0 20 0 15 0 10960958 14316269568 147253 18446744073709551615 4194304 4196468 140726240897904 139897498720752 139897957194370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15294] ppid=15281 vsize=13980732 CPUtime=4.3 cores=1,3,5,7
/proc/15283/task/15294/stat : 15294 (java) S 15281 15281 5123 0 -1 1077944384 27738 0 0 0 428 2 0 0 20 0 15 0 10960958 14316269568 147253 18446744073709551615 4194304 4196468 140726240897904 139897497668208 139897957194370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15295] ppid=15281 vsize=13980732 CPUtime=0.85 cores=1,3,5,7
/proc/15283/task/15295/stat : 15295 (java) S 15281 15281 5123 0 -1 1077944384 9820 0 0 0 84 1 0 0 20 0 15 0 10960958 14316269568 147253 18446744073709551615 4194304 4196468 140726240897904 139897496615664 139897957194370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15296] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15296/stat : 15296 (java) S 15281 15281 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10960958 14316269568 147253 18446744073709551615 4194304 4196468 140726240897904 139897495563360 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15297] ppid=15281 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/15283/task/15297/stat : 15297 (java) S 15281 15281 5123 0 -1 1077944384 571 0 0 0 2 1 0 0 20 0 15 0 10960962 14316269568 147253 18446744073709551615 4194304 4196468 140726240897904 139897494509872 139897957194370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
Current children cumulated CPU time (s) 171.94
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.77 1.86 1.79 3/211 15386
/proc/meminfo: memFree=31003880/32770624 swapFree=0/195480
[pid=15281] ppid=15278 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15281/stat : 15281 (xcsp3-exec) S 15278 15281 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10960946 9740288 345 18446744073709551615 4194304 5098028 140737217998352 140737217996456 140173100864124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 15224832 140737218003356 140737218003559 140737218003559 140737218007019 0
/proc/15281/statm: 2378 345 289 221 0 87 0
[pid=15283] ppid=15281 vsize=13980732 CPUtime=232.45 cores=1,3,5,7
/proc/15283/stat : 15283 (java) S 15281 15281 5123 0 -1 1077944320 94034 0 0 0 23185 60 0 0 20 0 15 0 10960952 14316269568 148203 18446744073709551615 4194304 4196468 140726240897904 140726240880448 139897957183223 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
/proc/15283/statm: 3495183 148203 3228 1 0 3483484 0
[pid=15283/tid=15284] ppid=15281 vsize=13980732 CPUtime=221.78 cores=1,3,5,7
/proc/15283/task/15284/stat : 15284 (java) R 15281 15281 5123 0 -1 4202560 19430 0 0 0 22171 7 0 0 20 0 15 0 10960953 14316269568 148203 18446744073709551615 4194304 4196468 140726240897904 139897961419992 139897575538735 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15285] ppid=15281 vsize=13980732 CPUtime=0.36 cores=1,3,5,7
/proc/15283/task/15285/stat : 15285 (java) S 15281 15281 5123 0 -1 1077944384 1325 0 0 0 26 10 0 0 20 0 15 0 10960953 14316269568 148203 18446744073709551615 4194304 4196468 140726240897904 139897891617552 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15286] ppid=15281 vsize=13980732 CPUtime=0.37 cores=1,3,5,7
/proc/15283/task/15286/stat : 15286 (java) S 15281 15281 5123 0 -1 1077944384 1784 0 0 0 27 10 0 0 20 0 15 0 10960953 14316269568 148203 18446744073709551615 4194304 4196468 140726240897904 139897890565008 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15287] ppid=15281 vsize=13980732 CPUtime=0.36 cores=1,3,5,7
/proc/15283/task/15287/stat : 15287 (java) S 15281 15281 5123 0 -1 1077944384 1728 0 0 0 26 10 0 0 20 0 15 0 10960953 14316269568 148203 18446744073709551615 4194304 4196468 140726240897904 139897555565584 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15288] ppid=15281 vsize=13980732 CPUtime=0.37 cores=1,3,5,7
/proc/15283/task/15288/stat : 15288 (java) S 15281 15281 5123 0 -1 1077944384 898 0 0 0 27 10 0 0 20 0 15 0 10960953 14316269568 148203 18446744073709551615 4194304 4196468 140726240897904 139897554513040 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15289] ppid=15281 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/15283/task/15289/stat : 15289 (java) S 15281 15281 5123 0 -1 1077944384 1315 0 0 0 1 0 0 0 20 0 15 0 10960955 14316269568 148203 18446744073709551615 4194304 4196468 140726240897904 139897502930928 139897957194370 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15290] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15290/stat : 15290 (java) S 15281 15281 5123 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10960955 14316269568 148203 18446744073709551615 4194304 4196468 140726240897904 139897501877152 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15291] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15291/stat : 15291 (java) S 15281 15281 5123 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 10960955 14316269568 148203 18446744073709551615 4194304 4196468 140726240897904 139897500824560 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15292] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15292/stat : 15292 (java) S 15281 15281 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10960958 14316269568 148203 18446744073709551615 4194304 4196468 140726240897904 139897499773136 139897957201819 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15293] ppid=15281 vsize=13980732 CPUtime=3.82 cores=1,3,5,7
/proc/15283/task/15293/stat : 15293 (java) S 15281 15281 5123 0 -1 1077944384 25798 0 0 0 380 2 0 0 20 0 15 0 10960958 14316269568 148203 18446744073709551615 4194304 4196468 140726240897904 139897498720752 139897957194370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15294] ppid=15281 vsize=13980732 CPUtime=4.35 cores=1,3,5,7
/proc/15283/task/15294/stat : 15294 (java) S 15281 15281 5123 0 -1 1077944384 29643 0 0 0 433 2 0 0 20 0 15 0 10960958 14316269568 148203 18446744073709551615 4194304 4196468 140726240897904 139897497668208 139897957194370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15295] ppid=15281 vsize=13980732 CPUtime=0.86 cores=1,3,5,7
/proc/15283/task/15295/stat : 15295 (java) S 15281 15281 5123 0 -1 1077944384 10160 0 0 0 85 1 0 0 20 0 15 0 10960958 14316269568 148203 18446744073709551615 4194304 4196468 140726240897904 139897496615664 139897957194370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15296] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15296/stat : 15296 (java) S 15281 15281 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10960958 14316269568 148203 18446744073709551615 4194304 4196468 140726240897904 139897495563360 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15297] ppid=15281 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/15283/task/15297/stat : 15297 (java) S 15281 15281 5123 0 -1 1077944384 603 0 0 0 3 2 0 0 20 0 15 0 10960962 14316269568 148203 18446744073709551615 4194304 4196468 140726240897904 139897494509872 139897957194370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
Current children cumulated CPU time (s) 232.45
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.84 1.87 1.79 3/211 15386
/proc/meminfo: memFree=30718088/32770624 swapFree=0/195500
[pid=15281] ppid=15278 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15281/stat : 15281 (xcsp3-exec) S 15278 15281 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10960946 9740288 345 18446744073709551615 4194304 5098028 140737217998352 140737217996456 140173100864124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 15224832 140737218003356 140737218003559 140737218003559 140737218007019 0
/proc/15281/statm: 2378 345 289 221 0 87 0
[pid=15283] ppid=15281 vsize=13980732 CPUtime=250.38 cores=1,3,5,7
/proc/15283/stat : 15283 (java) S 15281 15281 5123 0 -1 1077944320 94519 0 0 0 24973 65 0 0 20 0 15 0 10960952 14316269568 153959 18446744073709551615 4194304 4196468 140726240897904 140726240880448 139897957183223 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
/proc/15283/statm: 3495183 153959 3228 1 0 3483484 0
[pid=15283/tid=15284] ppid=15281 vsize=13980732 CPUtime=239.4 cores=1,3,5,7
/proc/15283/task/15284/stat : 15284 (java) R 15281 15281 5123 0 -1 4202560 19625 0 0 0 23933 7 0 0 20 0 15 0 10960953 14316269568 153959 18446744073709551615 4194304 4196468 140726240897904 139897961422416 139897576737735 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15285] ppid=15281 vsize=13980732 CPUtime=0.44 cores=1,3,5,7
/proc/15283/task/15285/stat : 15285 (java) S 15281 15281 5123 0 -1 1077944384 1365 0 0 0 33 11 0 0 20 0 15 0 10960953 14316269568 153959 18446744073709551615 4194304 4196468 140726240897904 139897891617552 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15286] ppid=15281 vsize=13980732 CPUtime=0.45 cores=1,3,5,7
/proc/15283/task/15286/stat : 15286 (java) S 15281 15281 5123 0 -1 1077944384 1836 0 0 0 33 12 0 0 20 0 15 0 10960953 14316269568 153959 18446744073709551615 4194304 4196468 140726240897904 139897890565008 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15287] ppid=15281 vsize=13980732 CPUtime=0.45 cores=1,3,5,7
/proc/15283/task/15287/stat : 15287 (java) S 15281 15281 5123 0 -1 1077944384 1768 0 0 0 33 12 0 0 20 0 15 0 10960953 14316269568 153959 18446744073709551615 4194304 4196468 140726240897904 139897555565584 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15288] ppid=15281 vsize=13980732 CPUtime=0.44 cores=1,3,5,7
/proc/15283/task/15288/stat : 15288 (java) S 15281 15281 5123 0 -1 1077944384 928 0 0 0 33 11 0 0 20 0 15 0 10960953 14316269568 153959 18446744073709551615 4194304 4196468 140726240897904 139897554513040 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15289] ppid=15281 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/15283/task/15289/stat : 15289 (java) S 15281 15281 5123 0 -1 1077944384 1317 0 0 0 1 0 0 0 20 0 15 0 10960955 14316269568 153959 18446744073709551615 4194304 4196468 140726240897904 139897502930928 139897957194370 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15290] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15290/stat : 15290 (java) S 15281 15281 5123 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10960955 14316269568 153959 18446744073709551615 4194304 4196468 140726240897904 139897501877152 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15291] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15291/stat : 15291 (java) S 15281 15281 5123 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 10960955 14316269568 153959 18446744073709551615 4194304 4196468 140726240897904 139897500824560 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15292] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15292/stat : 15292 (java) S 15281 15281 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10960958 14316269568 153959 18446744073709551615 4194304 4196468 140726240897904 139897499773136 139897957201819 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15293] ppid=15281 vsize=13980732 CPUtime=3.82 cores=1,3,5,7
/proc/15283/task/15293/stat : 15293 (java) S 15281 15281 5123 0 -1 1077944384 25820 0 0 0 380 2 0 0 20 0 15 0 10960958 14316269568 153959 18446744073709551615 4194304 4196468 140726240897904 139897498720752 139897957194370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15294] ppid=15281 vsize=13980732 CPUtime=4.35 cores=1,3,5,7
/proc/15283/task/15294/stat : 15294 (java) S 15281 15281 5123 0 -1 1077944384 29643 0 0 0 433 2 0 0 20 0 15 0 10960958 14316269568 153959 18446744073709551615 4194304 4196468 140726240897904 139897497668208 139897957194370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15295] ppid=15281 vsize=13980732 CPUtime=0.86 cores=1,3,5,7
/proc/15283/task/15295/stat : 15295 (java) S 15281 15281 5123 0 -1 1077944384 10264 0 0 0 85 1 0 0 20 0 15 0 10960958 14316269568 153959 18446744073709551615 4194304 4196468 140726240897904 139897496615664 139897957194370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15296] ppid=15281 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15283/task/15296/stat : 15296 (java) S 15281 15281 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10960958 14316269568 153959 18446744073709551615 4194304 4196468 140726240897904 139897495563360 139897957193429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
[pid=15283/tid=15297] ppid=15281 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/15283/task/15297/stat : 15297 (java) S 15281 15281 5123 0 -1 1077944384 603 0 0 0 3 2 0 0 20 0 15 0 10960962 14316269568 153959 18446744073709551615 4194304 4196468 140726240897904 139897494509872 139897957194370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140726240903636 140726240903811 140726240903811 140726240907215 0
Current children cumulated CPU time (s) 250.38
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 15283 sig 9
??? kill 15281 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15281 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1363
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=681
# CPU time returned by wait4() is 0.002044
# while last known CPU time is 250.38
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 250.38
CPU user time (s): 249.73
CPU system time (s): 0.65
CPU usage (%): 104.321
Max. virtual memory (cumulated for all children) (KiB): 13992212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001363
system time used= 0.000681
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.09355 second user time and 1.37925 second system time
The end