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-4254133-1501983908/watcher-4254133-1501983908 -o /tmp/evaluation-result-4254133-1501983908/solver-4254133-1501983908 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501978181-12402 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 399241909 HOME/instance-4254133-1501983908.xml
pid=17477
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.90 1.99 2.03 5/202 17480
/proc/meminfo: memFree=31581232/32770624 swapFree=0/321424
[pid=17480] ppid=17477 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/17480/stat : 17480 (runsolver) D 17477 17480 12039 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 98044079 24240128 107 18446744073709551615 4194304 4338465 140733887686000 140733887683640 140511656223447 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 7184384 140733887692899 140733887693388 140733887693388 140733887696842 0
/proc/17480/statm: 5918 107 54 36 0 2156 0
[startup+0.1002 s]
/proc/loadavg: 1.90 1.99 2.03 5/202 17480
/proc/meminfo: memFree=31581232/32770624 swapFree=0/321424
[pid=17480] ppid=17477 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17480/stat : 17480 (xcsp3-exec) S 17477 17480 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98044079 9740288 345 18446744073709551615 4194304 5098028 140730753671440 140730753669544 140253765321340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 13934592 140730753679778 140730753679981 140730753679981 140730753683435 0
/proc/17480/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200246 s]
/proc/loadavg: 1.90 1.99 2.03 5/202 17480
/proc/meminfo: memFree=31581232/32770624 swapFree=0/321424
[pid=17480] ppid=17477 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17480/stat : 17480 (xcsp3-exec) S 17477 17480 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98044079 9740288 345 18446744073709551615 4194304 5098028 140730753671440 140730753669544 140253765321340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 13934592 140730753679778 140730753679981 140730753679981 140730753683435 0
/proc/17480/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.304152 s]
/proc/loadavg: 1.90 1.99 2.03 5/202 17480
/proc/meminfo: memFree=31581232/32770624 swapFree=0/321424
[pid=17480] ppid=17477 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17480/stat : 17480 (xcsp3-exec) S 17477 17480 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98044079 9740288 345 18446744073709551615 4194304 5098028 140730753671440 140730753669544 140253765321340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 13934592 140730753679778 140730753679981 140730753679981 140730753683435 0
/proc/17480/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701797 s]
/proc/loadavg: 1.90 1.99 2.03 5/202 17480
/proc/meminfo: memFree=31581232/32770624 swapFree=0/321424
[pid=17480] ppid=17477 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17480/stat : 17480 (xcsp3-exec) S 17477 17480 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98044079 9740288 345 18446744073709551615 4194304 5098028 140730753671440 140730753669544 140253765321340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 13934592 140730753679778 140730753679981 140730753679981 140730753683435 0
/proc/17480/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50098 s]
/proc/loadavg: 1.91 1.99 2.03 8/216 17525
/proc/meminfo: memFree=31525304/32770624 swapFree=0/321460
[pid=17480] ppid=17477 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17480/stat : 17480 (xcsp3-exec) S 17477 17480 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98044079 9740288 345 18446744073709551615 4194304 5098028 140730753671440 140730753669544 140253765321340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 13934592 140730753679778 140730753679981 140730753679981 140730753683435 0
/proc/17480/statm: 2378 345 289 221 0 87 0
[pid=17482] ppid=17480 vsize=13980732 CPUtime=3.72 cores=0,2,4,6
/proc/17482/stat : 17482 (java) S 17480 17480 12039 0 -1 1077944320 20190 0 0 0 364 8 0 0 20 0 15 0 98044086 14316269568 23672 18446744073709551615 4194304 4196468 140722093623520 140722093606064 140392060481271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
/proc/17482/statm: 3495183 23672 3187 1 0 3483476 0
[pid=17482/tid=17483] ppid=17480 vsize=13980732 CPUtime=1.36 cores=0,2,4,6
/proc/17482/task/17483/stat : 17483 (java) R 17480 17480 12039 0 -1 4202560 8776 0 0 0 131 5 0 0 20 0 15 0 98044087 14316269568 23672 18446744073709551615 4194304 4196468 140722093623520 140392064719320 140391693298736 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17484] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17484/stat : 17484 (java) S 17480 17480 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044087 14316269568 23672 18446744073709551615 4194304 4196468 140722093623520 140392017447824 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17485] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17485/stat : 17485 (java) S 17480 17480 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044087 14316269568 23672 18446744073709551615 4194304 4196468 140722093623520 140392016395024 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17486] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17486/stat : 17486 (java) S 17480 17480 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044087 14316269568 23672 18446744073709551615 4194304 4196468 140722093623520 140392015342736 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17487] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17487/stat : 17487 (java) S 17480 17480 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98044087 14316269568 23672 18446744073709551615 4194304 4196468 140722093623520 140392014289936 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17488] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17488/stat : 17488 (java) S 17480 17480 12039 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 98044089 14316269568 23672 18446744073709551615 4194304 4196468 140722093623520 140391044331632 140392060492418 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17489] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17489/stat : 17489 (java) S 17480 17480 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98044089 14316269568 23672 18446744073709551615 4194304 4196468 140722093623520 140391043277600 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17490] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17490/stat : 17490 (java) S 17480 17480 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98044089 14316269568 23672 18446744073709551615 4194304 4196468 140722093623520 140391042225264 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17491] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17491/stat : 17491 (java) S 17480 17480 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044092 14316269568 23672 18446744073709551615 4194304 4196468 140722093623520 140391041173584 140392060499867 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17492] ppid=17480 vsize=13980732 CPUtime=0.9 cores=0,2,4,6
/proc/17482/task/17492/stat : 17492 (java) R 17480 17480 12039 0 -1 4202560 3783 0 0 0 90 0 0 0 20 0 15 0 98044092 14316269568 23672 18446744073709551615 4194304 4196468 140722093623520 140391040110928 140392045407892 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17493] ppid=17480 vsize=13980732 CPUtime=0.98 cores=0,2,4,6
/proc/17482/task/17493/stat : 17493 (java) R 17480 17480 12039 0 -1 4202560 4200 0 0 0 98 0 0 0 20 0 15 0 98044092 14316269568 23672 18446744073709551615 4194304 4196468 140722093623520 140391039053208 140392042025741 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17494] ppid=17480 vsize=13980732 CPUtime=0.43 cores=0,2,4,6
/proc/17482/task/17494/stat : 17494 (java) S 17480 17480 12039 0 -1 1077944384 2123 0 0 0 43 0 0 0 20 0 15 0 98044092 14316269568 23672 18446744073709551615 4194304 4196468 140722093623520 140391038016368 140392060492418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17495] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17495/stat : 17495 (java) S 17480 17480 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044092 14316269568 23672 18446744073709551615 4194304 4196468 140722093623520 140391036963808 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17496] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17496/stat : 17496 (java) S 17480 17480 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044096 14316269568 23672 18446744073709551615 4194304 4196468 140722093623520 140391035910576 140392060492418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 13990244
[startup+3.10074 s]
/proc/loadavg: 1.91 1.99 2.03 3/218 17576
/proc/meminfo: memFree=31519196/32770624 swapFree=0/321452
[pid=17480] ppid=17477 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17480/stat : 17480 (xcsp3-exec) S 17477 17480 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98044079 9740288 345 18446744073709551615 4194304 5098028 140730753671440 140730753669544 140253765321340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 13934592 140730753679778 140730753679981 140730753679981 140730753683435 0
/proc/17480/statm: 2378 345 289 221 0 87 0
[pid=17482] ppid=17480 vsize=13980732 CPUtime=6.22 cores=0,2,4,6
/proc/17482/stat : 17482 (java) S 17480 17480 12039 0 -1 1077944320 22146 0 0 0 614 8 0 0 20 0 15 0 98044086 14316269568 24062 18446744073709551615 4194304 4196468 140722093623520 140722093606064 140392060481271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
/proc/17482/statm: 3495183 24062 3192 1 0 3483476 0
[pid=17482/tid=17483] ppid=17480 vsize=13980732 CPUtime=2.96 cores=0,2,4,6
/proc/17482/task/17483/stat : 17483 (java) R 17480 17480 12039 0 -1 4202560 9698 0 0 0 291 5 0 0 20 0 15 0 98044087 14316269568 24062 18446744073709551615 4194304 4196468 140722093623520 140392064717880 140391697590534 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17484] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17484/stat : 17484 (java) S 17480 17480 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044087 14316269568 24062 18446744073709551615 4194304 4196468 140722093623520 140392017447824 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17485] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17485/stat : 17485 (java) S 17480 17480 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044087 14316269568 24062 18446744073709551615 4194304 4196468 140722093623520 140392016395024 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17486] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17486/stat : 17486 (java) S 17480 17480 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044087 14316269568 24062 18446744073709551615 4194304 4196468 140722093623520 140392015342736 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17487] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17487/stat : 17487 (java) S 17480 17480 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98044087 14316269568 24062 18446744073709551615 4194304 4196468 140722093623520 140392014289936 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17488] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17488/stat : 17488 (java) S 17480 17480 12039 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 98044089 14316269568 24062 18446744073709551615 4194304 4196468 140722093623520 140391044331632 140392060492418 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17489] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17489/stat : 17489 (java) S 17480 17480 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98044089 14316269568 24062 18446744073709551615 4194304 4196468 140722093623520 140391043277600 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17490] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17490/stat : 17490 (java) S 17480 17480 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98044089 14316269568 24062 18446744073709551615 4194304 4196468 140722093623520 140391042225264 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17491] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17491/stat : 17491 (java) S 17480 17480 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044092 14316269568 24062 18446744073709551615 4194304 4196468 140722093623520 140391041173584 140392060499867 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17492] ppid=17480 vsize=13980732 CPUtime=1.34 cores=0,2,4,6
/proc/17482/task/17492/stat : 17492 (java) S 17480 17480 12039 0 -1 1077944384 3979 0 0 0 133 1 0 0 20 0 15 0 98044092 14316269568 24062 18446744073709551615 4194304 4196468 140722093623520 140391040121456 140392060492418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17493] ppid=17480 vsize=13980732 CPUtime=1.39 cores=0,2,4,6
/proc/17482/task/17493/stat : 17493 (java) S 17480 17480 12039 0 -1 1077944384 4572 0 0 0 139 0 0 0 20 0 15 0 98044092 14316269568 24062 18446744073709551615 4194304 4196468 140722093623520 140391039068656 140392060492418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17494] ppid=17480 vsize=13980732 CPUtime=0.5 cores=0,2,4,6
/proc/17482/task/17494/stat : 17494 (java) S 17480 17480 12039 0 -1 1077944384 2549 0 0 0 49 1 0 0 20 0 15 0 98044092 14316269568 24062 18446744073709551615 4194304 4196468 140722093623520 140391038016368 140392060492418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17495] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17495/stat : 17495 (java) S 17480 17480 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044092 14316269568 24062 18446744073709551615 4194304 4196468 140722093623520 140391036963808 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17496] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17496/stat : 17496 (java) S 17480 17480 12039 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 98044096 14316269568 24062 18446744073709551615 4194304 4196468 140722093623520 140391035910576 140392060492418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 13990244
[startup+6.3007 s]
/proc/loadavg: 1.92 1.99 2.03 3/218 17576
/proc/meminfo: memFree=31441300/32770624 swapFree=0/321484
[pid=17480] ppid=17477 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17480/stat : 17480 (xcsp3-exec) S 17477 17480 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98044079 9740288 345 18446744073709551615 4194304 5098028 140730753671440 140730753669544 140253765321340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 13934592 140730753679778 140730753679981 140730753679981 140730753683435 0
/proc/17480/statm: 2378 345 289 221 0 87 0
[pid=17482] ppid=17480 vsize=13980732 CPUtime=10.31 cores=0,2,4,6
/proc/17482/stat : 17482 (java) S 17480 17480 12039 0 -1 1077944320 35243 0 0 0 1021 10 0 0 20 0 15 0 98044086 14316269568 29709 18446744073709551615 4194304 4196468 140722093623520 140722093606064 140392060481271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
/proc/17482/statm: 3495183 29709 3202 1 0 3483476 0
[pid=17482/tid=17483] ppid=17480 vsize=13980732 CPUtime=6.16 cores=0,2,4,6
/proc/17482/task/17483/stat : 17483 (java) R 17480 17480 12039 0 -1 4202560 10145 0 0 0 611 5 0 0 20 0 15 0 98044087 14316269568 29709 18446744073709551615 4194304 4196468 140722093623520 140392064717944 140391697590223 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17484] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17484/stat : 17484 (java) S 17480 17480 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044087 14316269568 29709 18446744073709551615 4194304 4196468 140722093623520 140392017447824 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17485] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17485/stat : 17485 (java) S 17480 17480 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044087 14316269568 29709 18446744073709551615 4194304 4196468 140722093623520 140392016395024 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17486] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17486/stat : 17486 (java) S 17480 17480 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044087 14316269568 29709 18446744073709551615 4194304 4196468 140722093623520 140392015342736 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17487] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17487/stat : 17487 (java) S 17480 17480 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98044087 14316269568 29709 18446744073709551615 4194304 4196468 140722093623520 140392014289936 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17488] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17488/stat : 17488 (java) S 17480 17480 12039 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 98044089 14316269568 29709 18446744073709551615 4194304 4196468 140722093623520 140391044331632 140392060492418 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17489] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17489/stat : 17489 (java) S 17480 17480 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98044089 14316269568 29709 18446744073709551615 4194304 4196468 140722093623520 140391043277600 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17490] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17490/stat : 17490 (java) S 17480 17480 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98044089 14316269568 29709 18446744073709551615 4194304 4196468 140722093623520 140391042225264 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17491] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17491/stat : 17491 (java) S 17480 17480 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044092 14316269568 29709 18446744073709551615 4194304 4196468 140722093623520 140391041173584 140392060499867 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17492] ppid=17480 vsize=13980732 CPUtime=1.76 cores=0,2,4,6
/proc/17482/task/17492/stat : 17492 (java) S 17480 17480 12039 0 -1 1077944384 10660 0 0 0 174 2 0 0 20 0 15 0 98044092 14316269568 29709 18446744073709551615 4194304 4196468 140722093623520 140391040121456 140392060492418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17493] ppid=17480 vsize=13980732 CPUtime=1.86 cores=0,2,4,6
/proc/17482/task/17493/stat : 17493 (java) S 17480 17480 12039 0 -1 1077944384 10131 0 0 0 185 1 0 0 20 0 15 0 98044092 14316269568 29709 18446744073709551615 4194304 4196468 140722093623520 140391039068656 140392060492418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17494] ppid=17480 vsize=13980732 CPUtime=0.5 cores=0,2,4,6
/proc/17482/task/17494/stat : 17494 (java) S 17480 17480 12039 0 -1 1077944384 2690 0 0 0 49 1 0 0 20 0 15 0 98044092 14316269568 29709 18446744073709551615 4194304 4196468 140722093623520 140391038016368 140392060492418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17495] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17495/stat : 17495 (java) S 17480 17480 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044092 14316269568 29709 18446744073709551615 4194304 4196468 140722093623520 140391036963808 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17496] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17496/stat : 17496 (java) S 17480 17480 12039 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 98044096 14316269568 29709 18446744073709551615 4194304 4196468 140722093623520 140391035910576 140392060492418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
Current children cumulated CPU time (s) 10.31
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.93 1.99 2.03 3/218 17576
/proc/meminfo: memFree=31410340/32770624 swapFree=0/321496
[pid=17480] ppid=17477 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17480/stat : 17480 (xcsp3-exec) S 17477 17480 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98044079 9740288 345 18446744073709551615 4194304 5098028 140730753671440 140730753669544 140253765321340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 13934592 140730753679778 140730753679981 140730753679981 140730753683435 0
/proc/17480/statm: 2378 345 289 221 0 87 0
[pid=17482] ppid=17480 vsize=13980732 CPUtime=16.75 cores=0,2,4,6
/proc/17482/stat : 17482 (java) S 17480 17480 12039 0 -1 1077944320 38075 0 0 0 1665 10 0 0 20 0 15 0 98044086 14316269568 27875 18446744073709551615 4194304 4196468 140722093623520 140722093606064 140392060481271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
/proc/17482/statm: 3495183 27875 3204 1 0 3483476 0
[pid=17482/tid=17483] ppid=17480 vsize=13980732 CPUtime=12.56 cores=0,2,4,6
/proc/17482/task/17483/stat : 17483 (java) R 17480 17480 12039 0 -1 4202560 10767 0 0 0 1251 5 0 0 20 0 15 0 98044087 14316269568 27875 18446744073709551615 4194304 4196468 140722093623520 140392064719496 140391697590841 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17484] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17484/stat : 17484 (java) S 17480 17480 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044087 14316269568 27875 18446744073709551615 4194304 4196468 140722093623520 140392017447824 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17485] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17485/stat : 17485 (java) S 17480 17480 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044087 14316269568 27875 18446744073709551615 4194304 4196468 140722093623520 140392016395024 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
################
# More data... #
################
[pid=17482/tid=17489] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17489/stat : 17489 (java) S 17480 17480 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98044089 14316269568 37029 18446744073709551615 4194304 4196468 140722093623520 140391043277600 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17490] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17490/stat : 17490 (java) S 17480 17480 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98044089 14316269568 37029 18446744073709551615 4194304 4196468 140722093623520 140391042225264 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17491] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17491/stat : 17491 (java) S 17480 17480 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044092 14316269568 37029 18446744073709551615 4194304 4196468 140722093623520 140391041173584 140392060499867 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17492] ppid=17480 vsize=13980732 CPUtime=2.16 cores=0,2,4,6
/proc/17482/task/17492/stat : 17492 (java) S 17480 17480 12039 0 -1 1077944384 15294 0 0 0 214 2 0 0 20 0 15 0 98044092 14316269568 37029 18446744073709551615 4194304 4196468 140722093623520 140391040121456 140392060492418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17493] ppid=17480 vsize=13980732 CPUtime=2.09 cores=0,2,4,6
/proc/17482/task/17493/stat : 17493 (java) S 17480 17480 12039 0 -1 1077944384 14039 0 0 0 208 1 0 0 20 0 15 0 98044092 14316269568 37029 18446744073709551615 4194304 4196468 140722093623520 140391039068656 140392060492418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17494] ppid=17480 vsize=13980732 CPUtime=0.54 cores=0,2,4,6
/proc/17482/task/17494/stat : 17494 (java) S 17480 17480 12039 0 -1 1077944384 5205 0 0 0 53 1 0 0 20 0 15 0 98044092 14316269568 37029 18446744073709551615 4194304 4196468 140722093623520 140391038016368 140392060492418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17495] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17495/stat : 17495 (java) S 17480 17480 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044092 14316269568 37029 18446744073709551615 4194304 4196468 140722093623520 140391036963808 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17496] ppid=17480 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/17482/task/17496/stat : 17496 (java) S 17480 17480 12039 0 -1 1077944384 1442 0 0 0 1 2 0 0 20 0 15 0 98044096 14316269568 37029 18446744073709551615 4194304 4196468 140722093623520 140391035910576 140392060492418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
Current children cumulated CPU time (s) 107.03
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.99 1.99 2.03 3/216 17581
/proc/meminfo: memFree=31330732/32770624 swapFree=0/321568
[pid=17480] ppid=17477 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17480/stat : 17480 (xcsp3-exec) S 17477 17480 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98044079 9740288 345 18446744073709551615 4194304 5098028 140730753671440 140730753669544 140253765321340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 13934592 140730753679778 140730753679981 140730753679981 140730753683435 0
/proc/17480/statm: 2378 345 289 221 0 87 0
[pid=17482] ppid=17480 vsize=13980732 CPUtime=167.09 cores=0,2,4,6
/proc/17482/stat : 17482 (java) S 17480 17480 12039 0 -1 1077944320 51892 0 0 0 16695 14 0 0 20 0 15 0 98044086 14316269568 46430 18446744073709551615 4194304 4196468 140722093623520 140722093606064 140392060481271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
/proc/17482/statm: 3495183 46430 3206 1 0 3483476 0
[pid=17482/tid=17483] ppid=17480 vsize=13980732 CPUtime=162.14 cores=0,2,4,6
/proc/17482/task/17483/stat : 17483 (java) R 17480 17480 12039 0 -1 4202560 13373 0 0 0 16208 6 0 0 20 0 15 0 98044087 14316269568 46430 18446744073709551615 4194304 4196468 140722093623520 140392064717808 140391697590398 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17484] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17484/stat : 17484 (java) S 17480 17480 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044087 14316269568 46430 18446744073709551615 4194304 4196468 140722093623520 140392017447824 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17485] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17485/stat : 17485 (java) S 17480 17480 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044087 14316269568 46430 18446744073709551615 4194304 4196468 140722093623520 140392016395024 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17486] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17486/stat : 17486 (java) S 17480 17480 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98044087 14316269568 46430 18446744073709551615 4194304 4196468 140722093623520 140392015342736 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17487] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17487/stat : 17487 (java) S 17480 17480 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98044087 14316269568 46430 18446744073709551615 4194304 4196468 140722093623520 140392014289936 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17488] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17488/stat : 17488 (java) S 17480 17480 12039 0 -1 1077944384 477 0 0 0 0 0 0 0 20 0 15 0 98044089 14316269568 46430 18446744073709551615 4194304 4196468 140722093623520 140391044331632 140392060492418 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17489] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17489/stat : 17489 (java) S 17480 17480 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98044089 14316269568 46430 18446744073709551615 4194304 4196468 140722093623520 140391043277600 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17490] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17490/stat : 17490 (java) S 17480 17480 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98044089 14316269568 46430 18446744073709551615 4194304 4196468 140722093623520 140391042225264 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17491] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17491/stat : 17491 (java) S 17480 17480 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044092 14316269568 46430 18446744073709551615 4194304 4196468 140722093623520 140391041173584 140392060499867 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17492] ppid=17480 vsize=13980732 CPUtime=2.18 cores=0,2,4,6
/proc/17482/task/17492/stat : 17492 (java) S 17480 17480 12039 0 -1 1077944384 15437 0 0 0 216 2 0 0 20 0 15 0 98044092 14316269568 46430 18446744073709551615 4194304 4196468 140722093623520 140391040121456 140392060492418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17493] ppid=17480 vsize=13980732 CPUtime=2.12 cores=0,2,4,6
/proc/17482/task/17493/stat : 17493 (java) S 17480 17480 12039 0 -1 1077944384 14193 0 0 0 211 1 0 0 20 0 15 0 98044092 14316269568 46430 18446744073709551615 4194304 4196468 140722093623520 140391039068656 140392060492418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17494] ppid=17480 vsize=13980732 CPUtime=0.55 cores=0,2,4,6
/proc/17482/task/17494/stat : 17494 (java) S 17480 17480 12039 0 -1 1077944384 5641 0 0 0 54 1 0 0 20 0 15 0 98044092 14316269568 46430 18446744073709551615 4194304 4196468 140722093623520 140391038016368 140392060492418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17495] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17495/stat : 17495 (java) S 17480 17480 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044092 14316269568 46430 18446744073709551615 4194304 4196468 140722093623520 140391036963808 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17496] ppid=17480 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/17482/task/17496/stat : 17496 (java) S 17480 17480 12039 0 -1 1077944384 1471 0 0 0 2 2 0 0 20 0 15 0 98044096 14316269568 46430 18446744073709551615 4194304 4196468 140722093623520 140391035910576 140392060492418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
Current children cumulated CPU time (s) 167.09
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.87 1.95 2.02 3/216 17583
/proc/meminfo: memFree=31289652/32770624 swapFree=0/321628
[pid=17480] ppid=17477 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17480/stat : 17480 (xcsp3-exec) S 17477 17480 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98044079 9740288 345 18446744073709551615 4194304 5098028 140730753671440 140730753669544 140253765321340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 13934592 140730753679778 140730753679981 140730753679981 140730753683435 0
/proc/17480/statm: 2378 345 289 221 0 87 0
[pid=17482] ppid=17480 vsize=13980732 CPUtime=227.17 cores=0,2,4,6
/proc/17482/stat : 17482 (java) S 17480 17480 12039 0 -1 1077944320 55069 0 0 0 22701 16 0 0 20 0 15 0 98044086 14316269568 52636 18446744073709551615 4194304 4196468 140722093623520 140722093606064 140392060481271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
/proc/17482/statm: 3495183 52636 3230 1 0 3483476 0
[pid=17482/tid=17483] ppid=17480 vsize=13980732 CPUtime=222.13 cores=0,2,4,6
/proc/17482/task/17483/stat : 17483 (java) R 17480 17480 12039 0 -1 4202560 13838 0 0 0 22207 6 0 0 20 0 15 0 98044087 14316269568 52636 18446744073709551615 4194304 4196468 140722093623520 140392064717760 140391697590084 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17484] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17484/stat : 17484 (java) S 17480 17480 12039 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 98044087 14316269568 52636 18446744073709551615 4194304 4196468 140722093623520 140392017447824 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17485] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17485/stat : 17485 (java) S 17480 17480 12039 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 98044087 14316269568 52636 18446744073709551615 4194304 4196468 140722093623520 140392016395024 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17486] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17486/stat : 17486 (java) S 17480 17480 12039 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 15 0 98044087 14316269568 52636 18446744073709551615 4194304 4196468 140722093623520 140392015342736 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17487] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17487/stat : 17487 (java) S 17480 17480 12039 0 -1 1077944384 694 0 0 0 0 0 0 0 20 0 15 0 98044087 14316269568 52636 18446744073709551615 4194304 4196468 140722093623520 140392014289936 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17488] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17488/stat : 17488 (java) S 17480 17480 12039 0 -1 1077944384 681 0 0 0 0 0 0 0 20 0 15 0 98044089 14316269568 52636 18446744073709551615 4194304 4196468 140722093623520 140391044331632 140392060492418 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17489] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17489/stat : 17489 (java) S 17480 17480 12039 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 98044089 14316269568 52636 18446744073709551615 4194304 4196468 140722093623520 140391043277600 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17490] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17490/stat : 17490 (java) S 17480 17480 12039 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 98044089 14316269568 52636 18446744073709551615 4194304 4196468 140722093623520 140391042225264 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17491] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17491/stat : 17491 (java) S 17480 17480 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044092 14316269568 52636 18446744073709551615 4194304 4196468 140722093623520 140391041173584 140392060499867 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17492] ppid=17480 vsize=13980732 CPUtime=2.18 cores=0,2,4,6
/proc/17482/task/17492/stat : 17492 (java) S 17480 17480 12039 0 -1 1077944384 15484 0 0 0 216 2 0 0 20 0 15 0 98044092 14316269568 52636 18446744073709551615 4194304 4196468 140722093623520 140391040121456 140392060492418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17493] ppid=17480 vsize=13980732 CPUtime=2.14 cores=0,2,4,6
/proc/17482/task/17493/stat : 17493 (java) S 17480 17480 12039 0 -1 1077944384 14354 0 0 0 213 1 0 0 20 0 15 0 98044092 14316269568 52636 18446744073709551615 4194304 4196468 140722093623520 140391039068656 140392060492418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17494] ppid=17480 vsize=13980732 CPUtime=0.56 cores=0,2,4,6
/proc/17482/task/17494/stat : 17494 (java) S 17480 17480 12039 0 -1 1077944384 6680 0 0 0 55 1 0 0 20 0 15 0 98044092 14316269568 52636 18446744073709551615 4194304 4196468 140722093623520 140391038016368 140392060492418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17495] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17495/stat : 17495 (java) S 17480 17480 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044092 14316269568 52636 18446744073709551615 4194304 4196468 140722093623520 140391036963808 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17496] ppid=17480 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/17482/task/17496/stat : 17496 (java) S 17480 17480 12039 0 -1 1077944384 1498 0 0 0 3 3 0 0 20 0 15 0 98044096 14316269568 52636 18446744073709551615 4194304 4196468 140722093623520 140391035910576 140392060492418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
Current children cumulated CPU time (s) 227.17
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.96 1.97 2.03 3/216 17583
/proc/meminfo: memFree=31289528/32770624 swapFree=0/321636
[pid=17480] ppid=17477 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17480/stat : 17480 (xcsp3-exec) S 17477 17480 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98044079 9740288 345 18446744073709551615 4194304 5098028 140730753671440 140730753669544 140253765321340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 13934592 140730753679778 140730753679981 140730753679981 140730753683435 0
/proc/17480/statm: 2378 345 289 221 0 87 0
[pid=17482] ppid=17480 vsize=13980732 CPUtime=244.89 cores=0,2,4,6
/proc/17482/stat : 17482 (java) S 17480 17480 12039 0 -1 1077944320 55144 0 0 0 24473 16 0 0 20 0 15 0 98044086 14316269568 52643 18446744073709551615 4194304 4196468 140722093623520 140722093606064 140392060481271 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
/proc/17482/statm: 3495183 52643 3230 1 0 3483476 0
[pid=17482/tid=17483] ppid=17480 vsize=13980732 CPUtime=239.83 cores=0,2,4,6
/proc/17482/task/17483/stat : 17483 (java) R 17480 17480 12039 0 -1 4202560 13856 0 0 0 23977 6 0 0 20 0 15 0 98044087 14316269568 52643 18446744073709551615 4194304 4196468 140722093623520 140392064717632 140391699071095 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17484] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17484/stat : 17484 (java) S 17480 17480 12039 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 98044087 14316269568 52643 18446744073709551615 4194304 4196468 140722093623520 140392017447824 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17485] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17485/stat : 17485 (java) S 17480 17480 12039 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 98044087 14316269568 52643 18446744073709551615 4194304 4196468 140722093623520 140392016395024 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17486] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17486/stat : 17486 (java) S 17480 17480 12039 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 15 0 98044087 14316269568 52643 18446744073709551615 4194304 4196468 140722093623520 140392015342736 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17487] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17487/stat : 17487 (java) S 17480 17480 12039 0 -1 1077944384 694 0 0 0 0 0 0 0 20 0 15 0 98044087 14316269568 52643 18446744073709551615 4194304 4196468 140722093623520 140392014289936 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17488] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17488/stat : 17488 (java) S 17480 17480 12039 0 -1 1077944384 681 0 0 0 0 0 0 0 20 0 15 0 98044089 14316269568 52643 18446744073709551615 4194304 4196468 140722093623520 140391044331632 140392060492418 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17489] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17489/stat : 17489 (java) S 17480 17480 12039 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 98044089 14316269568 52643 18446744073709551615 4194304 4196468 140722093623520 140391043277600 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17490] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17490/stat : 17490 (java) S 17480 17480 12039 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 98044089 14316269568 52643 18446744073709551615 4194304 4196468 140722093623520 140391042225264 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17491] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17491/stat : 17491 (java) S 17480 17480 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044092 14316269568 52643 18446744073709551615 4194304 4196468 140722093623520 140391041173584 140392060499867 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17492] ppid=17480 vsize=13980732 CPUtime=2.21 cores=0,2,4,6
/proc/17482/task/17492/stat : 17492 (java) S 17480 17480 12039 0 -1 1077944384 15527 0 0 0 219 2 0 0 20 0 15 0 98044092 14316269568 52643 18446744073709551615 4194304 4196468 140722093623520 140391040121456 140392060492418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17493] ppid=17480 vsize=13980732 CPUtime=2.14 cores=0,2,4,6
/proc/17482/task/17493/stat : 17493 (java) S 17480 17480 12039 0 -1 1077944384 14368 0 0 0 213 1 0 0 20 0 15 0 98044092 14316269568 52643 18446744073709551615 4194304 4196468 140722093623520 140391039068656 140392060492418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17494] ppid=17480 vsize=13980732 CPUtime=0.56 cores=0,2,4,6
/proc/17482/task/17494/stat : 17494 (java) S 17480 17480 12039 0 -1 1077944384 6680 0 0 0 55 1 0 0 20 0 15 0 98044092 14316269568 52643 18446744073709551615 4194304 4196468 140722093623520 140391038016368 140392060492418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17495] ppid=17480 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17482/task/17495/stat : 17495 (java) S 17480 17480 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98044092 14316269568 52643 18446744073709551615 4194304 4196468 140722093623520 140391036963808 140392060491477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
[pid=17482/tid=17496] ppid=17480 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/17482/task/17496/stat : 17496 (java) S 17480 17480 12039 0 -1 1077944384 1498 0 0 0 3 3 0 0 20 0 15 0 98044096 14316269568 52643 18446744073709551615 4194304 4196468 140722093623520 140391035910576 140392060492418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140722093625818 140722093625993 140722093625993 140722093629391 0
Current children cumulated CPU time (s) 244.89
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 17482 sig 9
??? kill 17480 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 17480 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=922
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=922
# CPU time returned by wait4() is 0.001844
# while last known CPU time is 244.89
#
# 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): 244.89
CPU user time (s): 244.73
CPU system time (s): 0.16
CPU usage (%): 102.033
Max. virtual memory (cumulated for all children) (KiB): 13991964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000922
system time used= 0.000922
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= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.67578 second user time and 0.771587 second system time
The end