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-4255347-1501618937/watcher-4255347-1501618937 -o /tmp/evaluation-result-4255347-1501618937/solver-4255347-1501618937 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501617024-9377 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1622969752 HOME/instance-4255347-1501618937.xml
pid=13328
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.77 1.65 1.73 4/199 13331
/proc/meminfo: memFree=31744108/32770624 swapFree=0/167716
[pid=13331] ppid=13328 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/13331/stat : 13331 (runsolver) D 13328 13331 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 3804291 24240128 106 18446744073709551615 4194304 4338465 140724514307152 140724514304792 140376903910103 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 24416256 140724514312286 140724514312775 140724514312775 140724514316234 0
/proc/13331/statm: 5918 106 53 36 0 2156 0
[startup+0.100108 s]
/proc/loadavg: 1.77 1.65 1.73 4/199 13331
/proc/meminfo: memFree=31744108/32770624 swapFree=0/167716
[pid=13331] ppid=13328 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13331/stat : 13331 (xcsp3-exec) S 13328 13331 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3804291 9740288 345 18446744073709551615 4194304 5098028 140727324976240 140727324974344 140121439400572 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 31084544 140727324983708 140727324983912 140727324983912 140727324987371 0
/proc/13331/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200351 s]
/proc/loadavg: 1.77 1.65 1.73 4/199 13331
/proc/meminfo: memFree=31744108/32770624 swapFree=0/167716
[pid=13331] ppid=13328 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13331/stat : 13331 (xcsp3-exec) S 13328 13331 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3804291 9740288 345 18446744073709551615 4194304 5098028 140727324976240 140727324974344 140121439400572 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 31084544 140727324983708 140727324983912 140727324983912 140727324987371 0
/proc/13331/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30036 s]
/proc/loadavg: 1.77 1.65 1.73 4/199 13331
/proc/meminfo: memFree=31744108/32770624 swapFree=0/167716
[pid=13331] ppid=13328 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13331/stat : 13331 (xcsp3-exec) S 13328 13331 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3804291 9740288 345 18446744073709551615 4194304 5098028 140727324976240 140727324974344 140121439400572 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 31084544 140727324983708 140727324983912 140727324983912 140727324987371 0
/proc/13331/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700648 s]
/proc/loadavg: 1.77 1.65 1.73 4/199 13331
/proc/meminfo: memFree=31744108/32770624 swapFree=0/167716
[pid=13331] ppid=13328 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13331/stat : 13331 (xcsp3-exec) S 13328 13331 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3804291 9740288 345 18446744073709551615 4194304 5098028 140727324976240 140727324974344 140121439400572 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 31084544 140727324983708 140727324983912 140727324983912 140727324987371 0
/proc/13331/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50252 s]
/proc/loadavg: 1.77 1.65 1.73 3/215 13347
/proc/meminfo: memFree=31641964/32770624 swapFree=0/167728
[pid=13331] ppid=13328 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13331/stat : 13331 (xcsp3-exec) S 13328 13331 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3804291 9740288 345 18446744073709551615 4194304 5098028 140727324976240 140727324974344 140121439400572 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 31084544 140727324983708 140727324983912 140727324983912 140727324987371 0
/proc/13331/statm: 2378 345 289 221 0 87 0
[pid=13333] ppid=13331 vsize=13980732 CPUtime=2.96 cores=0,2,4,6
/proc/13333/stat : 13333 (java) S 13331 13331 3187 0 -1 1077944320 18357 0 0 0 289 7 0 0 20 0 15 0 3804300 14316269568 38981 18446744073709551615 4194304 4196468 140727575383408 140727575365952 140519099776759 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
/proc/13333/statm: 3495183 38981 3174 1 0 3483484 0
[pid=13333/tid=13334] ppid=13331 vsize=13980732 CPUtime=1.33 cores=0,2,4,6
/proc/13333/task/13334/stat : 13334 (java) R 13331 13331 3187 0 -1 4202560 10044 0 0 0 129 4 0 0 20 0 15 0 3804300 14316269568 38981 18446744073709551615 4194304 4196468 140727575383408 140519103996512 140519099798685 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13335] ppid=13331 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13335/stat : 13335 (java) S 13331 13331 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3804301 14316269568 38981 18446744073709551615 4194304 4196468 140727575383408 140519056742928 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13336] ppid=13331 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13336/stat : 13336 (java) S 13331 13331 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3804301 14316269568 38981 18446744073709551615 4194304 4196468 140727575383408 140519055690384 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13337] ppid=13331 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13337/stat : 13337 (java) S 13331 13331 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3804301 14316269568 38981 18446744073709551615 4194304 4196468 140727575383408 140519054637328 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13338] ppid=13331 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13338/stat : 13338 (java) S 13331 13331 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3804301 14316269568 38981 18446744073709551615 4194304 4196468 140727575383408 140519053584784 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13339] ppid=13331 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13339/stat : 13339 (java) S 13331 13331 3187 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 3804302 14316269568 38981 18446744073709551615 4194304 4196468 140727575383408 140518578182896 140519099787906 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13340] ppid=13331 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13340/stat : 13340 (java) S 13331 13331 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3804303 14316269568 38981 18446744073709551615 4194304 4196468 140727575383408 140518577129120 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13341] ppid=13331 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13341/stat : 13341 (java) S 13331 13331 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3804303 14316269568 38981 18446744073709551615 4194304 4196468 140727575383408 140518576076016 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13342] ppid=13331 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13342/stat : 13342 (java) S 13331 13331 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3804305 14316269568 38981 18446744073709551615 4194304 4196468 140727575383408 140518575024592 140519099795355 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13343] ppid=13331 vsize=13980732 CPUtime=0.58 cores=0,2,4,6
/proc/13333/task/13343/stat : 13343 (java) R 13331 13331 3187 0 -1 4202560 2778 0 0 0 58 0 0 0 20 0 15 0 3804305 14316269568 38981 18446744073709551615 4194304 4196468 140727575383408 140518573950800 140519092115216 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13344] ppid=13331 vsize=13980732 CPUtime=0.57 cores=0,2,4,6
/proc/13333/task/13344/stat : 13344 (java) R 13331 13331 3187 0 -1 4202560 2112 0 0 0 57 0 0 0 20 0 15 0 3804305 14316269568 38981 18446744073709551615 4194304 4196468 140727575383408 140518572919152 140519080477056 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13345] ppid=13331 vsize=13980732 CPUtime=0.43 cores=0,2,4,6
/proc/13333/task/13345/stat : 13345 (java) S 13331 13331 3187 0 -1 1077944384 2112 0 0 0 43 0 0 0 20 0 15 0 3804305 14316269568 38981 18446744073709551615 4194304 4196468 140727575383408 140518571866096 140519099787906 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13346] ppid=13331 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13346/stat : 13346 (java) S 13331 13331 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3804305 14316269568 38981 18446744073709551615 4194304 4196468 140727575383408 140518570813792 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13347] ppid=13331 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13347/stat : 13347 (java) S 13331 13331 3187 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 3804311 14316269568 38981 18446744073709551615 4194304 4196468 140727575383408 140518569761840 140519099787906 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 13990244
[startup+3.10362 s]
/proc/loadavg: 1.77 1.65 1.73 4/215 13347
/proc/meminfo: memFree=31587172/32770624 swapFree=0/167728
[pid=13331] ppid=13328 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13331/stat : 13331 (xcsp3-exec) S 13328 13331 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3804291 9740288 345 18446744073709551615 4194304 5098028 140727324976240 140727324974344 140121439400572 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 31084544 140727324983708 140727324983912 140727324983912 140727324987371 0
/proc/13331/statm: 2378 345 289 221 0 87 0
[pid=13333] ppid=13331 vsize=13980732 CPUtime=5.97 cores=0,2,4,6
/proc/13333/stat : 13333 (java) S 13331 13331 3187 0 -1 1077944320 22950 0 0 0 585 12 0 0 20 0 15 0 3804300 14316269568 55171 18446744073709551615 4194304 4196468 140727575383408 140727575365952 140519099776759 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
/proc/13333/statm: 3495183 55171 3209 1 0 3483484 0
[pid=13333/tid=13334] ppid=13331 vsize=13980732 CPUtime=2.9 cores=0,2,4,6
/proc/13333/task/13334/stat : 13334 (java) R 13331 13331 3187 0 -1 4202560 10887 0 0 0 285 5 0 0 20 0 15 0 3804300 14316269568 55171 18446744073709551615 4194304 4196468 140727575383408 140519104012952 140518736274160 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13335] ppid=13331 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/13333/task/13335/stat : 13335 (java) S 13331 13331 3187 0 -1 1077944384 168 0 0 0 2 1 0 0 20 0 15 0 3804301 14316269568 55171 18446744073709551615 4194304 4196468 140727575383408 140519056742928 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13336] ppid=13331 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/13333/task/13336/stat : 13336 (java) S 13331 13331 3187 0 -1 1077944384 302 0 0 0 1 1 0 0 20 0 15 0 3804301 14316269568 55171 18446744073709551615 4194304 4196468 140727575383408 140519055690384 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13337] ppid=13331 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/13333/task/13337/stat : 13337 (java) S 13331 13331 3187 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 15 0 3804301 14316269568 55171 18446744073709551615 4194304 4196468 140727575383408 140519054637328 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13338] ppid=13331 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/13333/task/13338/stat : 13338 (java) S 13331 13331 3187 0 -1 1077944384 88 0 0 0 2 1 0 0 20 0 15 0 3804301 14316269568 55171 18446744073709551615 4194304 4196468 140727575383408 140519053584784 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13339] ppid=13331 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13339/stat : 13339 (java) S 13331 13331 3187 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 15 0 3804302 14316269568 55171 18446744073709551615 4194304 4196468 140727575383408 140518578182896 140519099787906 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13340] ppid=13331 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13340/stat : 13340 (java) S 13331 13331 3187 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 3804303 14316269568 55171 18446744073709551615 4194304 4196468 140727575383408 140518577129120 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13341] ppid=13331 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13341/stat : 13341 (java) S 13331 13331 3187 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 3804303 14316269568 55171 18446744073709551615 4194304 4196468 140727575383408 140518576076016 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13342] ppid=13331 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13342/stat : 13342 (java) S 13331 13331 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3804305 14316269568 55171 18446744073709551615 4194304 4196468 140727575383408 140518575024592 140519099795355 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13343] ppid=13331 vsize=13980732 CPUtime=1.18 cores=0,2,4,6
/proc/13333/task/13343/stat : 13343 (java) R 13331 13331 3187 0 -1 4202560 3871 0 0 0 118 0 0 0 20 0 15 0 3804305 14316269568 55171 18446744073709551615 4194304 4196468 140727575383408 140518573971696 140519092066213 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13344] ppid=13331 vsize=13980732 CPUtime=1.1 cores=0,2,4,6
/proc/13333/task/13344/stat : 13344 (java) R 13331 13331 3187 0 -1 4202560 2900 0 0 0 110 0 0 0 20 0 15 0 3804305 14316269568 55171 18446744073709551615 4194304 4196468 140727575383408 140518572919072 140519084168746 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13345] ppid=13331 vsize=13980732 CPUtime=0.62 cores=0,2,4,6
/proc/13333/task/13345/stat : 13345 (java) S 13331 13331 3187 0 -1 1077944384 3193 0 0 0 62 0 0 0 20 0 15 0 3804305 14316269568 55171 18446744073709551615 4194304 4196468 140727575383408 140518571866096 140519099787906 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13346] ppid=13331 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13346/stat : 13346 (java) S 13331 13331 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3804305 14316269568 55171 18446744073709551615 4194304 4196468 140727575383408 140518570813792 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13347] ppid=13331 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13347/stat : 13347 (java) S 13331 13331 3187 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 3804311 14316269568 55171 18446744073709551615 4194304 4196468 140727575383408 140518569761840 140519099787906 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 13990244
[startup+6.30064 s]
/proc/loadavg: 1.79 1.66 1.73 3/215 13347
/proc/meminfo: memFree=31535812/32770624 swapFree=0/167740
[pid=13331] ppid=13328 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13331/stat : 13331 (xcsp3-exec) S 13328 13331 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3804291 9740288 345 18446744073709551615 4194304 5098028 140727324976240 140727324974344 140121439400572 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 31084544 140727324983708 140727324983912 140727324983912 140727324987371 0
/proc/13331/statm: 2378 345 289 221 0 87 0
[pid=13333] ppid=13331 vsize=13980732 CPUtime=9.6 cores=0,2,4,6
/proc/13333/stat : 13333 (java) S 13331 13331 3187 0 -1 1077944320 23194 0 0 0 948 12 0 0 20 0 15 0 3804300 14316269568 55351 18446744073709551615 4194304 4196468 140727575383408 140727575365952 140519099776759 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
/proc/13333/statm: 3495183 55351 3211 1 0 3483484 0
[pid=13333/tid=13334] ppid=13331 vsize=13980732 CPUtime=6.1 cores=0,2,4,6
/proc/13333/task/13334/stat : 13334 (java) R 13331 13331 3187 0 -1 4202560 10938 0 0 0 605 5 0 0 20 0 15 0 3804300 14316269568 55351 18446744073709551615 4194304 4196468 140727575383408 140519104012544 140518737497877 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13335] ppid=13331 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/13333/task/13335/stat : 13335 (java) S 13331 13331 3187 0 -1 1077944384 168 0 0 0 2 1 0 0 20 0 15 0 3804301 14316269568 55351 18446744073709551615 4194304 4196468 140727575383408 140519056742928 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13336] ppid=13331 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/13333/task/13336/stat : 13336 (java) S 13331 13331 3187 0 -1 1077944384 302 0 0 0 1 1 0 0 20 0 15 0 3804301 14316269568 55351 18446744073709551615 4194304 4196468 140727575383408 140519055690384 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13337] ppid=13331 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/13333/task/13337/stat : 13337 (java) S 13331 13331 3187 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 15 0 3804301 14316269568 55351 18446744073709551615 4194304 4196468 140727575383408 140519054637328 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13338] ppid=13331 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/13333/task/13338/stat : 13338 (java) S 13331 13331 3187 0 -1 1077944384 88 0 0 0 2 1 0 0 20 0 15 0 3804301 14316269568 55351 18446744073709551615 4194304 4196468 140727575383408 140519053584784 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13339] ppid=13331 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13339/stat : 13339 (java) S 13331 13331 3187 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 15 0 3804302 14316269568 55351 18446744073709551615 4194304 4196468 140727575383408 140518578182896 140519099787906 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13340] ppid=13331 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13340/stat : 13340 (java) S 13331 13331 3187 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 3804303 14316269568 55351 18446744073709551615 4194304 4196468 140727575383408 140518577129120 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13341] ppid=13331 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13341/stat : 13341 (java) S 13331 13331 3187 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 3804303 14316269568 55351 18446744073709551615 4194304 4196468 140727575383408 140518576076016 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13342] ppid=13331 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13342/stat : 13342 (java) S 13331 13331 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3804305 14316269568 55351 18446744073709551615 4194304 4196468 140727575383408 140518575024592 140519099795355 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13343] ppid=13331 vsize=13980732 CPUtime=1.39 cores=0,2,4,6
/proc/13333/task/13343/stat : 13343 (java) S 13331 13331 3187 0 -1 1077944384 3922 0 0 0 139 0 0 0 20 0 15 0 3804305 14316269568 55351 18446744073709551615 4194304 4196468 140727575383408 140518573971696 140519099787906 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13344] ppid=13331 vsize=13980732 CPUtime=1.27 cores=0,2,4,6
/proc/13333/task/13344/stat : 13344 (java) S 13331 13331 3187 0 -1 1077944384 2984 0 0 0 127 0 0 0 20 0 15 0 3804305 14316269568 55351 18446744073709551615 4194304 4196468 140727575383408 140518572919152 140519099787906 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13345] ppid=13331 vsize=13980732 CPUtime=0.67 cores=0,2,4,6
/proc/13333/task/13345/stat : 13345 (java) S 13331 13331 3187 0 -1 1077944384 3246 0 0 0 67 0 0 0 20 0 15 0 3804305 14316269568 55351 18446744073709551615 4194304 4196468 140727575383408 140518571866096 140519099787906 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13346] ppid=13331 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13346/stat : 13346 (java) S 13331 13331 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3804305 14316269568 55351 18446744073709551615 4194304 4196468 140727575383408 140518570813792 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13347] ppid=13331 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13347/stat : 13347 (java) S 13331 13331 3187 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 3804311 14316269568 55351 18446744073709551615 4194304 4196468 140727575383408 140518569761840 140519099787906 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
Current children cumulated CPU time (s) 9.6
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.80 1.66 1.73 3/215 13348
/proc/meminfo: memFree=31531484/32770624 swapFree=0/167744
[pid=13331] ppid=13328 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13331/stat : 13331 (xcsp3-exec) S 13328 13331 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3804291 9740288 345 18446744073709551615 4194304 5098028 140727324976240 140727324974344 140121439400572 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 31084544 140727324983708 140727324983912 140727324983912 140727324987371 0
/proc/13331/statm: 2378 345 289 221 0 87 0
[pid=13333] ppid=13331 vsize=13980732 CPUtime=16.25 cores=0,2,4,6
/proc/13333/stat : 13333 (java) S 13331 13331 3187 0 -1 1077944320 27589 0 0 0 1613 12 0 0 20 0 15 0 3804300 14316269568 55594 18446744073709551615 4194304 4196468 140727575383408 140727575365952 140519099776759 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
/proc/13333/statm: 3495183 55594 3214 1 0 3483484 0
[pid=13333/tid=13334] ppid=13331 vsize=13980732 CPUtime=12.5 cores=0,2,4,6
/proc/13333/task/13334/stat : 13334 (java) R 13331 13331 3187 0 -1 4202560 11838 0 0 0 1245 5 0 0 20 0 15 0 3804300 14316269568 55594 18446744073709551615 4194304 4196468 140727575383408 140519104012768 140518737497970 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13335] ppid=13331 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/13333/task/13335/stat : 13335 (java) S 13331 13331 3187 0 -1 1077944384 168 0 0 0 2 1 0 0 20 0 15 0 3804301 14316269568 55594 18446744073709551615 4194304 4196468 140727575383408 140519056742928 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13336] ppid=13331 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/13333/task/13336/stat : 13336 (java) S 13331 13331 3187 0 -1 1077944384 302 0 0 0 1 1 0 0 20 0 15 0 3804301 14316269568 55594 18446744073709551615 4194304 4196468 140727575383408 140519055690384 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
################
# More data... #
################
[pid=13333/tid=13340] ppid=13331 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13340/stat : 13340 (java) S 13331 13331 3187 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 3804303 14318366720 88966 18446744073709551615 4194304 4196468 140727575383408 140518577129184 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13341] ppid=13331 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13341/stat : 13341 (java) S 13331 13331 3187 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 3804303 14318366720 88966 18446744073709551615 4194304 4196468 140727575383408 140518576076016 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13342] ppid=13331 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13342/stat : 13342 (java) S 13331 13331 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3804305 14318366720 88966 18446744073709551615 4194304 4196468 140727575383408 140518575024592 140519099795355 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13343] ppid=13331 vsize=13982780 CPUtime=2.76 cores=0,2,4,6
/proc/13333/task/13343/stat : 13343 (java) S 13331 13331 3187 0 -1 1077944384 12419 0 0 0 275 1 0 0 20 0 15 0 3804305 14318366720 88966 18446744073709551615 4194304 4196468 140727575383408 140518573971696 140519099787906 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13344] ppid=13331 vsize=13982780 CPUtime=2.71 cores=0,2,4,6
/proc/13333/task/13344/stat : 13344 (java) S 13331 13331 3187 0 -1 1077944384 16103 0 0 0 269 2 0 0 20 0 15 0 3804305 14318366720 88966 18446744073709551615 4194304 4196468 140727575383408 140518572919152 140519099787906 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13345] ppid=13331 vsize=13982780 CPUtime=0.85 cores=0,2,4,6
/proc/13333/task/13345/stat : 13345 (java) S 13331 13331 3187 0 -1 1077944384 9644 0 0 0 84 1 0 0 20 0 15 0 3804305 14318366720 88966 18446744073709551615 4194304 4196468 140727575383408 140518571866096 140519099787906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13346] ppid=13331 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13346/stat : 13346 (java) S 13331 13331 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3804305 14318366720 88966 18446744073709551615 4194304 4196468 140727575383408 140518570813792 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13347] ppid=13331 vsize=13982780 CPUtime=0.03 cores=0,2,4,6
/proc/13333/task/13347/stat : 13347 (java) S 13331 13331 3187 0 -1 1077944384 398 0 0 0 1 2 0 0 20 0 15 0 3804311 14318366720 88966 18446744073709551615 4194304 4196468 140727575383408 140518569761840 140519099787906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
Current children cumulated CPU time (s) 108.94
Current children cumulated vsize (KiB) 13992292
[startup+162.301 s]
/proc/loadavg: 2.01 1.81 1.78 3/215 13359
/proc/meminfo: memFree=31392876/32770624 swapFree=0/167840
[pid=13331] ppid=13328 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13331/stat : 13331 (xcsp3-exec) S 13328 13331 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3804291 9740288 345 18446744073709551615 4194304 5098028 140727324976240 140727324974344 140121439400572 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 31084544 140727324983708 140727324983912 140727324983912 140727324987371 0
/proc/13331/statm: 2378 345 289 221 0 87 0
[pid=13333] ppid=13331 vsize=13982780 CPUtime=169.36 cores=0,2,4,6
/proc/13333/stat : 13333 (java) S 13331 13331 3187 0 -1 1077944320 64886 0 0 0 16899 37 0 0 20 0 15 0 3804300 14318366720 89995 18446744073709551615 4194304 4196468 140727575383408 140727575365952 140519099776759 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
/proc/13333/statm: 3495695 89995 3227 1 0 3483996 0
[pid=13333/tid=13334] ppid=13331 vsize=13982780 CPUtime=161.96 cores=0,2,4,6
/proc/13333/task/13334/stat : 13334 (java) R 13331 13331 3187 0 -1 4202560 17065 0 0 0 16190 6 0 0 20 0 15 0 3804300 14318366720 89995 18446744073709551615 4194304 4196468 140727575383408 140519104013328 140518737498220 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13335] ppid=13331 vsize=13982780 CPUtime=0.16 cores=0,2,4,6
/proc/13333/task/13335/stat : 13335 (java) S 13331 13331 3187 0 -1 1077944384 530 0 0 0 10 6 0 0 20 0 15 0 3804301 14318366720 89995 18446744073709551615 4194304 4196468 140727575383408 140519056742928 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13336] ppid=13331 vsize=13982780 CPUtime=0.15 cores=0,2,4,6
/proc/13333/task/13336/stat : 13336 (java) S 13331 13331 3187 0 -1 1077944384 1321 0 0 0 9 6 0 0 20 0 15 0 3804301 14318366720 89995 18446744073709551615 4194304 4196468 140727575383408 140519055690384 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13337] ppid=13331 vsize=13982780 CPUtime=0.15 cores=0,2,4,6
/proc/13333/task/13337/stat : 13337 (java) S 13331 13331 3187 0 -1 1077944384 362 0 0 0 10 5 0 0 20 0 15 0 3804301 14318366720 89995 18446744073709551615 4194304 4196468 140727575383408 140519054637328 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13338] ppid=13331 vsize=13982780 CPUtime=0.16 cores=0,2,4,6
/proc/13333/task/13338/stat : 13338 (java) S 13331 13331 3187 0 -1 1077944384 527 0 0 0 10 6 0 0 20 0 15 0 3804301 14318366720 89995 18446744073709551615 4194304 4196468 140727575383408 140519053584784 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13339] ppid=13331 vsize=13982780 CPUtime=0.01 cores=0,2,4,6
/proc/13333/task/13339/stat : 13339 (java) S 13331 13331 3187 0 -1 1077944384 823 0 0 0 1 0 0 0 20 0 15 0 3804302 14318366720 89995 18446744073709551615 4194304 4196468 140727575383408 140518578182896 140519099787906 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13340] ppid=13331 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13340/stat : 13340 (java) S 13331 13331 3187 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 3804303 14318366720 89995 18446744073709551615 4194304 4196468 140727575383408 140518577129184 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13341] ppid=13331 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13341/stat : 13341 (java) S 13331 13331 3187 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 3804303 14318366720 89995 18446744073709551615 4194304 4196468 140727575383408 140518576076016 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13342] ppid=13331 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13342/stat : 13342 (java) S 13331 13331 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3804305 14318366720 89995 18446744073709551615 4194304 4196468 140727575383408 140518575024592 140519099795355 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13343] ppid=13331 vsize=13982780 CPUtime=2.9 cores=0,2,4,6
/proc/13333/task/13343/stat : 13343 (java) S 13331 13331 3187 0 -1 1077944384 13544 0 0 0 289 1 0 0 20 0 15 0 3804305 14318366720 89995 18446744073709551615 4194304 4196468 140727575383408 140518573971696 140519099787906 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13344] ppid=13331 vsize=13982780 CPUtime=2.87 cores=0,2,4,6
/proc/13333/task/13344/stat : 13344 (java) S 13331 13331 3187 0 -1 1077944384 19029 0 0 0 285 2 0 0 20 0 15 0 3804305 14318366720 89995 18446744073709551615 4194304 4196468 140727575383408 140518572919152 140519099787906 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13345] ppid=13331 vsize=13982780 CPUtime=0.86 cores=0,2,4,6
/proc/13333/task/13345/stat : 13345 (java) S 13331 13331 3187 0 -1 1077944384 9831 0 0 0 85 1 0 0 20 0 15 0 3804305 14318366720 89995 18446744073709551615 4194304 4196468 140727575383408 140518571866096 140519099787906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13346] ppid=13331 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13346/stat : 13346 (java) S 13331 13331 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3804305 14318366720 89995 18446744073709551615 4194304 4196468 140727575383408 140518570813792 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13347] ppid=13331 vsize=13982780 CPUtime=0.04 cores=0,2,4,6
/proc/13333/task/13347/stat : 13347 (java) S 13331 13331 3187 0 -1 1077944384 502 0 0 0 2 2 0 0 20 0 15 0 3804311 14318366720 89995 18446744073709551615 4194304 4196468 140727575383408 140518569761840 140519099787906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
Current children cumulated CPU time (s) 169.36
Current children cumulated vsize (KiB) 13992292
[startup+222.307 s]
/proc/loadavg: 1.98 1.82 1.78 4/216 13440
/proc/meminfo: memFree=31341004/32770624 swapFree=0/167920
[pid=13331] ppid=13328 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13331/stat : 13331 (xcsp3-exec) S 13328 13331 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3804291 9740288 345 18446744073709551615 4194304 5098028 140727324976240 140727324974344 140121439400572 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 31084544 140727324983708 140727324983912 140727324983912 140727324987371 0
/proc/13331/statm: 2378 345 289 221 0 87 0
[pid=13333] ppid=13331 vsize=13982780 CPUtime=230.02 cores=0,2,4,6
/proc/13333/stat : 13333 (java) S 13331 13331 3187 0 -1 1077944320 75708 0 0 0 22956 46 0 0 20 0 15 0 3804300 14318366720 109685 18446744073709551615 4194304 4196468 140727575383408 140727575365952 140519099776759 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
/proc/13333/statm: 3495695 109685 3228 1 0 3483996 0
[pid=13333/tid=13334] ppid=13331 vsize=13982780 CPUtime=221.92 cores=0,2,4,6
/proc/13333/task/13334/stat : 13334 (java) R 13331 13331 3187 0 -1 4202560 17899 0 0 0 22186 6 0 0 20 0 15 0 3804300 14318366720 109685 18446744073709551615 4194304 4196468 140727575383408 140519104013208 140518737498244 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13335] ppid=13331 vsize=13982780 CPUtime=0.2 cores=0,2,4,6
/proc/13333/task/13335/stat : 13335 (java) S 13331 13331 3187 0 -1 1077944384 613 0 0 0 13 7 0 0 20 0 15 0 3804301 14318366720 109685 18446744073709551615 4194304 4196468 140727575383408 140519056742928 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13336] ppid=13331 vsize=13982780 CPUtime=0.19 cores=0,2,4,6
/proc/13333/task/13336/stat : 13336 (java) S 13331 13331 3187 0 -1 1077944384 2115 0 0 0 11 8 0 0 20 0 15 0 3804301 14318366720 109685 18446744073709551615 4194304 4196468 140727575383408 140519055690384 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13337] ppid=13331 vsize=13982780 CPUtime=0.19 cores=0,2,4,6
/proc/13333/task/13337/stat : 13337 (java) S 13331 13331 3187 0 -1 1077944384 545 0 0 0 12 7 0 0 20 0 15 0 3804301 14318366720 109685 18446744073709551615 4194304 4196468 140727575383408 140519054637328 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13338] ppid=13331 vsize=13982780 CPUtime=0.21 cores=0,2,4,6
/proc/13333/task/13338/stat : 13338 (java) S 13331 13331 3187 0 -1 1077944384 785 0 0 0 13 8 0 0 20 0 15 0 3804301 14318366720 109685 18446744073709551615 4194304 4196468 140727575383408 140519053584784 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13339] ppid=13331 vsize=13982780 CPUtime=0.02 cores=0,2,4,6
/proc/13333/task/13339/stat : 13339 (java) S 13331 13331 3187 0 -1 1077944384 981 0 0 0 2 0 0 0 20 0 15 0 3804302 14318366720 109685 18446744073709551615 4194304 4196468 140727575383408 140518578182896 140519099787906 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13340] ppid=13331 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13340/stat : 13340 (java) S 13331 13331 3187 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 3804303 14318366720 109685 18446744073709551615 4194304 4196468 140727575383408 140518577129184 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13341] ppid=13331 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13341/stat : 13341 (java) S 13331 13331 3187 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 3804303 14318366720 109685 18446744073709551615 4194304 4196468 140727575383408 140518576076016 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13342] ppid=13331 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13342/stat : 13342 (java) S 13331 13331 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3804305 14318366720 109685 18446744073709551615 4194304 4196468 140727575383408 140518575024592 140519099795355 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13343] ppid=13331 vsize=13982780 CPUtime=3.32 cores=0,2,4,6
/proc/13333/task/13343/stat : 13343 (java) R 13331 13331 3187 0 -1 4202560 20108 0 0 0 330 2 0 0 20 0 15 0 3804305 14318366720 109685 18446744073709551615 4194304 4196468 140727575383408 140518573971696 140519081294641 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13344] ppid=13331 vsize=13982780 CPUtime=2.95 cores=0,2,4,6
/proc/13333/task/13344/stat : 13344 (java) S 13331 13331 3187 0 -1 1077944384 20195 0 0 0 293 2 0 0 20 0 15 0 3804305 14318366720 109685 18446744073709551615 4194304 4196468 140727575383408 140518572919152 140519099787906 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13345] ppid=13331 vsize=13982780 CPUtime=0.87 cores=0,2,4,6
/proc/13333/task/13345/stat : 13345 (java) S 13331 13331 3187 0 -1 1077944384 10583 0 0 0 86 1 0 0 20 0 15 0 3804305 14318366720 109685 18446744073709551615 4194304 4196468 140727575383408 140518571866096 140519099787906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13346] ppid=13331 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13346/stat : 13346 (java) S 13331 13331 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3804305 14318366720 109685 18446744073709551615 4194304 4196468 140727575383408 140518570813792 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13347] ppid=13331 vsize=13982780 CPUtime=0.06 cores=0,2,4,6
/proc/13333/task/13347/stat : 13347 (java) S 13331 13331 3187 0 -1 1077944384 532 0 0 0 3 3 0 0 20 0 15 0 3804311 14318366720 109685 18446744073709551615 4194304 4196468 140727575383408 140518569761840 140519099787906 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
Current children cumulated CPU time (s) 230.02
Current children cumulated vsize (KiB) 13992292
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.99 1.83 1.79 3/216 13440
/proc/meminfo: memFree=31165876/32770624 swapFree=0/167932
[pid=13331] ppid=13328 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13331/stat : 13331 (xcsp3-exec) S 13328 13331 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3804291 9740288 345 18446744073709551615 4194304 5098028 140727324976240 140727324974344 140121439400572 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 31084544 140727324983708 140727324983912 140727324983912 140727324987371 0
/proc/13331/statm: 2378 345 289 221 0 87 0
[pid=13333] ppid=13331 vsize=13982780 CPUtime=247.97 cores=0,2,4,6
/proc/13333/stat : 13333 (java) S 13331 13331 3187 0 -1 1077944320 77853 0 0 0 24751 46 0 0 20 0 15 0 3804300 14318366720 108319 18446744073709551615 4194304 4196468 140727575383408 140727575365952 140519099776759 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
/proc/13333/statm: 3495695 108319 3228 1 0 3483996 0
[pid=13333/tid=13334] ppid=13331 vsize=13982780 CPUtime=239.61 cores=0,2,4,6
/proc/13333/task/13334/stat : 13334 (java) R 13331 13331 3187 0 -1 4202560 18039 0 0 0 23955 6 0 0 20 0 15 0 3804300 14318366720 108319 18446744073709551615 4194304 4196468 140727575383408 140519104013096 140518737498203 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13335] ppid=13331 vsize=13982780 CPUtime=0.2 cores=0,2,4,6
/proc/13333/task/13335/stat : 13335 (java) S 13331 13331 3187 0 -1 1077944384 613 0 0 0 13 7 0 0 20 0 15 0 3804301 14318366720 108319 18446744073709551615 4194304 4196468 140727575383408 140519056742928 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13336] ppid=13331 vsize=13982780 CPUtime=0.19 cores=0,2,4,6
/proc/13333/task/13336/stat : 13336 (java) S 13331 13331 3187 0 -1 1077944384 2115 0 0 0 11 8 0 0 20 0 15 0 3804301 14318366720 108319 18446744073709551615 4194304 4196468 140727575383408 140519055690384 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13337] ppid=13331 vsize=13982780 CPUtime=0.19 cores=0,2,4,6
/proc/13333/task/13337/stat : 13337 (java) S 13331 13331 3187 0 -1 1077944384 545 0 0 0 12 7 0 0 20 0 15 0 3804301 14318366720 108319 18446744073709551615 4194304 4196468 140727575383408 140519054637328 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13338] ppid=13331 vsize=13982780 CPUtime=0.21 cores=0,2,4,6
/proc/13333/task/13338/stat : 13338 (java) S 13331 13331 3187 0 -1 1077944384 785 0 0 0 13 8 0 0 20 0 15 0 3804301 14318366720 108319 18446744073709551615 4194304 4196468 140727575383408 140519053584784 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13339] ppid=13331 vsize=13982780 CPUtime=0.02 cores=0,2,4,6
/proc/13333/task/13339/stat : 13339 (java) S 13331 13331 3187 0 -1 1077944384 1013 0 0 0 2 0 0 0 20 0 15 0 3804302 14318366720 108319 18446744073709551615 4194304 4196468 140727575383408 140518578182896 140519099787906 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13340] ppid=13331 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13340/stat : 13340 (java) S 13331 13331 3187 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 3804303 14318366720 108319 18446744073709551615 4194304 4196468 140727575383408 140518577129184 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13341] ppid=13331 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13341/stat : 13341 (java) S 13331 13331 3187 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 3804303 14318366720 108319 18446744073709551615 4194304 4196468 140727575383408 140518576076016 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13342] ppid=13331 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13342/stat : 13342 (java) S 13331 13331 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3804305 14318366720 108319 18446744073709551615 4194304 4196468 140727575383408 140518575024592 140519099795355 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13343] ppid=13331 vsize=13982780 CPUtime=3.48 cores=0,2,4,6
/proc/13333/task/13343/stat : 13343 (java) S 13331 13331 3187 0 -1 1077944384 21464 0 0 0 346 2 0 0 20 0 15 0 3804305 14318366720 108319 18446744073709551615 4194304 4196468 140727575383408 140518573971696 140519099787906 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13344] ppid=13331 vsize=13982780 CPUtime=3.05 cores=0,2,4,6
/proc/13333/task/13344/stat : 13344 (java) S 13331 13331 3187 0 -1 1077944384 20715 0 0 0 303 2 0 0 20 0 15 0 3804305 14318366720 108319 18446744073709551615 4194304 4196468 140727575383408 140518572919152 140519099787906 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13345] ppid=13331 vsize=13982780 CPUtime=0.87 cores=0,2,4,6
/proc/13333/task/13345/stat : 13345 (java) S 13331 13331 3187 0 -1 1077944384 10679 0 0 0 86 1 0 0 20 0 15 0 3804305 14318366720 108319 18446744073709551615 4194304 4196468 140727575383408 140518571866096 140519099787906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13346] ppid=13331 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/13333/task/13346/stat : 13346 (java) S 13331 13331 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3804305 14318366720 108319 18446744073709551615 4194304 4196468 140727575383408 140518570813792 140519099786965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
[pid=13333/tid=13347] ppid=13331 vsize=13982780 CPUtime=0.07 cores=0,2,4,6
/proc/13333/task/13347/stat : 13347 (java) S 13331 13331 3187 0 -1 1077944384 533 0 0 0 3 4 0 0 20 0 15 0 3804311 14318366720 108319 18446744073709551615 4194304 4196468 140727575383408 140518569761840 140519099787906 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35901440 140727575384533 140727575384708 140727575384708 140727575388111 0
Current children cumulated CPU time (s) 247.97
Current children cumulated vsize (KiB) 13992292
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 13333 sig 9
??? kill 13331 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 13331 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=952
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=952
# CPU time returned by wait4() is 0.001904
# while last known CPU time is 247.97
#
# 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): 247.97
CPU user time (s): 247.51
CPU system time (s): 0.46
CPU usage (%): 103.316
Max. virtual memory (cumulated for all children) (KiB): 13992292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000952
system time used= 0.000952
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.14611 second user time and 1.35803 second system time
The end