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-4254928-1501622611/watcher-4254928-1501622611 -o /tmp/evaluation-result-4254928-1501622611/solver-4254928-1501622611 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501617182-10800 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 587056558 HOME/instance-4254928-1501622611.xml
pid=14541
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.70 1.74 1.73 3/195 14544
/proc/meminfo: memFree=31729692/32770624 swapFree=0/192696
[pid=14544] ppid=14541 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14544/stat : 14544 (runsolver) D 14541 14544 5123 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10878102 24240128 108 18446744073709551615 4194304 4338465 140727675904096 140727675901736 140178368717527 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 12115968 140727675912285 140727675912774 140727675912774 140727675916234 0
/proc/14544/statm: 5918 108 54 36 0 2156 0
[startup+0.100134 s]
/proc/loadavg: 1.70 1.74 1.73 3/195 14544
/proc/meminfo: memFree=31729692/32770624 swapFree=0/192696
[pid=14544] ppid=14541 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14544/stat : 14544 (xcsp3-exec) S 14541 14544 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10878102 9740288 345 18446744073709551615 4194304 5098028 140734247460384 140734247458488 140126757307004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 39043072 140734247465372 140734247465575 140734247465575 140734247469035 0
/proc/14544/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200293 s]
/proc/loadavg: 1.70 1.74 1.73 3/195 14544
/proc/meminfo: memFree=31729692/32770624 swapFree=0/192696
[pid=14544] ppid=14541 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14544/stat : 14544 (xcsp3-exec) S 14541 14544 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10878102 9740288 345 18446744073709551615 4194304 5098028 140734247460384 140734247458488 140126757307004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 39043072 140734247465372 140734247465575 140734247465575 140734247469035 0
/proc/14544/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.301954 s]
/proc/loadavg: 1.70 1.74 1.73 3/195 14544
/proc/meminfo: memFree=31729692/32770624 swapFree=0/192696
[pid=14544] ppid=14541 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14544/stat : 14544 (xcsp3-exec) S 14541 14544 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10878102 9740288 345 18446744073709551615 4194304 5098028 140734247460384 140734247458488 140126757307004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 39043072 140734247465372 140734247465575 140734247465575 140734247469035 0
/proc/14544/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700659 s]
/proc/loadavg: 1.70 1.74 1.73 3/195 14544
/proc/meminfo: memFree=31729692/32770624 swapFree=0/192696
[pid=14544] ppid=14541 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14544/stat : 14544 (xcsp3-exec) S 14541 14544 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10878102 9740288 345 18446744073709551615 4194304 5098028 140734247460384 140734247458488 140126757307004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 39043072 140734247465372 140734247465575 140734247465575 140734247469035 0
/proc/14544/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50067 s]
/proc/loadavg: 1.72 1.74 1.73 3/211 14560
/proc/meminfo: memFree=31591460/32770624 swapFree=0/192708
[pid=14544] ppid=14541 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14544/stat : 14544 (xcsp3-exec) S 14541 14544 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10878102 9740288 345 18446744073709551615 4194304 5098028 140734247460384 140734247458488 140126757307004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 39043072 140734247465372 140734247465575 140734247465575 140734247469035 0
/proc/14544/statm: 2378 345 289 221 0 87 0
[pid=14546] ppid=14544 vsize=13980732 CPUtime=3.01 cores=1,3,5,7
/proc/14546/stat : 14546 (java) S 14544 14544 5123 0 -1 1077944320 18904 0 0 0 290 11 0 0 20 0 15 0 10878108 14316269568 50542 18446744073709551615 4194304 4196468 140735704287632 140735704270176 140151322476279 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
/proc/14546/statm: 3495183 50542 3201 1 0 3483484 0
[pid=14546/tid=14547] ppid=14544 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/14546/task/14547/stat : 14547 (java) R 14544 14544 5123 0 -1 4202560 9345 0 0 0 128 6 0 0 20 0 15 0 10878108 14316269568 50542 18446744073709551615 4194304 4196468 140735704287632 140151326713104 140150967111945 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14548] ppid=14544 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14546/task/14548/stat : 14548 (java) S 14544 14544 5123 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 15 0 10878109 14316269568 50542 18446744073709551615 4194304 4196468 140735704287632 140151294319504 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14549] ppid=14544 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14546/task/14549/stat : 14549 (java) S 14544 14544 5123 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 15 0 10878109 14316269568 50542 18446744073709551615 4194304 4196468 140735704287632 140150921227024 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14550] ppid=14544 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14546/task/14550/stat : 14550 (java) S 14544 14544 5123 0 -1 1077944384 198 0 0 0 1 0 0 0 20 0 15 0 10878109 14316269568 50542 18446744073709551615 4194304 4196468 140735704287632 140150920174736 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14551] ppid=14544 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14546/task/14551/stat : 14551 (java) S 14544 14544 5123 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 15 0 10878109 14316269568 50542 18446744073709551615 4194304 4196468 140735704287632 140150919121936 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14552] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14552/stat : 14552 (java) S 14544 14544 5123 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 15 0 10878110 14316269568 50542 18446744073709551615 4194304 4196468 140735704287632 140150800586864 140151322487426 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14553] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14553/stat : 14553 (java) S 14544 14544 5123 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10878111 14316269568 50542 18446744073709551615 4194304 4196468 140735704287632 140150799532832 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14554] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14554/stat : 14554 (java) S 14544 14544 5123 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 10878111 14316269568 50542 18446744073709551615 4194304 4196468 140735704287632 140150798480496 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14555] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14555/stat : 14555 (java) S 14544 14544 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10878113 14316269568 50542 18446744073709551615 4194304 4196468 140735704287632 140150797428816 140151322494875 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14556] ppid=14544 vsize=13980732 CPUtime=0.56 cores=1,3,5,7
/proc/14546/task/14556/stat : 14556 (java) S 14544 14544 5123 0 -1 1077944384 2331 0 0 0 56 0 0 0 20 0 15 0 10878113 14316269568 50542 18446744073709551615 4194304 4196468 140735704287632 140150796376688 140151322487426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14557] ppid=14544 vsize=13980732 CPUtime=0.62 cores=1,3,5,7
/proc/14546/task/14557/stat : 14557 (java) S 14544 14544 5123 0 -1 1077944384 1983 0 0 0 62 0 0 0 20 0 15 0 10878113 14316269568 50542 18446744073709551615 4194304 4196468 140735704287632 140150795323888 140151322487426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14558] ppid=14544 vsize=13980732 CPUtime=0.35 cores=1,3,5,7
/proc/14546/task/14558/stat : 14558 (java) S 14544 14544 5123 0 -1 1077944384 2873 0 0 0 35 0 0 0 20 0 15 0 10878113 14316269568 50542 18446744073709551615 4194304 4196468 140735704287632 140150794271600 140151322487426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14559] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14559/stat : 14559 (java) S 14544 14544 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10878113 14316269568 50542 18446744073709551615 4194304 4196468 140735704287632 140150793219040 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14560] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14560/stat : 14560 (java) S 14544 14544 5123 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10878119 14316269568 50542 18446744073709551615 4194304 4196468 140735704287632 140150792165808 140151322487426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 13990244
[startup+3.10068 s]
/proc/loadavg: 1.72 1.74 1.73 3/211 14560
/proc/meminfo: memFree=31538712/32770624 swapFree=0/192708
[pid=14544] ppid=14541 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14544/stat : 14544 (xcsp3-exec) S 14541 14544 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10878102 9740288 345 18446744073709551615 4194304 5098028 140734247460384 140734247458488 140126757307004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 39043072 140734247465372 140734247465575 140734247465575 140734247469035 0
/proc/14544/statm: 2378 345 289 221 0 87 0
[pid=14546] ppid=14544 vsize=13980732 CPUtime=4.96 cores=1,3,5,7
/proc/14546/stat : 14546 (java) S 14544 14544 5123 0 -1 1077944320 19359 0 0 0 485 11 0 0 20 0 15 0 10878108 14316269568 50771 18446744073709551615 4194304 4196468 140735704287632 140735704270176 140151322476279 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
/proc/14546/statm: 3495183 50771 3206 1 0 3483484 0
[pid=14546/tid=14547] ppid=14544 vsize=13980732 CPUtime=2.94 cores=1,3,5,7
/proc/14546/task/14547/stat : 14547 (java) R 14544 14544 5123 0 -1 4202560 9353 0 0 0 288 6 0 0 20 0 15 0 10878108 14316269568 50771 18446744073709551615 4194304 4196468 140735704287632 140151326714056 140150967306454 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14548] ppid=14544 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14546/task/14548/stat : 14548 (java) S 14544 14544 5123 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 15 0 10878109 14316269568 50771 18446744073709551615 4194304 4196468 140735704287632 140151294319504 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14549] ppid=14544 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14546/task/14549/stat : 14549 (java) S 14544 14544 5123 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 15 0 10878109 14316269568 50771 18446744073709551615 4194304 4196468 140735704287632 140150921227024 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14550] ppid=14544 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14546/task/14550/stat : 14550 (java) S 14544 14544 5123 0 -1 1077944384 198 0 0 0 1 0 0 0 20 0 15 0 10878109 14316269568 50771 18446744073709551615 4194304 4196468 140735704287632 140150920174736 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14551] ppid=14544 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14546/task/14551/stat : 14551 (java) S 14544 14544 5123 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 15 0 10878109 14316269568 50771 18446744073709551615 4194304 4196468 140735704287632 140150919121936 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14552] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14552/stat : 14552 (java) S 14544 14544 5123 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 15 0 10878110 14316269568 50771 18446744073709551615 4194304 4196468 140735704287632 140150800586864 140151322487426 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14553] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14553/stat : 14553 (java) S 14544 14544 5123 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10878111 14316269568 50771 18446744073709551615 4194304 4196468 140735704287632 140150799532832 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14554] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14554/stat : 14554 (java) S 14544 14544 5123 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 10878111 14316269568 50771 18446744073709551615 4194304 4196468 140735704287632 140150798480496 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14555] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14555/stat : 14555 (java) S 14544 14544 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10878113 14316269568 50771 18446744073709551615 4194304 4196468 140735704287632 140150797428816 140151322494875 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14556] ppid=14544 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/14546/task/14556/stat : 14556 (java) S 14544 14544 5123 0 -1 1077944384 2643 0 0 0 76 0 0 0 20 0 15 0 10878113 14316269568 50771 18446744073709551615 4194304 4196468 140735704287632 140150796376688 140151322487426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14557] ppid=14544 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/14546/task/14557/stat : 14557 (java) S 14544 14544 5123 0 -1 1077944384 2021 0 0 0 71 0 0 0 20 0 15 0 10878113 14316269568 50771 18446744073709551615 4194304 4196468 140735704287632 140150795323888 140151322487426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14558] ppid=14544 vsize=13980732 CPUtime=0.41 cores=1,3,5,7
/proc/14546/task/14558/stat : 14558 (java) S 14544 14544 5123 0 -1 1077944384 2970 0 0 0 41 0 0 0 20 0 15 0 10878113 14316269568 50771 18446744073709551615 4194304 4196468 140735704287632 140150794271600 140151322487426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14559] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14559/stat : 14559 (java) S 14544 14544 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10878113 14316269568 50771 18446744073709551615 4194304 4196468 140735704287632 140150793219040 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14560] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14560/stat : 14560 (java) S 14544 14544 5123 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10878119 14316269568 50771 18446744073709551615 4194304 4196468 140735704287632 140150792165808 140151322487426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
Current children cumulated CPU time (s) 4.96
Current children cumulated vsize (KiB) 13990244
[startup+6.30073 s]
/proc/loadavg: 1.72 1.74 1.73 3/211 14560
/proc/meminfo: memFree=31532804/32770624 swapFree=0/192716
[pid=14544] ppid=14541 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14544/stat : 14544 (xcsp3-exec) S 14541 14544 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10878102 9740288 345 18446744073709551615 4194304 5098028 140734247460384 140734247458488 140126757307004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 39043072 140734247465372 140734247465575 140734247465575 140734247469035 0
/proc/14544/statm: 2378 345 289 221 0 87 0
[pid=14546] ppid=14544 vsize=13980732 CPUtime=8.5 cores=1,3,5,7
/proc/14546/stat : 14546 (java) S 14544 14544 5123 0 -1 1077944320 21367 0 0 0 839 11 0 0 20 0 15 0 10878108 14316269568 52174 18446744073709551615 4194304 4196468 140735704287632 140735704270176 140151322476279 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
/proc/14546/statm: 3495183 52174 3208 1 0 3483484 0
[pid=14546/tid=14547] ppid=14544 vsize=13980732 CPUtime=6.14 cores=1,3,5,7
/proc/14546/task/14547/stat : 14547 (java) R 14544 14544 5123 0 -1 4202560 9359 0 0 0 608 6 0 0 20 0 15 0 10878108 14316269568 52174 18446744073709551615 4194304 4196468 140735704287632 140151326711920 140150967305428 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14548] ppid=14544 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14546/task/14548/stat : 14548 (java) S 14544 14544 5123 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 15 0 10878109 14316269568 52174 18446744073709551615 4194304 4196468 140735704287632 140151294319504 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14549] ppid=14544 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14546/task/14549/stat : 14549 (java) S 14544 14544 5123 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 15 0 10878109 14316269568 52174 18446744073709551615 4194304 4196468 140735704287632 140150921227024 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14550] ppid=14544 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14546/task/14550/stat : 14550 (java) S 14544 14544 5123 0 -1 1077944384 198 0 0 0 1 0 0 0 20 0 15 0 10878109 14316269568 52174 18446744073709551615 4194304 4196468 140735704287632 140150920174736 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14551] ppid=14544 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14546/task/14551/stat : 14551 (java) S 14544 14544 5123 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 15 0 10878109 14316269568 52174 18446744073709551615 4194304 4196468 140735704287632 140150919121936 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14552] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14552/stat : 14552 (java) S 14544 14544 5123 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 15 0 10878110 14316269568 52174 18446744073709551615 4194304 4196468 140735704287632 140150800586864 140151322487426 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14553] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14553/stat : 14553 (java) S 14544 14544 5123 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10878111 14316269568 52174 18446744073709551615 4194304 4196468 140735704287632 140150799532832 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14554] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14554/stat : 14554 (java) S 14544 14544 5123 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 10878111 14316269568 52174 18446744073709551615 4194304 4196468 140735704287632 140150798480496 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14555] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14555/stat : 14555 (java) S 14544 14544 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10878113 14316269568 52174 18446744073709551615 4194304 4196468 140735704287632 140150797428816 140151322494875 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14556] ppid=14544 vsize=13980732 CPUtime=0.86 cores=1,3,5,7
/proc/14546/task/14556/stat : 14556 (java) R 14544 14544 5123 0 -1 4202560 2834 0 0 0 86 0 0 0 20 0 15 0 10878113 14316269568 52174 18446744073709551615 4194304 4196468 140735704287632 140150796376688 140151300493291 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14557] ppid=14544 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/14546/task/14557/stat : 14557 (java) S 14544 14544 5123 0 -1 1077944384 3813 0 0 0 94 0 0 0 20 0 15 0 10878113 14316269568 52174 18446744073709551615 4194304 4196468 140735704287632 140150795323888 140151322487426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14558] ppid=14544 vsize=13980732 CPUtime=0.41 cores=1,3,5,7
/proc/14546/task/14558/stat : 14558 (java) S 14544 14544 5123 0 -1 1077944384 2981 0 0 0 41 0 0 0 20 0 15 0 10878113 14316269568 52174 18446744073709551615 4194304 4196468 140735704287632 140150794271600 140151322487426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14559] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14559/stat : 14559 (java) S 14544 14544 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10878113 14316269568 52174 18446744073709551615 4194304 4196468 140735704287632 140150793219040 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14560] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14560/stat : 14560 (java) S 14544 14544 5123 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 10878119 14316269568 52174 18446744073709551615 4194304 4196468 140735704287632 140150792165808 140151322487426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
Current children cumulated CPU time (s) 8.5
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.76 1.75 1.73 3/211 14560
/proc/meminfo: memFree=31531216/32770624 swapFree=0/192724
[pid=14544] ppid=14541 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14544/stat : 14544 (xcsp3-exec) S 14541 14544 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10878102 9740288 345 18446744073709551615 4194304 5098028 140734247460384 140734247458488 140126757307004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 39043072 140734247465372 140734247465575 140734247465575 140734247469035 0
/proc/14544/statm: 2378 345 289 221 0 87 0
[pid=14546] ppid=14544 vsize=13980732 CPUtime=15.2 cores=1,3,5,7
/proc/14546/stat : 14546 (java) S 14544 14544 5123 0 -1 1077944320 25545 0 0 0 1509 11 0 0 20 0 15 0 10878108 14316269568 52319 18446744073709551615 4194304 4196468 140735704287632 140735704270176 140151322476279 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
/proc/14546/statm: 3495183 52319 3211 1 0 3483484 0
[pid=14546/tid=14547] ppid=14544 vsize=13980732 CPUtime=12.54 cores=1,3,5,7
/proc/14546/task/14547/stat : 14547 (java) R 14544 14544 5123 0 -1 4202560 9914 0 0 0 1248 6 0 0 20 0 15 0 10878108 14316269568 52319 18446744073709551615 4194304 4196468 140735704287632 140151326711872 140150967305531 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14548] ppid=14544 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14546/task/14548/stat : 14548 (java) S 14544 14544 5123 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 15 0 10878109 14316269568 52319 18446744073709551615 4194304 4196468 140735704287632 140151294319504 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14549] ppid=14544 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14546/task/14549/stat : 14549 (java) S 14544 14544 5123 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 15 0 10878109 14316269568 52319 18446744073709551615 4194304 4196468 140735704287632 140150921227024 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
################
# More data... #
################
/proc/14546/stat : 14546 (java) S 14544 14544 5123 0 -1 1077944320 38188 0 0 0 10547 15 0 0 20 0 15 0 10878108 14316269568 52801 18446744073709551615 4194304 4196468 140735704287632 140735704270176 140151322476279 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
/proc/14546/statm: 3495183 52801 3212 1 0 3483484 0
[pid=14546/tid=14547] ppid=14544 vsize=13980732 CPUtime=102.15 cores=1,3,5,7
/proc/14546/task/14547/stat : 14547 (java) R 14544 14544 5123 0 -1 4202560 11780 0 0 0 10209 6 0 0 20 0 15 0 10878108 14316269568 52801 18446744073709551615 4194304 4196468 140735704287632 140151326712200 140150967305505 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14548] ppid=14544 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14546/task/14548/stat : 14548 (java) S 14544 14544 5123 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 15 0 10878109 14316269568 52801 18446744073709551615 4194304 4196468 140735704287632 140151294319504 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14549] ppid=14544 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14546/task/14549/stat : 14549 (java) S 14544 14544 5123 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 15 0 10878109 14316269568 52801 18446744073709551615 4194304 4196468 140735704287632 140150921227024 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14550] ppid=14544 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14546/task/14550/stat : 14550 (java) S 14544 14544 5123 0 -1 1077944384 198 0 0 0 1 0 0 0 20 0 15 0 10878109 14316269568 52801 18446744073709551615 4194304 4196468 140735704287632 140150920174736 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14551] ppid=14544 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14546/task/14551/stat : 14551 (java) S 14544 14544 5123 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 15 0 10878109 14316269568 52801 18446744073709551615 4194304 4196468 140735704287632 140150919121936 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14552] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14552/stat : 14552 (java) S 14544 14544 5123 0 -1 1077944384 537 0 0 0 0 0 0 0 20 0 15 0 10878110 14316269568 52801 18446744073709551615 4194304 4196468 140735704287632 140150800586864 140151322487426 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14553] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14553/stat : 14553 (java) S 14544 14544 5123 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10878111 14316269568 52801 18446744073709551615 4194304 4196468 140735704287632 140150799532832 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14554] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14554/stat : 14554 (java) S 14544 14544 5123 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 10878111 14316269568 52801 18446744073709551615 4194304 4196468 140735704287632 140150798480496 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14555] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14555/stat : 14555 (java) S 14544 14544 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10878113 14316269568 52801 18446744073709551615 4194304 4196468 140735704287632 140150797428816 140151322494875 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14556] ppid=14544 vsize=13980732 CPUtime=1.4 cores=1,3,5,7
/proc/14546/task/14556/stat : 14556 (java) S 14544 14544 5123 0 -1 1077944384 9369 0 0 0 140 0 0 0 20 0 15 0 10878113 14316269568 52801 18446744073709551615 4194304 4196468 140735704287632 140150796376688 140151322487426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14557] ppid=14544 vsize=13980732 CPUtime=1.43 cores=1,3,5,7
/proc/14546/task/14557/stat : 14557 (java) S 14544 14544 5123 0 -1 1077944384 9416 0 0 0 142 1 0 0 20 0 15 0 10878113 14316269568 52801 18446744073709551615 4194304 4196468 140735704287632 140150795323888 140151322487426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14558] ppid=14544 vsize=13980732 CPUtime=0.46 cores=1,3,5,7
/proc/14546/task/14558/stat : 14558 (java) S 14544 14544 5123 0 -1 1077944384 4566 0 0 0 45 1 0 0 20 0 15 0 10878113 14316269568 52801 18446744073709551615 4194304 4196468 140735704287632 140150794271600 140151322487426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14559] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14559/stat : 14559 (java) S 14544 14544 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10878113 14316269568 52801 18446744073709551615 4194304 4196468 140735704287632 140150793219040 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14560] ppid=14544 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/14546/task/14560/stat : 14560 (java) S 14544 14544 5123 0 -1 1077944384 494 0 0 0 2 3 0 0 20 0 15 0 10878119 14316269568 52801 18446744073709551615 4194304 4196468 140735704287632 140150792165808 140151322487426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
Current children cumulated CPU time (s) 105.62
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.92 1.84 1.77 3/212 14571
/proc/meminfo: memFree=31294944/32770624 swapFree=0/192812
[pid=14544] ppid=14541 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14544/stat : 14544 (xcsp3-exec) S 14541 14544 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10878102 9740288 345 18446744073709551615 4194304 5098028 140734247460384 140734247458488 140126757307004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 39043072 140734247465372 140734247465575 140734247465575 140734247469035 0
/proc/14544/statm: 2378 345 289 221 0 87 0
[pid=14546] ppid=14544 vsize=13980732 CPUtime=169.72 cores=1,3,5,7
/proc/14546/stat : 14546 (java) S 14544 14544 5123 0 -1 1077944320 49766 0 0 0 16944 28 0 0 20 0 15 0 10878108 14316269568 105712 18446744073709551615 4194304 4196468 140735704287632 140735704270176 140151322476279 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
/proc/14546/statm: 3495183 105712 3230 1 0 3483484 0
[pid=14546/tid=14547] ppid=14544 vsize=13980732 CPUtime=162.06 cores=1,3,5,7
/proc/14546/task/14547/stat : 14547 (java) R 14544 14544 5123 0 -1 4202560 13476 0 0 0 16198 8 0 0 20 0 15 0 10878108 14316269568 105712 18446744073709551615 4194304 4196468 140735704287632 140151326711920 140150967305975 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14548] ppid=14544 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/14546/task/14548/stat : 14548 (java) S 14544 14544 5123 0 -1 1077944384 384 0 0 0 5 2 0 0 20 0 15 0 10878109 14316269568 105712 18446744073709551615 4194304 4196468 140735704287632 140151294319504 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14549] ppid=14544 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/14546/task/14549/stat : 14549 (java) S 14544 14544 5123 0 -1 1077944384 484 0 0 0 5 3 0 0 20 0 15 0 10878109 14316269568 105712 18446744073709551615 4194304 4196468 140735704287632 140150921227024 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14550] ppid=14544 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/14546/task/14550/stat : 14550 (java) S 14544 14544 5123 0 -1 1077944384 647 0 0 0 6 2 0 0 20 0 15 0 10878109 14316269568 105712 18446744073709551615 4194304 4196468 140735704287632 140150920174736 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14551] ppid=14544 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/14546/task/14551/stat : 14551 (java) S 14544 14544 5123 0 -1 1077944384 325 0 0 0 6 2 0 0 20 0 15 0 10878109 14316269568 105712 18446744073709551615 4194304 4196468 140735704287632 140150919121936 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14552] ppid=14544 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14546/task/14552/stat : 14552 (java) S 14544 14544 5123 0 -1 1077944384 796 0 0 0 1 0 0 0 20 0 15 0 10878110 14316269568 105712 18446744073709551615 4194304 4196468 140735704287632 140150800586864 140151322487426 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14553] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14553/stat : 14553 (java) S 14544 14544 5123 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 10878111 14316269568 105712 18446744073709551615 4194304 4196468 140735704287632 140150799532896 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14554] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14554/stat : 14554 (java) S 14544 14544 5123 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 10878111 14316269568 105712 18446744073709551615 4194304 4196468 140735704287632 140150798480512 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14555] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14555/stat : 14555 (java) S 14544 14544 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10878113 14316269568 105712 18446744073709551615 4194304 4196468 140735704287632 140150797428816 140151322494875 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14556] ppid=14544 vsize=13980732 CPUtime=3.15 cores=1,3,5,7
/proc/14546/task/14556/stat : 14556 (java) S 14544 14544 5123 0 -1 1077944384 11916 0 0 0 314 1 0 0 20 0 15 0 10878113 14316269568 105712 18446744073709551615 4194304 4196468 140735704287632 140150796376688 140151322487426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14557] ppid=14544 vsize=13980732 CPUtime=3.35 cores=1,3,5,7
/proc/14546/task/14557/stat : 14557 (java) S 14544 14544 5123 0 -1 1077944384 14092 0 0 0 333 2 0 0 20 0 15 0 10878113 14316269568 105712 18446744073709551615 4194304 4196468 140735704287632 140150795323888 140151322487426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14558] ppid=14544 vsize=13980732 CPUtime=0.69 cores=1,3,5,7
/proc/14546/task/14558/stat : 14558 (java) S 14544 14544 5123 0 -1 1077944384 5731 0 0 0 68 1 0 0 20 0 15 0 10878113 14316269568 105712 18446744073709551615 4194304 4196468 140735704287632 140150794271600 140151322487426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14559] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14559/stat : 14559 (java) S 14544 14544 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10878113 14316269568 105712 18446744073709551615 4194304 4196468 140735704287632 140150793219040 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14560] ppid=14544 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/14546/task/14560/stat : 14560 (java) S 14544 14544 5123 0 -1 1077944384 531 0 0 0 3 5 0 0 20 0 15 0 10878119 14316269568 105712 18446744073709551615 4194304 4196468 140735704287632 140150792165808 140151322487426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
Current children cumulated CPU time (s) 169.72
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.00 1.89 1.79 3/212 14651
/proc/meminfo: memFree=31358724/32770624 swapFree=0/192884
[pid=14544] ppid=14541 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14544/stat : 14544 (xcsp3-exec) S 14541 14544 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10878102 9740288 345 18446744073709551615 4194304 5098028 140734247460384 140734247458488 140126757307004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 39043072 140734247465372 140734247465575 140734247465575 140734247469035 0
/proc/14544/statm: 2378 345 289 221 0 87 0
[pid=14546] ppid=14544 vsize=13980732 CPUtime=229.93 cores=1,3,5,7
/proc/14546/stat : 14546 (java) S 14544 14544 5123 0 -1 1077944320 51117 0 0 0 22964 29 0 0 20 0 15 0 10878108 14316269568 106067 18446744073709551615 4194304 4196468 140735704287632 140735704270176 140151322476279 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
/proc/14546/statm: 3495183 106067 3230 1 0 3483484 0
[pid=14546/tid=14547] ppid=14544 vsize=13980732 CPUtime=222.07 cores=1,3,5,7
/proc/14546/task/14547/stat : 14547 (java) R 14544 14544 5123 0 -1 4202560 13517 0 0 0 22199 8 0 0 20 0 15 0 10878108 14316269568 106067 18446744073709551615 4194304 4196468 140735704287632 140151326712824 140150967305856 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14548] ppid=14544 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/14546/task/14548/stat : 14548 (java) S 14544 14544 5123 0 -1 1077944384 384 0 0 0 5 2 0 0 20 0 15 0 10878109 14316269568 106067 18446744073709551615 4194304 4196468 140735704287632 140151294319504 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14549] ppid=14544 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/14546/task/14549/stat : 14549 (java) S 14544 14544 5123 0 -1 1077944384 484 0 0 0 5 3 0 0 20 0 15 0 10878109 14316269568 106067 18446744073709551615 4194304 4196468 140735704287632 140150921227024 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14550] ppid=14544 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/14546/task/14550/stat : 14550 (java) S 14544 14544 5123 0 -1 1077944384 647 0 0 0 6 2 0 0 20 0 15 0 10878109 14316269568 106067 18446744073709551615 4194304 4196468 140735704287632 140150920174736 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14551] ppid=14544 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/14546/task/14551/stat : 14551 (java) S 14544 14544 5123 0 -1 1077944384 325 0 0 0 6 2 0 0 20 0 15 0 10878109 14316269568 106067 18446744073709551615 4194304 4196468 140735704287632 140150919121936 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14552] ppid=14544 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14546/task/14552/stat : 14552 (java) S 14544 14544 5123 0 -1 1077944384 796 0 0 0 1 0 0 0 20 0 15 0 10878110 14316269568 106067 18446744073709551615 4194304 4196468 140735704287632 140150800586864 140151322487426 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14553] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14553/stat : 14553 (java) S 14544 14544 5123 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 10878111 14316269568 106067 18446744073709551615 4194304 4196468 140735704287632 140150799532896 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14554] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14554/stat : 14554 (java) S 14544 14544 5123 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 10878111 14316269568 106067 18446744073709551615 4194304 4196468 140735704287632 140150798480512 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14555] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14555/stat : 14555 (java) S 14544 14544 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10878113 14316269568 106067 18446744073709551615 4194304 4196468 140735704287632 140150797428816 140151322494875 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14556] ppid=14544 vsize=13980732 CPUtime=3.3 cores=1,3,5,7
/proc/14546/task/14556/stat : 14556 (java) S 14544 14544 5123 0 -1 1077944384 13075 0 0 0 329 1 0 0 20 0 15 0 10878113 14316269568 106067 18446744073709551615 4194304 4196468 140735704287632 140150796376688 140151322487426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14557] ppid=14544 vsize=13980732 CPUtime=3.36 cores=1,3,5,7
/proc/14546/task/14557/stat : 14557 (java) S 14544 14544 5123 0 -1 1077944384 14104 0 0 0 334 2 0 0 20 0 15 0 10878113 14316269568 106067 18446744073709551615 4194304 4196468 140735704287632 140150795323888 140151322487426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14558] ppid=14544 vsize=13980732 CPUtime=0.69 cores=1,3,5,7
/proc/14546/task/14558/stat : 14558 (java) S 14544 14544 5123 0 -1 1077944384 5870 0 0 0 68 1 0 0 20 0 15 0 10878113 14316269568 106067 18446744073709551615 4194304 4196468 140735704287632 140150794271600 140151322487426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14559] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14559/stat : 14559 (java) S 14544 14544 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10878113 14316269568 106067 18446744073709551615 4194304 4196468 140735704287632 140150793219040 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14560] ppid=14544 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/14546/task/14560/stat : 14560 (java) S 14544 14544 5123 0 -1 1077944384 531 0 0 0 4 6 0 0 20 0 15 0 10878119 14316269568 106067 18446744073709551615 4194304 4196468 140735704287632 140150792165808 140151322487426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
Current children cumulated CPU time (s) 229.93
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.78 1.84 1.78 3/212 14652
/proc/meminfo: memFree=31325932/32770624 swapFree=0/192912
[pid=14544] ppid=14541 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14544/stat : 14544 (xcsp3-exec) S 14541 14544 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10878102 9740288 345 18446744073709551615 4194304 5098028 140734247460384 140734247458488 140126757307004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 39043072 140734247465372 140734247465575 140734247465575 140734247469035 0
/proc/14544/statm: 2378 345 289 221 0 87 0
[pid=14546] ppid=14544 vsize=13980732 CPUtime=247.63 cores=1,3,5,7
/proc/14546/stat : 14546 (java) S 14544 14544 5123 0 -1 1077944320 51530 0 0 0 24733 30 0 0 20 0 15 0 10878108 14316269568 106128 18446744073709551615 4194304 4196468 140735704287632 140735704270176 140151322476279 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
/proc/14546/statm: 3495183 106128 3230 1 0 3483484 0
[pid=14546/tid=14547] ppid=14544 vsize=13980732 CPUtime=239.76 cores=1,3,5,7
/proc/14546/task/14547/stat : 14547 (java) R 14544 14544 5123 0 -1 4202560 13868 0 0 0 23968 8 0 0 20 0 15 0 10878108 14316269568 106128 18446744073709551615 4194304 4196468 140735704287632 140151326712824 140150967305779 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14548] ppid=14544 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/14546/task/14548/stat : 14548 (java) S 14544 14544 5123 0 -1 1077944384 384 0 0 0 5 2 0 0 20 0 15 0 10878109 14316269568 106128 18446744073709551615 4194304 4196468 140735704287632 140151294319504 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14549] ppid=14544 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/14546/task/14549/stat : 14549 (java) S 14544 14544 5123 0 -1 1077944384 484 0 0 0 5 3 0 0 20 0 15 0 10878109 14316269568 106128 18446744073709551615 4194304 4196468 140735704287632 140150921227024 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14550] ppid=14544 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/14546/task/14550/stat : 14550 (java) S 14544 14544 5123 0 -1 1077944384 647 0 0 0 6 2 0 0 20 0 15 0 10878109 14316269568 106128 18446744073709551615 4194304 4196468 140735704287632 140150920174736 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14551] ppid=14544 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/14546/task/14551/stat : 14551 (java) S 14544 14544 5123 0 -1 1077944384 325 0 0 0 6 2 0 0 20 0 15 0 10878109 14316269568 106128 18446744073709551615 4194304 4196468 140735704287632 140150919121936 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14552] ppid=14544 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14546/task/14552/stat : 14552 (java) S 14544 14544 5123 0 -1 1077944384 806 0 0 0 1 0 0 0 20 0 15 0 10878110 14316269568 106128 18446744073709551615 4194304 4196468 140735704287632 140150800586864 140151322487426 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14553] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14553/stat : 14553 (java) S 14544 14544 5123 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 10878111 14316269568 106128 18446744073709551615 4194304 4196468 140735704287632 140150799532896 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14554] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14554/stat : 14554 (java) S 14544 14544 5123 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 10878111 14316269568 106128 18446744073709551615 4194304 4196468 140735704287632 140150798480512 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14555] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14555/stat : 14555 (java) S 14544 14544 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10878113 14316269568 106128 18446744073709551615 4194304 4196468 140735704287632 140150797428816 140151322494875 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14556] ppid=14544 vsize=13980732 CPUtime=3.3 cores=1,3,5,7
/proc/14546/task/14556/stat : 14556 (java) S 14544 14544 5123 0 -1 1077944384 13079 0 0 0 329 1 0 0 20 0 15 0 10878113 14316269568 106128 18446744073709551615 4194304 4196468 140735704287632 140150796376688 140151322487426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14557] ppid=14544 vsize=13980732 CPUtime=3.36 cores=1,3,5,7
/proc/14546/task/14557/stat : 14557 (java) S 14544 14544 5123 0 -1 1077944384 14107 0 0 0 334 2 0 0 20 0 15 0 10878113 14316269568 106128 18446744073709551615 4194304 4196468 140735704287632 140150795323888 140151322487426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14558] ppid=14544 vsize=13980732 CPUtime=0.69 cores=1,3,5,7
/proc/14546/task/14558/stat : 14558 (java) S 14544 14544 5123 0 -1 1077944384 5878 0 0 0 68 1 0 0 20 0 15 0 10878113 14316269568 106128 18446744073709551615 4194304 4196468 140735704287632 140150794271600 140151322487426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14559] ppid=14544 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14546/task/14559/stat : 14559 (java) S 14544 14544 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10878113 14316269568 106128 18446744073709551615 4194304 4196468 140735704287632 140150793219040 140151322486485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
[pid=14546/tid=14560] ppid=14544 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/14546/task/14560/stat : 14560 (java) S 14544 14544 5123 0 -1 1077944384 568 0 0 0 5 6 0 0 20 0 15 0 10878119 14316269568 106128 18446744073709551615 4194304 4196468 140735704287632 140150792165808 140151322487426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27299840 140735704293844 140735704294019 140735704294019 140735704297423 0
Current children cumulated CPU time (s) 247.63
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 14546 sig 9
??? kill 14544 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.013
CPU time (s): 247.658
CPU user time (s): 247.35
CPU system time (s): 0.308167
CPU usage (%): 103.185
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.35
system time used= 0.308167
maximum resident set size= 427452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52652
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8520
involuntary context switches= 111
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.06586 second user time and 1.5153 second system time
The end