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-4254225-1501985777/watcher-4254225-1501985777 -o /tmp/evaluation-result-4254225-1501985777/solver-4254225-1501985777 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501978181-12403 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1129500314 HOME/instance-4254225-1501985777.xml
pid=19557
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.03 2.00 2/204 19560
/proc/meminfo: memFree=31409084/32770624 swapFree=0/323404
[pid=19560] ppid=19557 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/19560/stat : 19560 (runsolver) D 19557 19560 12039 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 98230969 24240128 106 18446744073709551615 4194304 4338465 140732619610528 140732619608168 140159991911127 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 13824000 140732619616354 140732619616844 140732619616844 140732619620298 0
/proc/19560/statm: 5918 106 53 36 0 2156 0
[startup+0.100406 s]
/proc/loadavg: 2.02 2.03 2.00 2/204 19560
/proc/meminfo: memFree=31409084/32770624 swapFree=0/323404
[pid=19560] ppid=19557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19560/stat : 19560 (xcsp3-exec) S 19557 19560 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98230969 9740288 345 18446744073709551615 4194304 5098028 140734953323856 140734953321960 140102240998012 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 39825408 140734953329057 140734953329261 140734953329261 140734953332715 0
/proc/19560/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.203471 s]
/proc/loadavg: 2.02 2.03 2.00 2/204 19560
/proc/meminfo: memFree=31409084/32770624 swapFree=0/323404
[pid=19560] ppid=19557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19560/stat : 19560 (xcsp3-exec) S 19557 19560 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98230969 9740288 345 18446744073709551615 4194304 5098028 140734953323856 140734953321960 140102240998012 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 39825408 140734953329057 140734953329261 140734953329261 140734953332715 0
/proc/19560/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300269 s]
/proc/loadavg: 2.02 2.03 2.00 2/204 19560
/proc/meminfo: memFree=31409084/32770624 swapFree=0/323404
[pid=19560] ppid=19557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19560/stat : 19560 (xcsp3-exec) S 19557 19560 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98230969 9740288 345 18446744073709551615 4194304 5098028 140734953323856 140734953321960 140102240998012 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 39825408 140734953329057 140734953329261 140734953329261 140734953332715 0
/proc/19560/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701472 s]
/proc/loadavg: 2.02 2.03 2.00 2/204 19560
/proc/meminfo: memFree=31409084/32770624 swapFree=0/323404
[pid=19560] ppid=19557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19560/stat : 19560 (xcsp3-exec) S 19557 19560 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98230969 9740288 345 18446744073709551615 4194304 5098028 140734953323856 140734953321960 140102240998012 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 39825408 140734953329057 140734953329261 140734953329261 140734953332715 0
/proc/19560/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50072 s]
/proc/loadavg: 2.02 2.03 2.00 4/220 19576
/proc/meminfo: memFree=31287272/32770624 swapFree=0/323404
[pid=19560] ppid=19557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19560/stat : 19560 (xcsp3-exec) S 19557 19560 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98230969 9740288 345 18446744073709551615 4194304 5098028 140734953323856 140734953321960 140102240998012 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 39825408 140734953329057 140734953329261 140734953329261 140734953332715 0
/proc/19560/statm: 2378 345 289 221 0 87 0
[pid=19562] ppid=19560 vsize=13980732 CPUtime=3.16 cores=1,3,5,7
/proc/19562/stat : 19562 (java) S 19560 19560 12039 0 -1 1077944320 19775 0 0 0 307 9 0 0 20 0 15 0 98230977 14316269568 49085 18446744073709551615 4194304 4196468 140727242304880 140727242287424 139888938553079 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
/proc/19562/statm: 3495183 49085 3208 1 0 3483476 0
[pid=19562/tid=19563] ppid=19560 vsize=13980732 CPUtime=1.33 cores=1,3,5,7
/proc/19562/task/19563/stat : 19563 (java) R 19560 19560 12039 0 -1 4202560 8979 0 0 0 128 5 0 0 20 0 15 0 98230977 14316269568 49085 18446744073709551615 4194304 4196468 140727242304880 139888942792544 139888583620250 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19564] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19564/stat : 19564 (java) S 19560 19560 12039 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 98230978 14316269568 49085 18446744073709551615 4194304 4196468 140727242304880 139888899451792 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19565] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19565/stat : 19565 (java) S 19560 19560 12039 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 98230978 14316269568 49085 18446744073709551615 4194304 4196468 140727242304880 139888898398992 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19566] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19566/stat : 19566 (java) S 19560 19560 12039 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 98230978 14316269568 49085 18446744073709551615 4194304 4196468 140727242304880 139888536513680 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19567] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19567/stat : 19567 (java) S 19560 19560 12039 0 -1 1077944384 659 0 0 0 0 0 0 0 20 0 15 0 98230978 14316269568 49085 18446744073709551615 4194304 4196468 140727242304880 139888535460880 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19568] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19568/stat : 19568 (java) S 19560 19560 12039 0 -1 1077944384 184 0 0 0 0 0 0 0 20 0 15 0 98230979 14316269568 49085 18446744073709551615 4194304 4196468 140727242304880 139888417122416 139888938564226 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19569] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19569/stat : 19569 (java) S 19560 19560 12039 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 98230980 14316269568 49085 18446744073709551615 4194304 4196468 140727242304880 139888416068384 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19570] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19570/stat : 19570 (java) S 19560 19560 12039 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 98230980 14316269568 49085 18446744073709551615 4194304 4196468 140727242304880 139888415016048 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19571] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19571/stat : 19571 (java) S 19560 19560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98230983 14316269568 49085 18446744073709551615 4194304 4196468 140727242304880 139888413964368 139888938571675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19572] ppid=19560 vsize=13980732 CPUtime=0.63 cores=1,3,5,7
/proc/19562/task/19572/stat : 19572 (java) S 19560 19560 12039 0 -1 1077944384 2395 0 0 0 63 0 0 0 20 0 15 0 98230983 14316269568 49085 18446744073709551615 4194304 4196468 140727242304880 139888412912240 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19573] ppid=19560 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/19562/task/19573/stat : 19573 (java) S 19560 19560 12039 0 -1 1077944384 2015 0 0 0 59 0 0 0 20 0 15 0 98230983 14316269568 49085 18446744073709551615 4194304 4196468 140727242304880 139888411859440 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19574] ppid=19560 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/19562/task/19574/stat : 19574 (java) S 19560 19560 12039 0 -1 1077944384 3722 0 0 0 51 1 0 0 20 0 15 0 98230983 14316269568 49085 18446744073709551615 4194304 4196468 140727242304880 139888410807152 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19575] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19575/stat : 19575 (java) S 19560 19560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98230983 14316269568 49085 18446744073709551615 4194304 4196468 140727242304880 139888409754592 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19576] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19576/stat : 19576 (java) S 19560 19560 12039 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 98230989 14316269568 49085 18446744073709551615 4194304 4196468 140727242304880 139888408701360 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
Current children cumulated CPU time (s) 3.16
Current children cumulated vsize (KiB) 13990244
[startup+3.10061 s]
/proc/loadavg: 2.02 2.03 2.00 2/202 19607
/proc/meminfo: memFree=31438256/32770624 swapFree=0/323372
[pid=19560] ppid=19557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19560/stat : 19560 (xcsp3-exec) S 19557 19560 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98230969 9740288 345 18446744073709551615 4194304 5098028 140734953323856 140734953321960 140102240998012 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 39825408 140734953329057 140734953329261 140734953329261 140734953332715 0
/proc/19560/statm: 2378 345 289 221 0 87 0
[pid=19562] ppid=19560 vsize=13980732 CPUtime=5.55 cores=1,3,5,7
/proc/19562/stat : 19562 (java) S 19560 19560 12039 0 -1 1077944320 24333 0 0 0 546 9 0 0 20 0 15 0 98230977 14316269568 51738 18446744073709551615 4194304 4196468 140727242304880 140727242287424 139888938553079 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
/proc/19562/statm: 3495183 51738 3220 1 0 3483476 0
[pid=19562/tid=19563] ppid=19560 vsize=13980732 CPUtime=2.92 cores=1,3,5,7
/proc/19562/task/19563/stat : 19563 (java) R 19560 19560 12039 0 -1 4202560 9326 0 0 0 287 5 0 0 20 0 15 0 98230977 14316269568 51738 18446744073709551615 4194304 4196468 140727242304880 139888942791312 139888578340004 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19564] ppid=19560 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/19562/task/19564/stat : 19564 (java) S 19560 19560 12039 0 -1 1077944384 80 0 0 0 1 0 0 0 20 0 15 0 98230978 14316269568 51738 18446744073709551615 4194304 4196468 140727242304880 139888899451792 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19565] ppid=19560 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/19562/task/19565/stat : 19565 (java) S 19560 19560 12039 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 15 0 98230978 14316269568 51738 18446744073709551615 4194304 4196468 140727242304880 139888898398992 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19566] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19566/stat : 19566 (java) S 19560 19560 12039 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 98230978 14316269568 51738 18446744073709551615 4194304 4196468 140727242304880 139888536513680 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19567] ppid=19560 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/19562/task/19567/stat : 19567 (java) S 19560 19560 12039 0 -1 1077944384 668 0 0 0 1 0 0 0 20 0 15 0 98230978 14316269568 51738 18446744073709551615 4194304 4196468 140727242304880 139888535460880 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19568] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19568/stat : 19568 (java) S 19560 19560 12039 0 -1 1077944384 197 0 0 0 0 0 0 0 20 0 15 0 98230979 14316269568 51738 18446744073709551615 4194304 4196468 140727242304880 139888417122416 139888938564226 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19569] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19569/stat : 19569 (java) S 19560 19560 12039 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 98230980 14316269568 51738 18446744073709551615 4194304 4196468 140727242304880 139888416068448 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19570] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19570/stat : 19570 (java) S 19560 19560 12039 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 98230980 14316269568 51738 18446744073709551615 4194304 4196468 140727242304880 139888415016064 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19571] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19571/stat : 19571 (java) S 19560 19560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98230983 14316269568 51738 18446744073709551615 4194304 4196468 140727242304880 139888413964368 139888938571675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19572] ppid=19560 vsize=13980732 CPUtime=0.92 cores=1,3,5,7
/proc/19562/task/19572/stat : 19572 (java) S 19560 19560 12039 0 -1 1077944384 3690 0 0 0 92 0 0 0 20 0 15 0 98230983 14316269568 51738 18446744073709551615 4194304 4196468 140727242304880 139888412912240 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19573] ppid=19560 vsize=13980732 CPUtime=1.03 cores=1,3,5,7
/proc/19562/task/19573/stat : 19573 (java) S 19560 19560 12039 0 -1 1077944384 4346 0 0 0 103 0 0 0 20 0 15 0 98230983 14316269568 51738 18446744073709551615 4194304 4196468 140727242304880 139888411859440 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19574] ppid=19560 vsize=13980732 CPUtime=0.57 cores=1,3,5,7
/proc/19562/task/19574/stat : 19574 (java) S 19560 19560 12039 0 -1 1077944384 4254 0 0 0 56 1 0 0 20 0 15 0 98230983 14316269568 51738 18446744073709551615 4194304 4196468 140727242304880 139888410807152 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19575] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19575/stat : 19575 (java) S 19560 19560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98230983 14316269568 51738 18446744073709551615 4194304 4196468 140727242304880 139888409754592 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19576] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19576/stat : 19576 (java) S 19560 19560 12039 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 98230989 14316269568 51738 18446744073709551615 4194304 4196468 140727242304880 139888408701360 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
Current children cumulated CPU time (s) 5.55
Current children cumulated vsize (KiB) 13990244
[startup+6.30072 s]
/proc/loadavg: 2.02 2.03 2.00 3/220 19654
/proc/meminfo: memFree=31073720/32770624 swapFree=0/323456
[pid=19560] ppid=19557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19560/stat : 19560 (xcsp3-exec) S 19557 19560 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98230969 9740288 345 18446744073709551615 4194304 5098028 140734953323856 140734953321960 140102240998012 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 39825408 140734953329057 140734953329261 140734953329261 140734953332715 0
/proc/19560/statm: 2378 345 289 221 0 87 0
[pid=19562] ppid=19560 vsize=13980732 CPUtime=11.16 cores=1,3,5,7
/proc/19562/stat : 19562 (java) S 19560 19560 12039 0 -1 1077944320 32238 0 0 0 1099 17 0 0 20 0 15 0 98230977 14316269568 91105 18446744073709551615 4194304 4196468 140727242304880 140727242287424 139888938553079 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
/proc/19562/statm: 3495183 91105 3240 1 0 3483476 0
[pid=19562/tid=19563] ppid=19560 vsize=13980732 CPUtime=6.08 cores=1,3,5,7
/proc/19562/task/19563/stat : 19563 (java) R 19560 19560 12039 0 -1 4202560 9508 0 0 0 602 6 0 0 20 0 15 0 98230977 14316269568 91105 18446744073709551615 4194304 4196468 140727242304880 139888942789984 139888584910598 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19564] ppid=19560 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/19562/task/19564/stat : 19564 (java) S 19560 19560 12039 0 -1 1077944384 92 0 0 0 3 1 0 0 20 0 15 0 98230978 14316269568 91105 18446744073709551615 4194304 4196468 140727242304880 139888899451792 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19565] ppid=19560 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/19562/task/19565/stat : 19565 (java) S 19560 19560 12039 0 -1 1077944384 114 0 0 0 3 1 0 0 20 0 15 0 98230978 14316269568 91105 18446744073709551615 4194304 4196468 140727242304880 139888898398992 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19566] ppid=19560 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/19562/task/19566/stat : 19566 (java) S 19560 19560 12039 0 -1 1077944384 328 0 0 0 2 1 0 0 20 0 15 0 98230978 14316269568 91105 18446744073709551615 4194304 4196468 140727242304880 139888536513680 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19567] ppid=19560 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/19562/task/19567/stat : 19567 (java) S 19560 19560 12039 0 -1 1077944384 687 0 0 0 3 1 0 0 20 0 15 0 98230978 14316269568 91105 18446744073709551615 4194304 4196468 140727242304880 139888535460880 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19568] ppid=19560 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/19562/task/19568/stat : 19568 (java) S 19560 19560 12039 0 -1 1077944384 384 0 0 0 1 0 0 0 20 0 15 0 98230979 14316269568 91105 18446744073709551615 4194304 4196468 140727242304880 139888417122416 139888938564226 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19569] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19569/stat : 19569 (java) S 19560 19560 12039 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 98230980 14316269568 91105 18446744073709551615 4194304 4196468 140727242304880 139888416068448 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19570] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19570/stat : 19570 (java) S 19560 19560 12039 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 98230980 14316269568 91105 18446744073709551615 4194304 4196468 140727242304880 139888415016064 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19571] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19571/stat : 19571 (java) S 19560 19560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98230983 14316269568 91105 18446744073709551615 4194304 4196468 140727242304880 139888413964368 139888938571675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19572] ppid=19560 vsize=13980732 CPUtime=2.13 cores=1,3,5,7
/proc/19562/task/19572/stat : 19572 (java) S 19560 19560 12039 0 -1 1077944384 8289 0 0 0 211 2 0 0 20 0 15 0 98230983 14316269568 91105 18446744073709551615 4194304 4196468 140727242304880 139888412912240 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19573] ppid=19560 vsize=13980732 CPUtime=2.09 cores=1,3,5,7
/proc/19562/task/19573/stat : 19573 (java) S 19560 19560 12039 0 -1 1077944384 7070 0 0 0 208 1 0 0 20 0 15 0 98230983 14316269568 91105 18446744073709551615 4194304 4196468 140727242304880 139888411859440 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19574] ppid=19560 vsize=13980732 CPUtime=0.64 cores=1,3,5,7
/proc/19562/task/19574/stat : 19574 (java) S 19560 19560 12039 0 -1 1077944384 4388 0 0 0 63 1 0 0 20 0 15 0 98230983 14316269568 91105 18446744073709551615 4194304 4196468 140727242304880 139888410807152 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19575] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19575/stat : 19575 (java) S 19560 19560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98230983 14316269568 91105 18446744073709551615 4194304 4196468 140727242304880 139888409754592 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19576] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19576/stat : 19576 (java) S 19560 19560 12039 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 98230989 14316269568 91105 18446744073709551615 4194304 4196468 140727242304880 139888408701360 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
Current children cumulated CPU time (s) 11.16
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.17 2.07 2.01 3/220 19654
/proc/meminfo: memFree=30704676/32770624 swapFree=0/323456
[pid=19560] ppid=19557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19560/stat : 19560 (xcsp3-exec) S 19557 19560 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98230969 9740288 345 18446744073709551615 4194304 5098028 140734953323856 140734953321960 140102240998012 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 39825408 140734953329057 140734953329261 140734953329261 140734953332715 0
/proc/19560/statm: 2378 345 289 221 0 87 0
[pid=19562] ppid=19560 vsize=13980732 CPUtime=17.82 cores=1,3,5,7
/proc/19562/stat : 19562 (java) S 19560 19560 12039 0 -1 1077944320 37188 0 0 0 1760 22 0 0 20 0 15 0 98230977 14316269568 127490 18446744073709551615 4194304 4196468 140727242304880 140727242287424 139888938553079 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
/proc/19562/statm: 3495183 127490 3240 1 0 3483476 0
[pid=19562/tid=19563] ppid=19560 vsize=13980732 CPUtime=12.46 cores=1,3,5,7
/proc/19562/task/19563/stat : 19563 (java) R 19560 19560 12039 0 -1 4202560 10612 0 0 0 1238 8 0 0 20 0 15 0 98230977 14316269568 127490 18446744073709551615 4194304 4196468 140727242304880 139888942789392 139888585522426 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19564] ppid=19560 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/19562/task/19564/stat : 19564 (java) S 19560 19560 12039 0 -1 1077944384 173 0 0 0 3 1 0 0 20 0 15 0 98230978 14316269568 127490 18446744073709551615 4194304 4196468 140727242304880 139888899451792 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19565] ppid=19560 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/19562/task/19565/stat : 19565 (java) S 19560 19560 12039 0 -1 1077944384 191 0 0 0 3 1 0 0 20 0 15 0 98230978 14316269568 127490 18446744073709551615 4194304 4196468 140727242304880 139888898398992 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
################
# More data... #
################
[pid=19562/tid=19569] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19569/stat : 19569 (java) S 19560 19560 12039 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 98230980 14316269568 293257 18446744073709551615 4194304 4196468 140727242304880 139888416068448 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19570] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19570/stat : 19570 (java) S 19560 19560 12039 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 98230980 14316269568 293257 18446744073709551615 4194304 4196468 140727242304880 139888415016064 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19571] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19571/stat : 19571 (java) S 19560 19560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98230983 14316269568 293257 18446744073709551615 4194304 4196468 140727242304880 139888413964368 139888938571675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19572] ppid=19560 vsize=13980732 CPUtime=2.41 cores=1,3,5,7
/proc/19562/task/19572/stat : 19572 (java) S 19560 19560 12039 0 -1 1077944384 11614 0 0 0 239 2 0 0 20 0 15 0 98230983 14316269568 293257 18446744073709551615 4194304 4196468 140727242304880 139888412912240 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19573] ppid=19560 vsize=13980732 CPUtime=2.31 cores=1,3,5,7
/proc/19562/task/19573/stat : 19573 (java) S 19560 19560 12039 0 -1 1077944384 10330 0 0 0 230 1 0 0 20 0 15 0 98230983 14316269568 293257 18446744073709551615 4194304 4196468 140727242304880 139888411859440 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19574] ppid=19560 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/19562/task/19574/stat : 19574 (java) S 19560 19560 12039 0 -1 1077944384 5934 0 0 0 67 1 0 0 20 0 15 0 98230983 14316269568 293257 18446744073709551615 4194304 4196468 140727242304880 139888410807152 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19575] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19575/stat : 19575 (java) S 19560 19560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98230983 14316269568 293257 18446744073709551615 4194304 4196468 140727242304880 139888409754592 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19576] ppid=19560 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/19562/task/19576/stat : 19576 (java) S 19560 19560 12039 0 -1 1077944384 316 0 0 0 2 2 0 0 20 0 15 0 98230989 14316269568 293257 18446744073709551615 4194304 4196468 140727242304880 139888408701360 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
Current children cumulated CPU time (s) 107.95
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.04 2.06 2.02 3/215 19658
/proc/meminfo: memFree=28970548/32770624 swapFree=0/323568
[pid=19560] ppid=19557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19560/stat : 19560 (xcsp3-exec) S 19557 19560 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98230969 9740288 345 18446744073709551615 4194304 5098028 140734953323856 140734953321960 140102240998012 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 39825408 140734953329057 140734953329261 140734953329261 140734953332715 0
/proc/19560/statm: 2378 345 289 221 0 87 0
[pid=19562] ppid=19560 vsize=13980732 CPUtime=168.16 cores=1,3,5,7
/proc/19562/stat : 19562 (java) S 19560 19560 12039 0 -1 1077944320 52715 0 0 0 16763 53 0 0 20 0 15 0 98230977 14316269568 305602 18446744073709551615 4194304 4196468 140727242304880 140727242287424 139888938553079 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
/proc/19562/statm: 3495183 305602 3241 1 0 3483476 0
[pid=19562/tid=19563] ppid=19560 vsize=13980732 CPUtime=161.99 cores=1,3,5,7
/proc/19562/task/19563/stat : 19563 (java) R 19560 19560 12039 0 -1 4202560 15365 0 0 0 16181 18 0 0 20 0 15 0 98230977 14316269568 305602 18446744073709551615 4194304 4196468 140727242304880 139888942790336 139888584997462 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19564] ppid=19560 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/19562/task/19564/stat : 19564 (java) S 19560 19560 12039 0 -1 1077944384 481 0 0 0 7 5 0 0 20 0 15 0 98230978 14316269568 305602 18446744073709551615 4194304 4196468 140727242304880 139888899451792 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19565] ppid=19560 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/19562/task/19565/stat : 19565 (java) S 19560 19560 12039 0 -1 1077944384 472 0 0 0 7 5 0 0 20 0 15 0 98230978 14316269568 305602 18446744073709551615 4194304 4196468 140727242304880 139888898398992 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19566] ppid=19560 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/19562/task/19566/stat : 19566 (java) S 19560 19560 12039 0 -1 1077944384 1260 0 0 0 6 5 0 0 20 0 15 0 98230978 14316269568 305602 18446744073709551615 4194304 4196468 140727242304880 139888536513680 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19567] ppid=19560 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/19562/task/19567/stat : 19567 (java) S 19560 19560 12039 0 -1 1077944384 1493 0 0 0 7 4 0 0 20 0 15 0 98230978 14316269568 305602 18446744073709551615 4194304 4196468 140727242304880 139888535460880 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19568] ppid=19560 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/19562/task/19568/stat : 19568 (java) S 19560 19560 12039 0 -1 1077944384 1760 0 0 0 2 4 0 0 20 0 15 0 98230979 14316269568 305602 18446744073709551615 4194304 4196468 140727242304880 139888417122416 139888938564226 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19569] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19569/stat : 19569 (java) S 19560 19560 12039 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 98230980 14316269568 305602 18446744073709551615 4194304 4196468 140727242304880 139888416068448 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19570] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19570/stat : 19570 (java) S 19560 19560 12039 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 98230980 14316269568 305602 18446744073709551615 4194304 4196468 140727242304880 139888415016064 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19571] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19571/stat : 19571 (java) S 19560 19560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98230983 14316269568 305602 18446744073709551615 4194304 4196468 140727242304880 139888413964368 139888938571675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19572] ppid=19560 vsize=13980732 CPUtime=2.43 cores=1,3,5,7
/proc/19562/task/19572/stat : 19572 (java) S 19560 19560 12039 0 -1 1077944384 12186 0 0 0 241 2 0 0 20 0 15 0 98230983 14316269568 305602 18446744073709551615 4194304 4196468 140727242304880 139888412912240 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19573] ppid=19560 vsize=13980732 CPUtime=2.36 cores=1,3,5,7
/proc/19562/task/19573/stat : 19573 (java) S 19560 19560 12039 0 -1 1077944384 11711 0 0 0 235 1 0 0 20 0 15 0 98230983 14316269568 305602 18446744073709551615 4194304 4196468 140727242304880 139888411859440 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19574] ppid=19560 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/19562/task/19574/stat : 19574 (java) S 19560 19560 12039 0 -1 1077944384 6297 0 0 0 67 1 0 0 20 0 15 0 98230983 14316269568 305602 18446744073709551615 4194304 4196468 140727242304880 139888410807152 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19575] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19575/stat : 19575 (java) S 19560 19560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98230983 14316269568 305602 18446744073709551615 4194304 4196468 140727242304880 139888409754592 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19576] ppid=19560 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/19562/task/19576/stat : 19576 (java) S 19560 19560 12039 0 -1 1077944384 338 0 0 0 4 4 0 0 20 0 15 0 98230989 14316269568 305602 18446744073709551615 4194304 4196468 140727242304880 139888408701360 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
Current children cumulated CPU time (s) 168.16
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.91 2.02 2.00 3/215 19660
/proc/meminfo: memFree=28970536/32770624 swapFree=0/323576
[pid=19560] ppid=19557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19560/stat : 19560 (xcsp3-exec) S 19557 19560 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98230969 9740288 345 18446744073709551615 4194304 5098028 140734953323856 140734953321960 140102240998012 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 39825408 140734953329057 140734953329261 140734953329261 140734953332715 0
/proc/19560/statm: 2378 345 289 221 0 87 0
[pid=19562] ppid=19560 vsize=13980732 CPUtime=228.31 cores=1,3,5,7
/proc/19562/stat : 19562 (java) S 19560 19560 12039 0 -1 1077944320 55758 0 0 0 22776 55 0 0 20 0 15 0 98230977 14316269568 305627 18446744073709551615 4194304 4196468 140727242304880 140727242287424 139888938553079 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
/proc/19562/statm: 3495183 305627 3241 1 0 3483476 0
[pid=19562/tid=19563] ppid=19560 vsize=13980732 CPUtime=221.99 cores=1,3,5,7
/proc/19562/task/19563/stat : 19563 (java) R 19560 19560 12039 0 -1 4202560 16034 0 0 0 22181 18 0 0 20 0 15 0 98230977 14316269568 305627 18446744073709551615 4194304 4196468 140727242304880 139888942789768 139888586450246 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19564] ppid=19560 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/19562/task/19564/stat : 19564 (java) S 19560 19560 12039 0 -1 1077944384 481 0 0 0 7 5 0 0 20 0 15 0 98230978 14316269568 305627 18446744073709551615 4194304 4196468 140727242304880 139888899451792 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19565] ppid=19560 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/19562/task/19565/stat : 19565 (java) S 19560 19560 12039 0 -1 1077944384 472 0 0 0 7 5 0 0 20 0 15 0 98230978 14316269568 305627 18446744073709551615 4194304 4196468 140727242304880 139888898398992 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19566] ppid=19560 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/19562/task/19566/stat : 19566 (java) S 19560 19560 12039 0 -1 1077944384 1260 0 0 0 6 5 0 0 20 0 15 0 98230978 14316269568 305627 18446744073709551615 4194304 4196468 140727242304880 139888536513680 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19567] ppid=19560 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/19562/task/19567/stat : 19567 (java) S 19560 19560 12039 0 -1 1077944384 1493 0 0 0 7 4 0 0 20 0 15 0 98230978 14316269568 305627 18446744073709551615 4194304 4196468 140727242304880 139888535460880 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19568] ppid=19560 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/19562/task/19568/stat : 19568 (java) S 19560 19560 12039 0 -1 1077944384 1770 0 0 0 2 5 0 0 20 0 15 0 98230979 14316269568 305627 18446744073709551615 4194304 4196468 140727242304880 139888417122416 139888938564226 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19569] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19569/stat : 19569 (java) S 19560 19560 12039 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 98230980 14316269568 305627 18446744073709551615 4194304 4196468 140727242304880 139888416068448 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19570] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19570/stat : 19570 (java) S 19560 19560 12039 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 98230980 14316269568 305627 18446744073709551615 4194304 4196468 140727242304880 139888415016064 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19571] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19571/stat : 19571 (java) S 19560 19560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98230983 14316269568 305627 18446744073709551615 4194304 4196468 140727242304880 139888413964368 139888938571675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19572] ppid=19560 vsize=13980732 CPUtime=2.45 cores=1,3,5,7
/proc/19562/task/19572/stat : 19572 (java) S 19560 19560 12039 0 -1 1077944384 13021 0 0 0 243 2 0 0 20 0 15 0 98230983 14316269568 305627 18446744073709551615 4194304 4196468 140727242304880 139888412912240 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19573] ppid=19560 vsize=13980732 CPUtime=2.45 cores=1,3,5,7
/proc/19562/task/19573/stat : 19573 (java) S 19560 19560 12039 0 -1 1077944384 12851 0 0 0 244 1 0 0 20 0 15 0 98230983 14316269568 305627 18446744073709551615 4194304 4196468 140727242304880 139888411859440 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19574] ppid=19560 vsize=13980732 CPUtime=0.69 cores=1,3,5,7
/proc/19562/task/19574/stat : 19574 (java) S 19560 19560 12039 0 -1 1077944384 6630 0 0 0 68 1 0 0 20 0 15 0 98230983 14316269568 305627 18446744073709551615 4194304 4196468 140727242304880 139888410807152 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19575] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19575/stat : 19575 (java) S 19560 19560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98230983 14316269568 305627 18446744073709551615 4194304 4196468 140727242304880 139888409754592 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19576] ppid=19560 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/19562/task/19576/stat : 19576 (java) S 19560 19560 12039 0 -1 1077944384 394 0 0 0 5 6 0 0 20 0 15 0 98230989 14316269568 305627 18446744073709551615 4194304 4196468 140727242304880 139888408701360 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
Current children cumulated CPU time (s) 228.31
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.93 2.01 2.00 3/215 19661
/proc/meminfo: memFree=28970536/32770624 swapFree=0/323580
[pid=19560] ppid=19557 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19560/stat : 19560 (xcsp3-exec) S 19557 19560 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98230969 9740288 345 18446744073709551615 4194304 5098028 140734953323856 140734953321960 140102240998012 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 39825408 140734953329057 140734953329261 140734953329261 140734953332715 0
/proc/19560/statm: 2378 345 289 221 0 87 0
[pid=19562] ppid=19560 vsize=13980732 CPUtime=246.02 cores=1,3,5,7
/proc/19562/stat : 19562 (java) S 19560 19560 12039 0 -1 1077944320 55928 0 0 0 24546 56 0 0 20 0 15 0 98230977 14316269568 305630 18446744073709551615 4194304 4196468 140727242304880 140727242287424 139888938553079 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
/proc/19562/statm: 3495183 305630 3241 1 0 3483476 0
[pid=19562/tid=19563] ppid=19560 vsize=13980732 CPUtime=239.68 cores=1,3,5,7
/proc/19562/task/19563/stat : 19563 (java) R 19560 19560 12039 0 -1 4202560 16142 0 0 0 23950 18 0 0 20 0 15 0 98230977 14316269568 305630 18446744073709551615 4194304 4196468 140727242304880 139888942789768 139888586450082 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19564] ppid=19560 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/19562/task/19564/stat : 19564 (java) S 19560 19560 12039 0 -1 1077944384 481 0 0 0 7 5 0 0 20 0 15 0 98230978 14316269568 305630 18446744073709551615 4194304 4196468 140727242304880 139888899451792 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19565] ppid=19560 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/19562/task/19565/stat : 19565 (java) S 19560 19560 12039 0 -1 1077944384 472 0 0 0 7 5 0 0 20 0 15 0 98230978 14316269568 305630 18446744073709551615 4194304 4196468 140727242304880 139888898398992 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19566] ppid=19560 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/19562/task/19566/stat : 19566 (java) S 19560 19560 12039 0 -1 1077944384 1260 0 0 0 6 5 0 0 20 0 15 0 98230978 14316269568 305630 18446744073709551615 4194304 4196468 140727242304880 139888536513680 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19567] ppid=19560 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/19562/task/19567/stat : 19567 (java) S 19560 19560 12039 0 -1 1077944384 1493 0 0 0 7 4 0 0 20 0 15 0 98230978 14316269568 305630 18446744073709551615 4194304 4196468 140727242304880 139888535460880 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19568] ppid=19560 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/19562/task/19568/stat : 19568 (java) S 19560 19560 12039 0 -1 1077944384 1780 0 0 0 2 5 0 0 20 0 15 0 98230979 14316269568 305630 18446744073709551615 4194304 4196468 140727242304880 139888417122416 139888938564226 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19569] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19569/stat : 19569 (java) S 19560 19560 12039 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 98230980 14316269568 305630 18446744073709551615 4194304 4196468 140727242304880 139888416068448 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19570] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19570/stat : 19570 (java) S 19560 19560 12039 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 98230980 14316269568 305630 18446744073709551615 4194304 4196468 140727242304880 139888415016064 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19571] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19571/stat : 19571 (java) S 19560 19560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98230983 14316269568 305630 18446744073709551615 4194304 4196468 140727242304880 139888413964368 139888938571675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19572] ppid=19560 vsize=13980732 CPUtime=2.45 cores=1,3,5,7
/proc/19562/task/19572/stat : 19572 (java) S 19560 19560 12039 0 -1 1077944384 13024 0 0 0 243 2 0 0 20 0 15 0 98230983 14316269568 305630 18446744073709551615 4194304 4196468 140727242304880 139888412912240 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19573] ppid=19560 vsize=13980732 CPUtime=2.45 cores=1,3,5,7
/proc/19562/task/19573/stat : 19573 (java) S 19560 19560 12039 0 -1 1077944384 12864 0 0 0 244 1 0 0 20 0 15 0 98230983 14316269568 305630 18446744073709551615 4194304 4196468 140727242304880 139888411859440 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19574] ppid=19560 vsize=13980732 CPUtime=0.69 cores=1,3,5,7
/proc/19562/task/19574/stat : 19574 (java) S 19560 19560 12039 0 -1 1077944384 6633 0 0 0 68 1 0 0 20 0 15 0 98230983 14316269568 305630 18446744073709551615 4194304 4196468 140727242304880 139888410807152 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19575] ppid=19560 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19562/task/19575/stat : 19575 (java) S 19560 19560 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98230983 14316269568 305630 18446744073709551615 4194304 4196468 140727242304880 139888409754592 139888938563285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
[pid=19562/tid=19576] ppid=19560 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/19562/task/19576/stat : 19576 (java) S 19560 19560 12039 0 -1 1077944384 427 0 0 0 5 7 0 0 20 0 15 0 98230989 14316269568 305630 18446744073709551615 4194304 4196468 140727242304880 139888408701360 139888938564226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140727242310106 140727242310281 140727242310281 140727242313679 0
Current children cumulated CPU time (s) 246.02
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 19562 sig 9
??? kill 19560 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 19560 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=911
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=911
# CPU time returned by wait4() is 0.001822
# while last known CPU time is 246.02
#
# 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): 246.02
CPU user time (s): 245.46
CPU system time (s): 0.56
CPU usage (%): 102.504
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000911
system time used= 0.000911
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.11302 second user time and 1.56214 second system time
The end