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-4253915-1501616927/watcher-4253915-1501616927 -o /tmp/evaluation-result-4253915-1501616927/solver-4253915-1501616927 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501611185-5151 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1331957801 HOME/instance-4253915-1501616927.xml
pid=9827
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: 2.04 1.89 1.82 4/196 9830
/proc/meminfo: memFree=31538624/32770624 swapFree=0/186224
[pid=9830] ppid=9827 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/9830/stat : 9830 (runsolver) D 9827 9830 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10315832 24240128 106 18446744073709551615 4194304 4338465 140727727286688 140727727284328 140389363155671 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 11362304 140727727292509 140727727292998 140727727292998 140727727296458 0
/proc/9830/statm: 5918 106 53 36 0 2156 0
[startup+0.100111 s]
/proc/loadavg: 2.04 1.89 1.82 4/196 9830
/proc/meminfo: memFree=31538624/32770624 swapFree=0/186224
[pid=9830] ppid=9827 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9830/stat : 9830 (xcsp3-exec) S 9827 9830 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10315832 9740288 345 18446744073709551615 4194304 5098028 140722328532896 140722328531000 140274990543484 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33382400 140722328539547 140722328539751 140722328539751 140722328543211 0
/proc/9830/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200568 s]
/proc/loadavg: 2.04 1.89 1.82 4/196 9830
/proc/meminfo: memFree=31538624/32770624 swapFree=0/186224
[pid=9830] ppid=9827 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9830/stat : 9830 (xcsp3-exec) S 9827 9830 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10315832 9740288 345 18446744073709551615 4194304 5098028 140722328532896 140722328531000 140274990543484 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33382400 140722328539547 140722328539751 140722328539751 140722328543211 0
/proc/9830/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300214 s]
/proc/loadavg: 2.04 1.89 1.82 4/196 9830
/proc/meminfo: memFree=31538624/32770624 swapFree=0/186224
[pid=9830] ppid=9827 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9830/stat : 9830 (xcsp3-exec) S 9827 9830 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10315832 9740288 345 18446744073709551615 4194304 5098028 140722328532896 140722328531000 140274990543484 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33382400 140722328539547 140722328539751 140722328539751 140722328543211 0
/proc/9830/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700446 s]
/proc/loadavg: 2.04 1.89 1.82 4/196 9830
/proc/meminfo: memFree=31538624/32770624 swapFree=0/186224
[pid=9830] ppid=9827 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9830/stat : 9830 (xcsp3-exec) S 9827 9830 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10315832 9740288 345 18446744073709551615 4194304 5098028 140722328532896 140722328531000 140274990543484 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33382400 140722328539547 140722328539751 140722328539751 140722328543211 0
/proc/9830/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5006 s]
/proc/loadavg: 2.04 1.89 1.82 5/212 9846
/proc/meminfo: memFree=31477484/32770624 swapFree=0/186248
[pid=9830] ppid=9827 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9830/stat : 9830 (xcsp3-exec) S 9827 9830 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10315832 9740288 345 18446744073709551615 4194304 5098028 140722328532896 140722328531000 140274990543484 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33382400 140722328539547 140722328539751 140722328539751 140722328543211 0
/proc/9830/statm: 2378 345 289 221 0 87 0
[pid=9832] ppid=9830 vsize=13980732 CPUtime=3.74 cores=0,2,4,6
/proc/9832/stat : 9832 (java) S 9830 9830 5091 0 -1 1077944320 22652 0 0 0 369 5 0 0 20 0 15 0 10315840 14316269568 20487 18446744073709551615 4194304 4196468 140730924398128 140730924380672 140047774777079 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
/proc/9832/statm: 3495183 20487 3170 1 0 3483484 0
[pid=9832/tid=9833] ppid=9830 vsize=13980732 CPUtime=1.37 cores=0,2,4,6
/proc/9832/task/9833/stat : 9833 (java) R 9830 9830 5091 0 -1 4202560 8663 0 0 0 134 3 0 0 20 0 15 0 10315840 14316269568 20487 18446744073709551615 4194304 4196468 140730924398128 140047779012832 140047774789014 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9834] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9834/stat : 9834 (java) S 9830 9830 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10315841 14316269568 20487 18446744073709551615 4194304 4196468 140730924398128 140047374380176 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9835] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9835/stat : 9835 (java) S 9830 9830 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10315841 14316269568 20487 18446744073709551615 4194304 4196468 140730924398128 140047373327376 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9836] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9836/stat : 9836 (java) S 9830 9830 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10315841 14316269568 20487 18446744073709551615 4194304 4196468 140730924398128 140047372274576 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9837] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9837/stat : 9837 (java) S 9830 9830 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10315841 14316269568 20487 18446744073709551615 4194304 4196468 140730924398128 140047371221776 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9838] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9838/stat : 9838 (java) S 9830 9830 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10315842 14316269568 20487 18446744073709551615 4194304 4196468 140730924398128 140046691535216 140047774788226 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9839] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9839/stat : 9839 (java) S 9830 9830 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10315843 14316269568 20487 18446744073709551615 4194304 4196468 140730924398128 140046690481184 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9840] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9840/stat : 9840 (java) S 9830 9830 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10315843 14316269568 20487 18446744073709551615 4194304 4196468 140730924398128 140046689428336 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9841] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9841/stat : 9841 (java) S 9830 9830 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10315846 14316269568 20487 18446744073709551615 4194304 4196468 140730924398128 140046688376656 140047774795675 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9842] ppid=9830 vsize=13980732 CPUtime=1.02 cores=0,2,4,6
/proc/9832/task/9842/stat : 9842 (java) R 9830 9830 5091 0 -1 4202560 5331 0 0 0 102 0 0 0 20 0 15 0 10315846 14316269568 20503 18446744073709551615 4194304 4196468 140730924398128 140046687317528 140047758277462 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9843] ppid=9830 vsize=13980732 CPUtime=1 cores=0,2,4,6
/proc/9832/task/9843/stat : 9843 (java) R 9830 9830 5091 0 -1 4202560 5468 0 0 0 100 0 0 0 20 0 15 0 10315846 14316269568 20503 18446744073709551615 4194304 4196468 140730924398128 140046686258120 140047767873963 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9844] ppid=9830 vsize=13980732 CPUtime=0.31 cores=0,2,4,6
/proc/9832/task/9844/stat : 9844 (java) R 9830 9830 5091 0 -1 1077944384 1884 0 0 0 31 0 0 0 20 0 15 0 10315846 14316269568 20503 18446744073709551615 4194304 4196468 140730924398128 140046685219440 140047774788226 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9845] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9845/stat : 9845 (java) S 9830 9830 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10315846 14316269568 20503 18446744073709551615 4194304 4196468 140730924398128 140046684166880 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9846] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9846/stat : 9846 (java) S 9830 9830 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10315849 14316269568 20503 18446744073709551615 4194304 4196468 140730924398128 140046683114160 140047774788226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 13990244
[startup+3.10075 s]
/proc/loadavg: 2.04 1.89 1.82 3/212 9846
/proc/meminfo: memFree=31468060/32770624 swapFree=0/186248
[pid=9830] ppid=9827 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9830/stat : 9830 (xcsp3-exec) S 9827 9830 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10315832 9740288 345 18446744073709551615 4194304 5098028 140722328532896 140722328531000 140274990543484 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33382400 140722328539547 140722328539751 140722328539751 140722328543211 0
/proc/9830/statm: 2378 345 289 221 0 87 0
[pid=9832] ppid=9830 vsize=13980732 CPUtime=6.75 cores=0,2,4,6
/proc/9832/stat : 9832 (java) S 9830 9830 5091 0 -1 1077944320 24411 0 0 0 669 6 0 0 20 0 15 0 10315840 14316269568 21551 18446744073709551615 4194304 4196468 140730924398128 140730924380672 140047774777079 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
/proc/9832/statm: 3495183 21551 3174 1 0 3483484 0
[pid=9832/tid=9833] ppid=9830 vsize=13980732 CPUtime=2.97 cores=0,2,4,6
/proc/9832/task/9833/stat : 9833 (java) R 9830 9830 5091 0 -1 4202560 9195 0 0 0 294 3 0 0 20 0 15 0 10315840 14316269568 21551 18446744073709551615 4194304 4196468 140730924398128 140047779013680 140047418899204 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9834] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9834/stat : 9834 (java) S 9830 9830 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10315841 14316269568 21551 18446744073709551615 4194304 4196468 140730924398128 140047374380176 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9835] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9835/stat : 9835 (java) S 9830 9830 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10315841 14316269568 21551 18446744073709551615 4194304 4196468 140730924398128 140047373327376 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9836] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9836/stat : 9836 (java) S 9830 9830 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10315841 14316269568 21551 18446744073709551615 4194304 4196468 140730924398128 140047372274576 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9837] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9837/stat : 9837 (java) S 9830 9830 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10315841 14316269568 21551 18446744073709551615 4194304 4196468 140730924398128 140047371221776 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9838] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9838/stat : 9838 (java) S 9830 9830 5091 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10315842 14316269568 21551 18446744073709551615 4194304 4196468 140730924398128 140046691535216 140047774788226 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9839] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9839/stat : 9839 (java) S 9830 9830 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10315843 14316269568 21551 18446744073709551615 4194304 4196468 140730924398128 140046690481184 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9840] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9840/stat : 9840 (java) S 9830 9830 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10315843 14316269568 21551 18446744073709551615 4194304 4196468 140730924398128 140046689428336 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9841] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9841/stat : 9841 (java) S 9830 9830 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10315846 14316269568 21551 18446744073709551615 4194304 4196468 140730924398128 140046688376656 140047774795675 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9842] ppid=9830 vsize=13980732 CPUtime=1.6 cores=0,2,4,6
/proc/9832/task/9842/stat : 9842 (java) S 9830 9830 5091 0 -1 1077944384 5574 0 0 0 160 0 0 0 20 0 15 0 10315846 14316269568 21551 18446744073709551615 4194304 4196468 140730924398128 140046687325040 140047774788226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9843] ppid=9830 vsize=13980732 CPUtime=1.77 cores=0,2,4,6
/proc/9832/task/9843/stat : 9843 (java) S 9830 9830 5091 0 -1 1077944384 6106 0 0 0 177 0 0 0 20 0 15 0 10315846 14316269568 21551 18446744073709551615 4194304 4196468 140730924398128 140046686272240 140047774788226 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9844] ppid=9830 vsize=13980732 CPUtime=0.37 cores=0,2,4,6
/proc/9832/task/9844/stat : 9844 (java) S 9830 9830 5091 0 -1 1077944384 2145 0 0 0 37 0 0 0 20 0 15 0 10315846 14316269568 21551 18446744073709551615 4194304 4196468 140730924398128 140046685219440 140047774788226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9845] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9845/stat : 9845 (java) S 9830 9830 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10315846 14316269568 21551 18446744073709551615 4194304 4196468 140730924398128 140046684166880 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9846] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9846/stat : 9846 (java) S 9830 9830 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 10315849 14316269568 21551 18446744073709551615 4194304 4196468 140730924398128 140046683114160 140047774788226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
Current children cumulated CPU time (s) 6.75
Current children cumulated vsize (KiB) 13990244
[startup+6.30066 s]
/proc/loadavg: 2.03 1.90 1.82 3/212 9846
/proc/meminfo: memFree=31463728/32770624 swapFree=0/186256
[pid=9830] ppid=9827 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9830/stat : 9830 (xcsp3-exec) S 9827 9830 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10315832 9740288 345 18446744073709551615 4194304 5098028 140722328532896 140722328531000 140274990543484 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33382400 140722328539547 140722328539751 140722328539751 140722328543211 0
/proc/9830/statm: 2378 345 289 221 0 87 0
[pid=9832] ppid=9830 vsize=13980732 CPUtime=10.29 cores=0,2,4,6
/proc/9832/stat : 9832 (java) S 9830 9830 5091 0 -1 1077944320 28483 0 0 0 1022 7 0 0 20 0 15 0 10315840 14316269568 22411 18446744073709551615 4194304 4196468 140730924398128 140730924380672 140047774777079 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
/proc/9832/statm: 3495183 22411 3184 1 0 3483484 0
[pid=9832/tid=9833] ppid=9830 vsize=13980732 CPUtime=6.17 cores=0,2,4,6
/proc/9832/task/9833/stat : 9833 (java) R 9830 9830 5091 0 -1 4202560 9786 0 0 0 614 3 0 0 20 0 15 0 10315840 14316269568 22411 18446744073709551615 4194304 4196468 140730924398128 140047779013216 140047419384756 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9834] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9834/stat : 9834 (java) S 9830 9830 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10315841 14316269568 22411 18446744073709551615 4194304 4196468 140730924398128 140047374380176 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9835] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9835/stat : 9835 (java) S 9830 9830 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10315841 14316269568 22411 18446744073709551615 4194304 4196468 140730924398128 140047373327376 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9836] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9836/stat : 9836 (java) S 9830 9830 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10315841 14316269568 22411 18446744073709551615 4194304 4196468 140730924398128 140047372274576 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9837] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9837/stat : 9837 (java) S 9830 9830 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10315841 14316269568 22411 18446744073709551615 4194304 4196468 140730924398128 140047371221776 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9838] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9838/stat : 9838 (java) S 9830 9830 5091 0 -1 1077944384 345 0 0 0 0 0 0 0 20 0 15 0 10315842 14316269568 22411 18446744073709551615 4194304 4196468 140730924398128 140046691535216 140047774788226 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9839] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9839/stat : 9839 (java) S 9830 9830 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10315843 14316269568 22411 18446744073709551615 4194304 4196468 140730924398128 140046690481184 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9840] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9840/stat : 9840 (java) S 9830 9830 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10315843 14316269568 22411 18446744073709551615 4194304 4196468 140730924398128 140046689428336 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9841] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9841/stat : 9841 (java) S 9830 9830 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10315846 14316269568 22411 18446744073709551615 4194304 4196468 140730924398128 140046688376656 140047774795675 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9842] ppid=9830 vsize=13980732 CPUtime=1.79 cores=0,2,4,6
/proc/9832/task/9842/stat : 9842 (java) S 9830 9830 5091 0 -1 1077944384 6809 0 0 0 178 1 0 0 20 0 15 0 10315846 14316269568 22411 18446744073709551615 4194304 4196468 140730924398128 140046687325040 140047774788226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9843] ppid=9830 vsize=13980732 CPUtime=1.92 cores=0,2,4,6
/proc/9832/task/9843/stat : 9843 (java) S 9830 9830 5091 0 -1 1077944384 7381 0 0 0 191 1 0 0 20 0 15 0 10315846 14316269568 22411 18446744073709551615 4194304 4196468 140730924398128 140046686272240 140047774788226 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9844] ppid=9830 vsize=13980732 CPUtime=0.38 cores=0,2,4,6
/proc/9832/task/9844/stat : 9844 (java) S 9830 9830 5091 0 -1 1077944384 2462 0 0 0 38 0 0 0 20 0 15 0 10315846 14316269568 22411 18446744073709551615 4194304 4196468 140730924398128 140046685219440 140047774788226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9845] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9845/stat : 9845 (java) S 9830 9830 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10315846 14316269568 22411 18446744073709551615 4194304 4196468 140730924398128 140046684166880 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9846] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9846/stat : 9846 (java) S 9830 9830 5091 0 -1 1077944384 399 0 0 0 0 0 0 0 20 0 15 0 10315849 14316269568 22411 18446744073709551615 4194304 4196468 140730924398128 140046683114160 140047774788226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
Current children cumulated CPU time (s) 10.29
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.03 1.90 1.82 3/212 9846
/proc/meminfo: memFree=31439372/32770624 swapFree=0/186260
[pid=9830] ppid=9827 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9830/stat : 9830 (xcsp3-exec) S 9827 9830 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10315832 9740288 345 18446744073709551615 4194304 5098028 140722328532896 140722328531000 140274990543484 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33382400 140722328539547 140722328539751 140722328539751 140722328543211 0
/proc/9830/statm: 2378 345 289 221 0 87 0
[pid=9832] ppid=9830 vsize=13980732 CPUtime=17 cores=0,2,4,6
/proc/9832/stat : 9832 (java) S 9830 9830 5091 0 -1 1077944320 32427 0 0 0 1693 7 0 0 20 0 15 0 10315840 14316269568 29133 18446744073709551615 4194304 4196468 140730924398128 140730924380672 140047774777079 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
/proc/9832/statm: 3495183 29133 3187 1 0 3483484 0
[pid=9832/tid=9833] ppid=9830 vsize=13980732 CPUtime=12.57 cores=0,2,4,6
/proc/9832/task/9833/stat : 9833 (java) R 9830 9830 5091 0 -1 4202560 10435 0 0 0 1253 4 0 0 20 0 15 0 10315840 14316269568 29133 18446744073709551615 4194304 4196468 140730924398128 140047779014680 140047419522010 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9834] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9834/stat : 9834 (java) S 9830 9830 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10315841 14316269568 29133 18446744073709551615 4194304 4196468 140730924398128 140047374380176 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9835] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9835/stat : 9835 (java) S 9830 9830 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10315841 14316269568 29133 18446744073709551615 4194304 4196468 140730924398128 140047373327376 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
################
# More data... #
################
[pid=9832/tid=9839] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9839/stat : 9839 (java) S 9830 9830 5091 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 10315843 14316269568 51048 18446744073709551615 4194304 4196468 140730924398128 140046690481184 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9840] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9840/stat : 9840 (java) S 9830 9830 5091 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10315843 14316269568 51048 18446744073709551615 4194304 4196468 140730924398128 140046689428336 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9841] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9841/stat : 9841 (java) S 9830 9830 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10315846 14316269568 51048 18446744073709551615 4194304 4196468 140730924398128 140046688376656 140047774795675 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9842] ppid=9830 vsize=13980732 CPUtime=2.1 cores=0,2,4,6
/proc/9832/task/9842/stat : 9842 (java) S 9830 9830 5091 0 -1 1077944384 10187 0 0 0 209 1 0 0 20 0 15 0 10315846 14316269568 51048 18446744073709551615 4194304 4196468 140730924398128 140046687325040 140047774788226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9843] ppid=9830 vsize=13980732 CPUtime=2.05 cores=0,2,4,6
/proc/9832/task/9843/stat : 9843 (java) S 9830 9830 5091 0 -1 1077944384 9750 0 0 0 204 1 0 0 20 0 15 0 10315846 14316269568 51048 18446744073709551615 4194304 4196468 140730924398128 140046686272240 140047774788226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9844] ppid=9830 vsize=13980732 CPUtime=0.44 cores=0,2,4,6
/proc/9832/task/9844/stat : 9844 (java) S 9830 9830 5091 0 -1 1077944384 5624 0 0 0 44 0 0 0 20 0 15 0 10315846 14316269568 51048 18446744073709551615 4194304 4196468 140730924398128 140046685219440 140047774788226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9845] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9845/stat : 9845 (java) S 9830 9830 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10315846 14316269568 51048 18446744073709551615 4194304 4196468 140730924398128 140046684166880 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9846] ppid=9830 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/9832/task/9846/stat : 9846 (java) S 9830 9830 5091 0 -1 1077944384 526 0 0 0 1 1 0 0 20 0 15 0 10315849 14316269568 51048 18446744073709551615 4194304 4196468 140730924398128 140046683114160 140047774788226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
Current children cumulated CPU time (s) 106.89
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.80 1.88 1.83 3/211 9929
/proc/meminfo: memFree=30436508/32770624 swapFree=0/186444
[pid=9830] ppid=9827 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9830/stat : 9830 (xcsp3-exec) S 9827 9830 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10315832 9740288 345 18446744073709551615 4194304 5098028 140722328532896 140722328531000 140274990543484 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33382400 140722328539547 140722328539751 140722328539751 140722328543211 0
/proc/9830/statm: 2378 345 289 221 0 87 0
[pid=9832] ppid=9830 vsize=13980732 CPUtime=166.97 cores=0,2,4,6
/proc/9832/stat : 9832 (java) S 9830 9830 5091 0 -1 1077944320 46312 0 0 0 16683 14 0 0 20 0 15 0 10315840 14316269568 49527 18446744073709551615 4194304 4196468 140730924398128 140730924380672 140047774777079 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
/proc/9832/statm: 3495183 49527 3222 1 0 3483484 0
[pid=9832/tid=9833] ppid=9830 vsize=13980732 CPUtime=162.12 cores=0,2,4,6
/proc/9832/task/9833/stat : 9833 (java) R 9830 9830 5091 0 -1 4202560 13126 0 0 0 16207 5 0 0 20 0 15 0 10315840 14316269568 49527 18446744073709551615 4194304 4196468 140730924398128 140047779016496 140047420378315 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9834] ppid=9830 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/9832/task/9834/stat : 9834 (java) S 9830 9830 5091 0 -1 1077944384 885 0 0 0 1 0 0 0 20 0 15 0 10315841 14316269568 49527 18446744073709551615 4194304 4196468 140730924398128 140047374380176 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9835] ppid=9830 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/9832/task/9835/stat : 9835 (java) S 9830 9830 5091 0 -1 1077944384 999 0 0 0 1 0 0 0 20 0 15 0 10315841 14316269568 49527 18446744073709551615 4194304 4196468 140730924398128 140047373327376 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9836] ppid=9830 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/9832/task/9836/stat : 9836 (java) S 9830 9830 5091 0 -1 1077944384 789 0 0 0 1 0 0 0 20 0 15 0 10315841 14316269568 49527 18446744073709551615 4194304 4196468 140730924398128 140047372274576 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9837] ppid=9830 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/9832/task/9837/stat : 9837 (java) S 9830 9830 5091 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 15 0 10315841 14316269568 49527 18446744073709551615 4194304 4196468 140730924398128 140047371221776 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9838] ppid=9830 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/9832/task/9838/stat : 9838 (java) S 9830 9830 5091 0 -1 1077944384 1060 0 0 0 1 0 0 0 20 0 15 0 10315842 14316269568 49527 18446744073709551615 4194304 4196468 140730924398128 140046691535216 140047774788226 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9839] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9839/stat : 9839 (java) S 9830 9830 5091 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 10315843 14316269568 49527 18446744073709551615 4194304 4196468 140730924398128 140046690481184 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9840] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9840/stat : 9840 (java) S 9830 9830 5091 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10315843 14316269568 49527 18446744073709551615 4194304 4196468 140730924398128 140046689428336 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9841] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9841/stat : 9841 (java) S 9830 9830 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10315846 14316269568 49527 18446744073709551615 4194304 4196468 140730924398128 140046688376656 140047774795675 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9842] ppid=9830 vsize=13980732 CPUtime=2.13 cores=0,2,4,6
/proc/9832/task/9842/stat : 9842 (java) S 9830 9830 5091 0 -1 1077944384 11131 0 0 0 212 1 0 0 20 0 15 0 10315846 14316269568 49527 18446744073709551615 4194304 4196468 140730924398128 140046687325040 140047774788226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9843] ppid=9830 vsize=13980732 CPUtime=2.08 cores=0,2,4,6
/proc/9832/task/9843/stat : 9843 (java) S 9830 9830 5091 0 -1 1077944384 10428 0 0 0 207 1 0 0 20 0 15 0 10315846 14316269568 49527 18446744073709551615 4194304 4196468 140730924398128 140046686272240 140047774788226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9844] ppid=9830 vsize=13980732 CPUtime=0.44 cores=0,2,4,6
/proc/9832/task/9844/stat : 9844 (java) S 9830 9830 5091 0 -1 1077944384 5645 0 0 0 44 0 0 0 20 0 15 0 10315846 14316269568 49527 18446744073709551615 4194304 4196468 140730924398128 140046685219440 140047774788226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9845] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9845/stat : 9845 (java) S 9830 9830 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10315846 14316269568 49527 18446744073709551615 4194304 4196468 140730924398128 140046684166880 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9846] ppid=9830 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/9832/task/9846/stat : 9846 (java) S 9830 9830 5091 0 -1 1077944384 551 0 0 0 2 2 0 0 20 0 15 0 10315849 14316269568 49527 18446744073709551615 4194304 4196468 140730924398128 140046683114160 140047774788226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
Current children cumulated CPU time (s) 166.97
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.83 1.87 1.83 3/211 9931
/proc/meminfo: memFree=30448836/32770624 swapFree=0/186468
[pid=9830] ppid=9827 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9830/stat : 9830 (xcsp3-exec) S 9827 9830 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10315832 9740288 345 18446744073709551615 4194304 5098028 140722328532896 140722328531000 140274990543484 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33382400 140722328539547 140722328539751 140722328539751 140722328543211 0
/proc/9830/statm: 2378 345 289 221 0 87 0
[pid=9832] ppid=9830 vsize=13980732 CPUtime=227.01 cores=0,2,4,6
/proc/9832/stat : 9832 (java) S 9830 9830 5091 0 -1 1077944320 47759 0 0 0 22686 15 0 0 20 0 15 0 10315840 14316269568 46457 18446744073709551615 4194304 4196468 140730924398128 140730924380672 140047774777079 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
/proc/9832/statm: 3495183 46457 3222 1 0 3483484 0
[pid=9832/tid=9833] ppid=9830 vsize=13980732 CPUtime=222.11 cores=0,2,4,6
/proc/9832/task/9833/stat : 9833 (java) R 9830 9830 5091 0 -1 4202560 13277 0 0 0 22206 5 0 0 20 0 15 0 10315840 14316269568 46457 18446744073709551615 4194304 4196468 140730924398128 140047779015712 140047419153856 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9834] ppid=9830 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/9832/task/9834/stat : 9834 (java) S 9830 9830 5091 0 -1 1077944384 899 0 0 0 2 0 0 0 20 0 15 0 10315841 14316269568 46457 18446744073709551615 4194304 4196468 140730924398128 140047374380176 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9835] ppid=9830 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/9832/task/9835/stat : 9835 (java) S 9830 9830 5091 0 -1 1077944384 1014 0 0 0 1 0 0 0 20 0 15 0 10315841 14316269568 46457 18446744073709551615 4194304 4196468 140730924398128 140047373327376 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9836] ppid=9830 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/9832/task/9836/stat : 9836 (java) S 9830 9830 5091 0 -1 1077944384 896 0 0 0 1 0 0 0 20 0 15 0 10315841 14316269568 46457 18446744073709551615 4194304 4196468 140730924398128 140047372274576 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9837] ppid=9830 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/9832/task/9837/stat : 9837 (java) S 9830 9830 5091 0 -1 1077944384 353 0 0 0 1 0 0 0 20 0 15 0 10315841 14316269568 46457 18446744073709551615 4194304 4196468 140730924398128 140047371221776 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9838] ppid=9830 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/9832/task/9838/stat : 9838 (java) S 9830 9830 5091 0 -1 1077944384 1272 0 0 0 2 0 0 0 20 0 15 0 10315842 14316269568 46457 18446744073709551615 4194304 4196468 140730924398128 140046691535216 140047774788226 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9839] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9839/stat : 9839 (java) S 9830 9830 5091 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 10315843 14316269568 46457 18446744073709551615 4194304 4196468 140730924398128 140046690481184 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9840] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9840/stat : 9840 (java) S 9830 9830 5091 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10315843 14316269568 46457 18446744073709551615 4194304 4196468 140730924398128 140046689428336 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9841] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9841/stat : 9841 (java) S 9830 9830 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10315846 14316269568 46457 18446744073709551615 4194304 4196468 140730924398128 140046688376656 140047774795675 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9842] ppid=9830 vsize=13980732 CPUtime=2.14 cores=0,2,4,6
/proc/9832/task/9842/stat : 9842 (java) S 9830 9830 5091 0 -1 1077944384 11131 0 0 0 213 1 0 0 20 0 15 0 10315846 14316269568 46457 18446744073709551615 4194304 4196468 140730924398128 140046687325040 140047774788226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9843] ppid=9830 vsize=13980732 CPUtime=2.08 cores=0,2,4,6
/proc/9832/task/9843/stat : 9843 (java) S 9830 9830 5091 0 -1 1077944384 10770 0 0 0 207 1 0 0 20 0 15 0 10315846 14316269568 46457 18446744073709551615 4194304 4196468 140730924398128 140046686272240 140047774788226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9844] ppid=9830 vsize=13980732 CPUtime=0.44 cores=0,2,4,6
/proc/9832/task/9844/stat : 9844 (java) S 9830 9830 5091 0 -1 1077944384 6221 0 0 0 44 0 0 0 20 0 15 0 10315846 14316269568 46457 18446744073709551615 4194304 4196468 140730924398128 140046685219440 140047774788226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9845] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9845/stat : 9845 (java) S 9830 9830 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10315846 14316269568 46457 18446744073709551615 4194304 4196468 140730924398128 140046684166880 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9846] ppid=9830 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/9832/task/9846/stat : 9846 (java) S 9830 9830 5091 0 -1 1077944384 556 0 0 0 2 3 0 0 20 0 15 0 10315849 14316269568 46457 18446744073709551615 4194304 4196468 140730924398128 140046683114160 140047774788226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
Current children cumulated CPU time (s) 227.01
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.81 1.86 1.82 3/211 9931
/proc/meminfo: memFree=30452432/32770624 swapFree=0/186476
[pid=9830] ppid=9827 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9830/stat : 9830 (xcsp3-exec) S 9827 9830 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10315832 9740288 345 18446744073709551615 4194304 5098028 140722328532896 140722328531000 140274990543484 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 33382400 140722328539547 140722328539751 140722328539751 140722328543211 0
/proc/9830/statm: 2378 345 289 221 0 87 0
[pid=9832] ppid=9830 vsize=13980732 CPUtime=244.72 cores=0,2,4,6
/proc/9832/stat : 9832 (java) S 9830 9830 5091 0 -1 1077944320 48442 0 0 0 24457 15 0 0 20 0 15 0 10315840 14316269568 45309 18446744073709551615 4194304 4196468 140730924398128 140730924380672 140047774777079 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
/proc/9832/statm: 3495183 45309 3222 1 0 3483484 0
[pid=9832/tid=9833] ppid=9830 vsize=13980732 CPUtime=239.79 cores=0,2,4,6
/proc/9832/task/9833/stat : 9833 (java) R 9830 9830 5091 0 -1 4202560 13291 0 0 0 23974 5 0 0 20 0 15 0 10315840 14316269568 45309 18446744073709551615 4194304 4196468 140730924398128 140047779016608 140047421388227 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9834] ppid=9830 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/9832/task/9834/stat : 9834 (java) S 9830 9830 5091 0 -1 1077944384 899 0 0 0 2 0 0 0 20 0 15 0 10315841 14316269568 45309 18446744073709551615 4194304 4196468 140730924398128 140047374380176 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9835] ppid=9830 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/9832/task/9835/stat : 9835 (java) S 9830 9830 5091 0 -1 1077944384 1016 0 0 0 1 0 0 0 20 0 15 0 10315841 14316269568 45309 18446744073709551615 4194304 4196468 140730924398128 140047373327376 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9836] ppid=9830 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/9832/task/9836/stat : 9836 (java) S 9830 9830 5091 0 -1 1077944384 897 0 0 0 1 0 0 0 20 0 15 0 10315841 14316269568 45309 18446744073709551615 4194304 4196468 140730924398128 140047372274576 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9837] ppid=9830 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/9832/task/9837/stat : 9837 (java) S 9830 9830 5091 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 15 0 10315841 14316269568 45309 18446744073709551615 4194304 4196468 140730924398128 140047371221776 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9838] ppid=9830 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/9832/task/9838/stat : 9838 (java) S 9830 9830 5091 0 -1 1077944384 1273 0 0 0 2 0 0 0 20 0 15 0 10315842 14316269568 45309 18446744073709551615 4194304 4196468 140730924398128 140046691535216 140047774788226 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9839] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9839/stat : 9839 (java) S 9830 9830 5091 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 10315843 14316269568 45309 18446744073709551615 4194304 4196468 140730924398128 140046690481184 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9840] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9840/stat : 9840 (java) S 9830 9830 5091 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10315843 14316269568 45309 18446744073709551615 4194304 4196468 140730924398128 140046689428336 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9841] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9841/stat : 9841 (java) S 9830 9830 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10315846 14316269568 45309 18446744073709551615 4194304 4196468 140730924398128 140046688376656 140047774795675 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9842] ppid=9830 vsize=13980732 CPUtime=2.15 cores=0,2,4,6
/proc/9832/task/9842/stat : 9842 (java) S 9830 9830 5091 0 -1 1077944384 11793 0 0 0 214 1 0 0 20 0 15 0 10315846 14316269568 45309 18446744073709551615 4194304 4196468 140730924398128 140046687325040 140047774788226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9843] ppid=9830 vsize=13980732 CPUtime=2.08 cores=0,2,4,6
/proc/9832/task/9843/stat : 9843 (java) S 9830 9830 5091 0 -1 1077944384 10770 0 0 0 207 1 0 0 20 0 15 0 10315846 14316269568 45309 18446744073709551615 4194304 4196468 140730924398128 140046686272240 140047774788226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9844] ppid=9830 vsize=13980732 CPUtime=0.44 cores=0,2,4,6
/proc/9832/task/9844/stat : 9844 (java) S 9830 9830 5091 0 -1 1077944384 6221 0 0 0 44 0 0 0 20 0 15 0 10315846 14316269568 45309 18446744073709551615 4194304 4196468 140730924398128 140046685219440 140047774788226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9845] ppid=9830 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9832/task/9845/stat : 9845 (java) S 9830 9830 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10315846 14316269568 45309 18446744073709551615 4194304 4196468 140730924398128 140046684166880 140047774787285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
[pid=9832/tid=9846] ppid=9830 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/9832/task/9846/stat : 9846 (java) S 9830 9830 5091 0 -1 1077944384 558 0 0 0 2 3 0 0 20 0 15 0 10315849 14316269568 45309 18446744073709551615 4194304 4196468 140730924398128 140046683114160 140047774788226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140730924401108 140730924401283 140730924401283 140730924404687 0
Current children cumulated CPU time (s) 244.72
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 9832 sig 9
??? kill 9830 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 9830 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=932
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=932
# CPU time returned by wait4() is 0.001864
# while last known CPU time is 244.72
#
# 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.72
CPU user time (s): 244.57
CPU system time (s): 0.15
CPU usage (%): 101.962
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000932
system time used= 0.000932
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511
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 0.983927 second user time and 1.40719 second system time
The end