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-4255063-1501621435/watcher-4255063-1501621435 -o /tmp/evaluation-result-4255063-1501621435/solver-4255063-1501621435 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501617024-9377 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2010142023 HOME/instance-4255063-1501621435.xml
pid=15577
running on 4 cores: 0,2,4,6
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.66 1.80 1.82 2/198 15580
/proc/meminfo: memFree=31230612/32770624 swapFree=0/170364
[pid=15580] ppid=15577 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/15580/stat : 15580 (runsolver) D 15577 15580 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 4054136 24240128 108 18446744073709551615 4194304 4338465 140728158715696 140728158713336 140110546989783 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 8511488 140728158720094 140728158720583 140728158720583 140728158724042 0
/proc/15580/statm: 5918 108 54 36 0 2156 0
[startup+0.105232 s]
/proc/loadavg: 1.66 1.80 1.82 2/198 15580
/proc/meminfo: memFree=31230612/32770624 swapFree=0/170364
[pid=15580] ppid=15577 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15580/stat : 15580 (xcsp3-exec) S 15577 15580 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4054136 9740288 345 18446744073709551615 4194304 5098028 140735593259856 140735593257960 139880539992700 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 17489920 140735593263516 140735593263720 140735593263720 140735593267179 0
/proc/15580/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200372 s]
/proc/loadavg: 1.66 1.80 1.82 2/198 15580
/proc/meminfo: memFree=31230612/32770624 swapFree=0/170364
[pid=15580] ppid=15577 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15580/stat : 15580 (xcsp3-exec) S 15577 15580 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4054136 9740288 345 18446744073709551615 4194304 5098028 140735593259856 140735593257960 139880539992700 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 17489920 140735593263516 140735593263720 140735593263720 140735593267179 0
/proc/15580/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300328 s]
/proc/loadavg: 1.66 1.80 1.82 2/198 15580
/proc/meminfo: memFree=31230612/32770624 swapFree=0/170364
[pid=15580] ppid=15577 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15580/stat : 15580 (xcsp3-exec) S 15577 15580 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4054136 9740288 345 18446744073709551615 4194304 5098028 140735593259856 140735593257960 139880539992700 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 17489920 140735593263516 140735593263720 140735593263720 140735593267179 0
/proc/15580/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700261 s]
/proc/loadavg: 1.66 1.80 1.82 2/198 15580
/proc/meminfo: memFree=31230612/32770624 swapFree=0/170364
[pid=15580] ppid=15577 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15580/stat : 15580 (xcsp3-exec) S 15577 15580 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4054136 9740288 345 18446744073709551615 4194304 5098028 140735593259856 140735593257960 139880539992700 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 17489920 140735593263516 140735593263720 140735593263720 140735593267179 0
/proc/15580/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5007 s]
/proc/loadavg: 1.66 1.80 1.82 5/214 15596
/proc/meminfo: memFree=31144780/32770624 swapFree=0/170384
[pid=15580] ppid=15577 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15580/stat : 15580 (xcsp3-exec) S 15577 15580 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4054136 9740288 345 18446744073709551615 4194304 5098028 140735593259856 140735593257960 139880539992700 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 17489920 140735593263516 140735593263720 140735593263720 140735593267179 0
/proc/15580/statm: 2378 345 289 221 0 87 0
[pid=15582] ppid=15580 vsize=13980732 CPUtime=3.79 cores=0,2,4,6
/proc/15582/stat : 15582 (java) S 15580 15580 3187 0 -1 1077944320 29628 0 0 0 372 7 0 0 20 0 15 0 4054143 14316269568 35865 18446744073709551615 4194304 4196468 140723715118000 140723715100544 139689433480951 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
/proc/15582/statm: 3495183 35865 3184 1 0 3483484 0
[pid=15582/tid=15583] ppid=15580 vsize=13980732 CPUtime=1.35 cores=0,2,4,6
/proc/15582/task/15583/stat : 15583 (java) R 15580 15580 3187 0 -1 4202560 9458 0 0 0 132 3 0 0 20 0 15 0 4054143 14316269568 35865 18446744073709551615 4194304 4196468 140723715118000 139689437720008 139689066596488 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15584] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15584/stat : 15584 (java) S 15580 15580 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4054144 14316269568 35865 18446744073709551615 4194304 4196468 140723715118000 139689390446992 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15585] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15585/stat : 15585 (java) S 15580 15580 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4054144 14316269568 35865 18446744073709551615 4194304 4196468 140723715118000 139689389394192 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15586] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15586/stat : 15586 (java) S 15580 15580 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4054144 14316269568 35865 18446744073709551615 4194304 4196468 140723715118000 139689388341904 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15587] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15587/stat : 15587 (java) S 15580 15580 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4054144 14316269568 35865 18446744073709551615 4194304 4196468 140723715118000 139689387289104 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15588] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15588/stat : 15588 (java) S 15580 15580 3187 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 4054145 14316269568 35865 18446744073709551615 4194304 4196468 140723715118000 139688911297136 139689433492098 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15589] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15589/stat : 15589 (java) S 15580 15580 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 4054145 14316269568 35865 18446744073709551615 4194304 4196468 140723715118000 139688910243104 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15590] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15590/stat : 15590 (java) S 15580 15580 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 4054146 14316269568 35865 18446744073709551615 4194304 4196468 140723715118000 139688909190768 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15591] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15591/stat : 15591 (java) S 15580 15580 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4054148 14316269568 35865 18446744073709551615 4194304 4196468 140723715118000 139688908139088 139689433499547 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15592] ppid=15580 vsize=13980732 CPUtime=1 cores=0,2,4,6
/proc/15582/task/15592/stat : 15592 (java) R 15580 15580 3187 0 -1 4202560 8118 0 0 0 99 1 0 0 20 0 15 0 4054148 14316269568 35865 18446744073709551615 4194304 4196468 140723715118000 139688907071960 139689416967069 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15593] ppid=15580 vsize=13980732 CPUtime=1.01 cores=0,2,4,6
/proc/15582/task/15593/stat : 15593 (java) R 15580 15580 3187 0 -1 4202560 7386 0 0 0 101 0 0 0 20 0 15 0 4054148 14316269568 35865 18446744073709551615 4194304 4196468 140723715118000 139688906016048 139689425722393 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15594] ppid=15580 vsize=13980732 CPUtime=0.4 cores=0,2,4,6
/proc/15582/task/15594/stat : 15594 (java) S 15580 15580 3187 0 -1 1077944384 3353 0 0 0 39 1 0 0 20 0 15 0 4054148 14316269568 35865 18446744073709551615 4194304 4196468 140723715118000 139688904980848 139689433492098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15595] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15595/stat : 15595 (java) S 15580 15580 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4054148 14316269568 35865 18446744073709551615 4194304 4196468 140723715118000 139688903928288 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15596] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15596/stat : 15596 (java) S 15580 15580 3187 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 4054155 14316269568 35865 18446744073709551615 4194304 4196468 140723715118000 139688902876080 139689433492098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 13990244
[startup+3.1007 s]
/proc/loadavg: 1.85 1.84 1.83 5/214 15596
/proc/meminfo: memFree=31019492/32770624 swapFree=0/170384
[pid=15580] ppid=15577 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15580/stat : 15580 (xcsp3-exec) S 15577 15580 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4054136 9740288 345 18446744073709551615 4194304 5098028 140735593259856 140735593257960 139880539992700 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 17489920 140735593263516 140735593263720 140735593263720 140735593267179 0
/proc/15580/statm: 2378 345 289 221 0 87 0
[pid=15582] ppid=15580 vsize=13980732 CPUtime=8.63 cores=0,2,4,6
/proc/15582/stat : 15582 (java) S 15580 15580 3187 0 -1 1077944320 74714 0 0 0 848 15 0 0 20 0 15 0 4054143 14316269568 73387 18446744073709551615 4194304 4196468 140723715118000 140723715100544 139689433480951 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
/proc/15582/statm: 3495183 73387 3205 1 0 3483484 0
[pid=15582/tid=15583] ppid=15580 vsize=13980732 CPUtime=2.94 cores=0,2,4,6
/proc/15582/task/15583/stat : 15583 (java) R 15580 15580 3187 0 -1 4202560 9913 0 0 0 289 5 0 0 20 0 15 0 4054143 14316269568 73387 18446744073709551615 4194304 4196468 140723715118000 139689437719032 139689067123777 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15584] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15584/stat : 15584 (java) S 15580 15580 3187 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 4054144 14316269568 73387 18446744073709551615 4194304 4196468 140723715118000 139689390446992 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15585] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15585/stat : 15585 (java) S 15580 15580 3187 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 15 0 4054144 14316269568 73387 18446744073709551615 4194304 4196468 140723715118000 139689389394192 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15586] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15586/stat : 15586 (java) S 15580 15580 3187 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 4054144 14316269568 73387 18446744073709551615 4194304 4196468 140723715118000 139689388341904 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15587] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15587/stat : 15587 (java) S 15580 15580 3187 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 15 0 4054144 14316269568 73387 18446744073709551615 4194304 4196468 140723715118000 139689387289104 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15588] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15588/stat : 15588 (java) S 15580 15580 3187 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 15 0 4054145 14316269568 73387 18446744073709551615 4194304 4196468 140723715118000 139688911297136 139689433492098 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15589] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15589/stat : 15589 (java) S 15580 15580 3187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 4054145 14316269568 73387 18446744073709551615 4194304 4196468 140723715118000 139688910243104 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15590] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15590/stat : 15590 (java) S 15580 15580 3187 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 4054146 14316269568 73387 18446744073709551615 4194304 4196468 140723715118000 139688909190768 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15591] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15591/stat : 15591 (java) S 15580 15580 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4054148 14316269568 73387 18446744073709551615 4194304 4196468 140723715118000 139688908139088 139689433499547 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15592] ppid=15580 vsize=13980732 CPUtime=2.58 cores=0,2,4,6
/proc/15582/task/15592/stat : 15592 (java) R 15580 15580 3187 0 -1 4202560 28820 0 0 0 255 3 0 0 20 0 15 0 4054148 14316269568 73387 18446744073709551615 4194304 4196468 140723715118000 139688907071960 139689412809977 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15593] ppid=15580 vsize=13980732 CPUtime=2.61 cores=0,2,4,6
/proc/15582/task/15593/stat : 15593 (java) R 15580 15580 3187 0 -1 4202560 29686 0 0 0 257 4 0 0 20 0 15 0 4054148 14316269568 73387 18446744073709551615 4194304 4196468 140723715118000 139688906023056 139689415025404 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15594] ppid=15580 vsize=13980732 CPUtime=0.43 cores=0,2,4,6
/proc/15582/task/15594/stat : 15594 (java) S 15580 15580 3187 0 -1 1077944384 4219 0 0 0 42 1 0 0 20 0 15 0 4054148 14316269568 73387 18446744073709551615 4194304 4196468 140723715118000 139688904980848 139689433492098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15595] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15595/stat : 15595 (java) S 15580 15580 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4054148 14316269568 73387 18446744073709551615 4194304 4196468 140723715118000 139688903928288 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15596] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15596/stat : 15596 (java) S 15580 15580 3187 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 4054155 14316269568 73387 18446744073709551615 4194304 4196468 140723715118000 139688902876080 139689433492098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
Current children cumulated CPU time (s) 8.63
Current children cumulated vsize (KiB) 13990244
[startup+6.30082 s]
/proc/loadavg: 1.85 1.84 1.83 3/214 15596
/proc/meminfo: memFree=30951788/32770624 swapFree=0/170400
[pid=15580] ppid=15577 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15580/stat : 15580 (xcsp3-exec) S 15577 15580 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4054136 9740288 345 18446744073709551615 4194304 5098028 140735593259856 140735593257960 139880539992700 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 17489920 140735593263516 140735593263720 140735593263720 140735593267179 0
/proc/15580/statm: 2378 345 289 221 0 87 0
[pid=15582] ppid=15580 vsize=13980732 CPUtime=14.3 cores=0,2,4,6
/proc/15582/stat : 15582 (java) S 15580 15580 3187 0 -1 1077944320 75366 0 0 0 1413 17 0 0 20 0 15 0 4054143 14316269568 70584 18446744073709551615 4194304 4196468 140723715118000 140723715100544 139689433480951 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
/proc/15582/statm: 3495183 70584 3217 1 0 3483484 0
[pid=15582/tid=15583] ppid=15580 vsize=13980732 CPUtime=6.12 cores=0,2,4,6
/proc/15582/task/15583/stat : 15583 (java) R 15580 15580 3187 0 -1 4202560 9931 0 0 0 607 5 0 0 20 0 15 0 4054143 14316269568 70584 18446744073709551615 4194304 4196468 140723715118000 139689437720224 139689068463378 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15584] ppid=15580 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/15582/task/15584/stat : 15584 (java) S 15580 15580 3187 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 15 0 4054144 14316269568 70584 18446744073709551615 4194304 4196468 140723715118000 139689390446992 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15585] ppid=15580 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/15582/task/15585/stat : 15585 (java) S 15580 15580 3187 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 15 0 4054144 14316269568 70584 18446744073709551615 4194304 4196468 140723715118000 139689389394192 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15586] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15586/stat : 15586 (java) S 15580 15580 3187 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 4054144 14316269568 70584 18446744073709551615 4194304 4196468 140723715118000 139689388341904 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15587] ppid=15580 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/15582/task/15587/stat : 15587 (java) S 15580 15580 3187 0 -1 1077944384 198 0 0 0 1 0 0 0 20 0 15 0 4054144 14316269568 70584 18446744073709551615 4194304 4196468 140723715118000 139689387289104 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15588] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15588/stat : 15588 (java) S 15580 15580 3187 0 -1 1077944384 190 0 0 0 0 0 0 0 20 0 15 0 4054145 14316269568 70584 18446744073709551615 4194304 4196468 140723715118000 139688911297136 139689433492098 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15589] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15589/stat : 15589 (java) S 15580 15580 3187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 4054145 14316269568 70584 18446744073709551615 4194304 4196468 140723715118000 139688910243104 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15590] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15590/stat : 15590 (java) S 15580 15580 3187 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 4054146 14316269568 70584 18446744073709551615 4194304 4196468 140723715118000 139688909190768 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15591] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15591/stat : 15591 (java) S 15580 15580 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4054148 14316269568 70584 18446744073709551615 4194304 4196468 140723715118000 139688908139088 139689433499547 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15592] ppid=15580 vsize=13980732 CPUtime=3.67 cores=0,2,4,6
/proc/15582/task/15592/stat : 15592 (java) S 15580 15580 3187 0 -1 1077944384 29099 0 0 0 363 4 0 0 20 0 15 0 4054148 14316269568 70584 18446744073709551615 4194304 4196468 140723715118000 139688907085936 139689433492098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15593] ppid=15580 vsize=13980732 CPUtime=3.88 cores=0,2,4,6
/proc/15582/task/15593/stat : 15593 (java) S 15580 15580 3187 0 -1 1077944384 29868 0 0 0 384 4 0 0 20 0 15 0 4054148 14316269568 70584 18446744073709551615 4194304 4196468 140723715118000 139688906033136 139689433492098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15594] ppid=15580 vsize=13980732 CPUtime=0.51 cores=0,2,4,6
/proc/15582/task/15594/stat : 15594 (java) S 15580 15580 3187 0 -1 1077944384 4357 0 0 0 50 1 0 0 20 0 15 0 4054148 14316269568 70584 18446744073709551615 4194304 4196468 140723715118000 139688904980848 139689433492098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15595] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15595/stat : 15595 (java) S 15580 15580 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4054148 14316269568 70584 18446744073709551615 4194304 4196468 140723715118000 139688903928288 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15596] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15596/stat : 15596 (java) S 15580 15580 3187 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 4054155 14316269568 70584 18446744073709551615 4194304 4196468 140723715118000 139688902876080 139689433492098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
Current children cumulated CPU time (s) 14.3
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.87 1.84 1.83 3/215 15603
/proc/meminfo: memFree=30930004/32770624 swapFree=0/170412
[pid=15580] ppid=15577 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15580/stat : 15580 (xcsp3-exec) S 15577 15580 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4054136 9740288 345 18446744073709551615 4194304 5098028 140735593259856 140735593257960 139880539992700 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 17489920 140735593263516 140735593263720 140735593263720 140735593267179 0
/proc/15580/statm: 2378 345 289 221 0 87 0
[pid=15582] ppid=15580 vsize=13980732 CPUtime=20.91 cores=0,2,4,6
/proc/15582/stat : 15582 (java) S 15580 15580 3187 0 -1 1077944320 79379 0 0 0 2071 20 0 0 20 0 15 0 4054143 14316269568 69771 18446744073709551615 4194304 4196468 140723715118000 140723715100544 139689433480951 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
/proc/15582/statm: 3495183 69771 3226 1 0 3483484 0
[pid=15582/tid=15583] ppid=15580 vsize=13980732 CPUtime=12.49 cores=0,2,4,6
/proc/15582/task/15583/stat : 15583 (java) R 15580 15580 3187 0 -1 4202560 10891 0 0 0 1244 5 0 0 20 0 15 0 4054143 14316269568 69771 18446744073709551615 4194304 4196468 140723715118000 139689437720336 139689067549320 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15584] ppid=15580 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/15582/task/15584/stat : 15584 (java) S 15580 15580 3187 0 -1 1077944384 739 0 0 0 3 1 0 0 20 0 15 0 4054144 14316269568 69771 18446744073709551615 4194304 4196468 140723715118000 139689390446992 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15585] ppid=15580 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/15582/task/15585/stat : 15585 (java) S 15580 15580 3187 0 -1 1077944384 408 0 0 0 3 1 0 0 20 0 15 0 4054144 14316269568 69771 18446744073709551615 4194304 4196468 140723715118000 139689389394192 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
################
# More data... #
################
[pid=15582/tid=15589] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15589/stat : 15589 (java) S 15580 15580 3187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 4054145 14316269568 74750 18446744073709551615 4194304 4196468 140723715118000 139688910243104 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15590] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15590/stat : 15590 (java) S 15580 15580 3187 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 4054146 14316269568 74750 18446744073709551615 4194304 4196468 140723715118000 139688909190768 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15591] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15591/stat : 15591 (java) S 15580 15580 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4054148 14316269568 74750 18446744073709551615 4194304 4196468 140723715118000 139688908139088 139689433499547 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15592] ppid=15580 vsize=13980732 CPUtime=4.35 cores=0,2,4,6
/proc/15582/task/15592/stat : 15592 (java) S 15580 15580 3187 0 -1 1077944384 38243 0 0 0 431 4 0 0 20 0 15 0 4054148 14316269568 74750 18446744073709551615 4194304 4196468 140723715118000 139688907085936 139689433492098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15593] ppid=15580 vsize=13980732 CPUtime=4.39 cores=0,2,4,6
/proc/15582/task/15593/stat : 15593 (java) S 15580 15580 3187 0 -1 1077944384 35214 0 0 0 435 4 0 0 20 0 15 0 4054148 14316269568 74750 18446744073709551615 4194304 4196468 140723715118000 139688906033136 139689433492098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15594] ppid=15580 vsize=13980732 CPUtime=0.56 cores=0,2,4,6
/proc/15582/task/15594/stat : 15594 (java) S 15580 15580 3187 0 -1 1077944384 8348 0 0 0 55 1 0 0 20 0 15 0 4054148 14316269568 74750 18446744073709551615 4194304 4196468 140723715118000 139688904980848 139689433492098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15595] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15595/stat : 15595 (java) S 15580 15580 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4054148 14316269568 74750 18446744073709551615 4194304 4196468 140723715118000 139688903928288 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15596] ppid=15580 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/15582/task/15596/stat : 15596 (java) S 15580 15580 3187 0 -1 1077944384 561 0 0 0 2 3 0 0 20 0 15 0 4054155 14316269568 74750 18446744073709551615 4194304 4196468 140723715118000 139688902876080 139689433492098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
Current children cumulated CPU time (s) 113.06
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.73 1.78 1.81 3/215 15608
/proc/meminfo: memFree=30968852/32770624 swapFree=0/170512
[pid=15580] ppid=15577 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15580/stat : 15580 (xcsp3-exec) S 15577 15580 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4054136 9740288 345 18446744073709551615 4194304 5098028 140735593259856 140735593257960 139880539992700 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 17489920 140735593263516 140735593263720 140735593263720 140735593267179 0
/proc/15580/statm: 2378 345 289 221 0 87 0
[pid=15582] ppid=15580 vsize=13980732 CPUtime=174.59 cores=0,2,4,6
/proc/15582/stat : 15582 (java) S 15580 15580 3187 0 -1 1077944320 113475 0 0 0 17396 63 0 0 20 0 15 0 4054143 14316269568 101273 18446744073709551615 4194304 4196468 140723715118000 140723715100544 139689433480951 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
/proc/15582/statm: 3495183 101273 3227 1 0 3483484 0
[pid=15582/tid=15583] ppid=15580 vsize=13980732 CPUtime=160.89 cores=0,2,4,6
/proc/15582/task/15583/stat : 15583 (java) R 15580 15580 3187 0 -1 4202560 15779 0 0 0 16083 6 0 0 20 0 15 0 4054143 14316269568 101273 18446744073709551615 4194304 4196468 140723715118000 139689437720480 139689067901657 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15584] ppid=15580 vsize=13980732 CPUtime=0.96 cores=0,2,4,6
/proc/15582/task/15584/stat : 15584 (java) S 15580 15580 3187 0 -1 1077944384 2486 0 0 0 87 9 0 0 20 0 15 0 4054144 14316269568 101273 18446744073709551615 4194304 4196468 140723715118000 139689390446992 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15585] ppid=15580 vsize=13980732 CPUtime=0.96 cores=0,2,4,6
/proc/15582/task/15585/stat : 15585 (java) S 15580 15580 3187 0 -1 1077944384 2260 0 0 0 86 10 0 0 20 0 15 0 4054144 14316269568 101273 18446744073709551615 4194304 4196468 140723715118000 139689389394192 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15586] ppid=15580 vsize=13980732 CPUtime=0.96 cores=0,2,4,6
/proc/15582/task/15586/stat : 15586 (java) S 15580 15580 3187 0 -1 1077944384 1742 0 0 0 86 10 0 0 20 0 15 0 4054144 14316269568 101273 18446744073709551615 4194304 4196468 140723715118000 139689388341904 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15587] ppid=15580 vsize=13980732 CPUtime=0.96 cores=0,2,4,6
/proc/15582/task/15587/stat : 15587 (java) S 15580 15580 3187 0 -1 1077944384 1675 0 0 0 87 9 0 0 20 0 15 0 4054144 14316269568 101273 18446744073709551615 4194304 4196468 140723715118000 139689387289104 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15588] ppid=15580 vsize=13980732 CPUtime=0.2 cores=0,2,4,6
/proc/15582/task/15588/stat : 15588 (java) S 15580 15580 3187 0 -1 1077944384 1605 0 0 0 17 3 0 0 20 0 15 0 4054145 14316269568 101273 18446744073709551615 4194304 4196468 140723715118000 139688911297136 139689433492098 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15589] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15589/stat : 15589 (java) S 15580 15580 3187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 4054145 14316269568 101273 18446744073709551615 4194304 4196468 140723715118000 139688910243104 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15590] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15590/stat : 15590 (java) S 15580 15580 3187 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 4054146 14316269568 101273 18446744073709551615 4194304 4196468 140723715118000 139688909190768 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15591] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15591/stat : 15591 (java) S 15580 15580 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4054148 14316269568 101273 18446744073709551615 4194304 4196468 140723715118000 139688908139088 139689433499547 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15592] ppid=15580 vsize=13980732 CPUtime=4.46 cores=0,2,4,6
/proc/15582/task/15592/stat : 15592 (java) S 15580 15580 3187 0 -1 1077944384 39672 0 0 0 441 5 0 0 20 0 15 0 4054148 14316269568 101273 18446744073709551615 4194304 4196468 140723715118000 139688907085936 139689433492098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15593] ppid=15580 vsize=13980732 CPUtime=4.45 cores=0,2,4,6
/proc/15582/task/15593/stat : 15593 (java) S 15580 15580 3187 0 -1 1077944384 36899 0 0 0 441 4 0 0 20 0 15 0 4054148 14316269568 101273 18446744073709551615 4194304 4196468 140723715118000 139688906033136 139689433492098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15594] ppid=15580 vsize=13980732 CPUtime=0.58 cores=0,2,4,6
/proc/15582/task/15594/stat : 15594 (java) S 15580 15580 3187 0 -1 1077944384 9392 0 0 0 56 2 0 0 20 0 15 0 4054148 14316269568 101273 18446744073709551615 4194304 4196468 140723715118000 139688904980848 139689433492098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15595] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15595/stat : 15595 (java) S 15580 15580 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4054148 14316269568 101273 18446744073709551615 4194304 4196468 140723715118000 139688903928288 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15596] ppid=15580 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/15582/task/15596/stat : 15596 (java) S 15580 15580 3187 0 -1 1077944384 613 0 0 0 4 3 0 0 20 0 15 0 4054155 14316269568 101273 18446744073709551615 4194304 4196468 140723715118000 139688902876080 139689433492098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
Current children cumulated CPU time (s) 174.59
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.43 1.68 1.77 3/215 15688
/proc/meminfo: memFree=31360996/32770624 swapFree=0/170596
[pid=15580] ppid=15577 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15580/stat : 15580 (xcsp3-exec) S 15577 15580 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4054136 9740288 345 18446744073709551615 4194304 5098028 140735593259856 140735593257960 139880539992700 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 17489920 140735593263516 140735593263720 140735593263720 140735593267179 0
/proc/15580/statm: 2378 345 289 221 0 87 0
[pid=15582] ppid=15580 vsize=13980732 CPUtime=236.02 cores=0,2,4,6
/proc/15582/stat : 15582 (java) S 15580 15580 3187 0 -1 1077944320 121441 0 0 0 23524 78 0 0 20 0 15 0 4054143 14316269568 120670 18446744073709551615 4194304 4196468 140723715118000 140723715100544 139689433480951 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
/proc/15582/statm: 3495183 120670 3227 1 0 3483484 0
[pid=15582/tid=15583] ppid=15580 vsize=13980732 CPUtime=220.29 cores=0,2,4,6
/proc/15582/task/15583/stat : 15583 (java) R 15580 15580 3187 0 -1 4202560 19174 0 0 0 22023 6 0 0 20 0 15 0 4054143 14316269568 120670 18446744073709551615 4194304 4196468 140723715118000 139689437720432 139689067656258 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15584] ppid=15580 vsize=13980732 CPUtime=1.44 cores=0,2,4,6
/proc/15582/task/15584/stat : 15584 (java) S 15580 15580 3187 0 -1 1077944384 3148 0 0 0 131 13 0 0 20 0 15 0 4054144 14316269568 120670 18446744073709551615 4194304 4196468 140723715118000 139689390446992 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15585] ppid=15580 vsize=13980732 CPUtime=1.42 cores=0,2,4,6
/proc/15582/task/15585/stat : 15585 (java) S 15580 15580 3187 0 -1 1077944384 3092 0 0 0 129 13 0 0 20 0 15 0 4054144 14316269568 120670 18446744073709551615 4194304 4196468 140723715118000 139689389394192 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15586] ppid=15580 vsize=13980732 CPUtime=1.42 cores=0,2,4,6
/proc/15582/task/15586/stat : 15586 (java) S 15580 15580 3187 0 -1 1077944384 2160 0 0 0 129 13 0 0 20 0 15 0 4054144 14316269568 120670 18446744073709551615 4194304 4196468 140723715118000 139689388341904 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15587] ppid=15580 vsize=13980732 CPUtime=1.44 cores=0,2,4,6
/proc/15582/task/15587/stat : 15587 (java) S 15580 15580 3187 0 -1 1077944384 2079 0 0 0 132 12 0 0 20 0 15 0 4054144 14316269568 120670 18446744073709551615 4194304 4196468 140723715118000 139689387289104 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15588] ppid=15580 vsize=13980732 CPUtime=0.29 cores=0,2,4,6
/proc/15582/task/15588/stat : 15588 (java) S 15580 15580 3187 0 -1 1077944384 1871 0 0 0 25 4 0 0 20 0 15 0 4054145 14316269568 120670 18446744073709551615 4194304 4196468 140723715118000 139688911297136 139689433492098 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15589] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15589/stat : 15589 (java) S 15580 15580 3187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 4054145 14316269568 120670 18446744073709551615 4194304 4196468 140723715118000 139688910243104 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15590] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15590/stat : 15590 (java) S 15580 15580 3187 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 4054146 14316269568 120670 18446744073709551615 4194304 4196468 140723715118000 139688909190768 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15591] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15591/stat : 15591 (java) S 15580 15580 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4054148 14316269568 120670 18446744073709551615 4194304 4196468 140723715118000 139688908139088 139689433499547 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15592] ppid=15580 vsize=13980732 CPUtime=4.46 cores=0,2,4,6
/proc/15582/task/15592/stat : 15592 (java) S 15580 15580 3187 0 -1 1077944384 39827 0 0 0 441 5 0 0 20 0 15 0 4054148 14316269568 120670 18446744073709551615 4194304 4196468 140723715118000 139688907085936 139689433492098 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15593] ppid=15580 vsize=13980732 CPUtime=4.46 cores=0,2,4,6
/proc/15582/task/15593/stat : 15593 (java) S 15580 15580 3187 0 -1 1077944384 37255 0 0 0 442 4 0 0 20 0 15 0 4054148 14316269568 120670 18446744073709551615 4194304 4196468 140723715118000 139688906033136 139689433492098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15594] ppid=15580 vsize=13980732 CPUtime=0.59 cores=0,2,4,6
/proc/15582/task/15594/stat : 15594 (java) S 15580 15580 3187 0 -1 1077944384 10850 0 0 0 57 2 0 0 20 0 15 0 4054148 14316269568 120670 18446744073709551615 4194304 4196468 140723715118000 139688904980848 139689433492098 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15595] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15595/stat : 15595 (java) S 15580 15580 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4054148 14316269568 120670 18446744073709551615 4194304 4196468 140723715118000 139688903928288 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15596] ppid=15580 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/15582/task/15596/stat : 15596 (java) S 15580 15580 3187 0 -1 1077944384 633 0 0 0 6 4 0 0 20 0 15 0 4054155 14316269568 120670 18446744073709551615 4194304 4196468 140723715118000 139688902876080 139689433492098 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
Current children cumulated CPU time (s) 236.02
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.40 1.67 1.76 3/215 15688
/proc/meminfo: memFree=31358644/32770624 swapFree=0/170612
[pid=15580] ppid=15577 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15580/stat : 15580 (xcsp3-exec) S 15577 15580 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4054136 9740288 345 18446744073709551615 4194304 5098028 140735593259856 140735593257960 139880539992700 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 17489920 140735593263516 140735593263720 140735593263720 140735593267179 0
/proc/15580/statm: 2378 345 289 221 0 87 0
[pid=15582] ppid=15580 vsize=13980732 CPUtime=254.12 cores=0,2,4,6
/proc/15582/stat : 15582 (java) S 15580 15580 3187 0 -1 1077944320 122790 0 0 0 25330 82 0 0 20 0 15 0 4054143 14316269568 129588 18446744073709551615 4194304 4196468 140723715118000 140723715100544 139689433480951 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
/proc/15582/statm: 3495183 129588 3227 1 0 3483484 0
[pid=15582/tid=15583] ppid=15580 vsize=13980732 CPUtime=237.83 cores=0,2,4,6
/proc/15582/task/15583/stat : 15583 (java) R 15580 15580 3187 0 -1 4202560 19559 0 0 0 23776 7 0 0 20 0 15 0 4054143 14316269568 129588 18446744073709551615 4194304 4196468 140723715118000 139689437720432 139689067901681 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15584] ppid=15580 vsize=13980732 CPUtime=1.57 cores=0,2,4,6
/proc/15582/task/15584/stat : 15584 (java) S 15580 15580 3187 0 -1 1077944384 3403 0 0 0 144 13 0 0 20 0 15 0 4054144 14316269568 129588 18446744073709551615 4194304 4196468 140723715118000 139689390446992 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15585] ppid=15580 vsize=13980732 CPUtime=1.56 cores=0,2,4,6
/proc/15582/task/15585/stat : 15585 (java) S 15580 15580 3187 0 -1 1077944384 3354 0 0 0 142 14 0 0 20 0 15 0 4054144 14316269568 129588 18446744073709551615 4194304 4196468 140723715118000 139689389394192 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15586] ppid=15580 vsize=13980732 CPUtime=1.56 cores=0,2,4,6
/proc/15582/task/15586/stat : 15586 (java) S 15580 15580 3187 0 -1 1077944384 2363 0 0 0 142 14 0 0 20 0 15 0 4054144 14316269568 129588 18446744073709551615 4194304 4196468 140723715118000 139689388341904 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15587] ppid=15580 vsize=13980732 CPUtime=1.57 cores=0,2,4,6
/proc/15582/task/15587/stat : 15587 (java) S 15580 15580 3187 0 -1 1077944384 2307 0 0 0 144 13 0 0 20 0 15 0 4054144 14316269568 129588 18446744073709551615 4194304 4196468 140723715118000 139689387289104 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15588] ppid=15580 vsize=13980732 CPUtime=0.31 cores=0,2,4,6
/proc/15582/task/15588/stat : 15588 (java) S 15580 15580 3187 0 -1 1077944384 1887 0 0 0 26 5 0 0 20 0 15 0 4054145 14316269568 129588 18446744073709551615 4194304 4196468 140723715118000 139688911297136 139689433492098 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15589] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15589/stat : 15589 (java) S 15580 15580 3187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 4054145 14316269568 129588 18446744073709551615 4194304 4196468 140723715118000 139688910243104 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15590] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15590/stat : 15590 (java) S 15580 15580 3187 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 4054146 14316269568 129588 18446744073709551615 4194304 4196468 140723715118000 139688909190768 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15591] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15591/stat : 15591 (java) S 15580 15580 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4054148 14316269568 129588 18446744073709551615 4194304 4196468 140723715118000 139688908139088 139689433499547 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15592] ppid=15580 vsize=13980732 CPUtime=4.46 cores=0,2,4,6
/proc/15582/task/15592/stat : 15592 (java) S 15580 15580 3187 0 -1 1077944384 39827 0 0 0 441 5 0 0 20 0 15 0 4054148 14316269568 129588 18446744073709551615 4194304 4196468 140723715118000 139688907085936 139689433492098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15593] ppid=15580 vsize=13980732 CPUtime=4.46 cores=0,2,4,6
/proc/15582/task/15593/stat : 15593 (java) S 15580 15580 3187 0 -1 1077944384 37255 0 0 0 442 4 0 0 20 0 15 0 4054148 14316269568 129588 18446744073709551615 4194304 4196468 140723715118000 139688906033136 139689433492098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15594] ppid=15580 vsize=13980732 CPUtime=0.59 cores=0,2,4,6
/proc/15582/task/15594/stat : 15594 (java) S 15580 15580 3187 0 -1 1077944384 10850 0 0 0 57 2 0 0 20 0 15 0 4054148 14316269568 129588 18446744073709551615 4194304 4196468 140723715118000 139688904980848 139689433492098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15595] ppid=15580 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15582/task/15595/stat : 15595 (java) S 15580 15580 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4054148 14316269568 129588 18446744073709551615 4194304 4196468 140723715118000 139688903928288 139689433491157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
[pid=15582/tid=15596] ppid=15580 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/15582/task/15596/stat : 15596 (java) S 15580 15580 3187 0 -1 1077944384 633 0 0 0 7 5 0 0 20 0 15 0 4054155 14316269568 129588 18446744073709551615 4194304 4196468 140723715118000 139688902876080 139689433492098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33505280 140723715125717 140723715125892 140723715125892 140723715129295 0
Current children cumulated CPU time (s) 254.12
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 15582 sig 9
??? kill 15580 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 15580 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1675
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=124
# CPU time returned by wait4() is 0.001799
# while last known CPU time is 254.12
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.011
CPU time (s): 254.12
CPU user time (s): 253.3
CPU system time (s): 0.82
CPU usage (%): 105.878
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001675
system time used= 0.000124
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
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= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.23572 second user time and 1.52564 second system time
The end