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-4254293-1501980519/watcher-4254293-1501980519 -o /tmp/evaluation-result-4254293-1501980519/solver-4254293-1501980519 -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 1545514600 HOME/instance-4254293-1501980519.xml
pid=13723
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.68 1.84 1.88 3/199 13726
/proc/meminfo: memFree=31414504/32770624 swapFree=0/316508
[pid=13726] ppid=13723 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/13726/stat : 13726 (runsolver) D 13723 13726 12039 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 97705115 24240128 108 18446744073709551615 4194304 4338465 140735918919408 140735918917048 140531870851799 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 14266368 140735918927970 140735918928460 140735918928460 140735918931914 0
/proc/13726/statm: 5918 108 54 36 0 2156 0
[startup+0.100095 s]
/proc/loadavg: 1.68 1.84 1.88 3/199 13726
/proc/meminfo: memFree=31414504/32770624 swapFree=0/316508
[pid=13726] ppid=13723 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13726/stat : 13726 (xcsp3-exec) S 13723 13726 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97705115 9740288 345 18446744073709551615 4194304 5098028 140732754130928 140732754129032 140108489958012 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 19836928 140732754133409 140732754133613 140732754133613 140732754137067 0
/proc/13726/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200295 s]
/proc/loadavg: 1.68 1.84 1.88 3/199 13726
/proc/meminfo: memFree=31414504/32770624 swapFree=0/316508
[pid=13726] ppid=13723 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13726/stat : 13726 (xcsp3-exec) S 13723 13726 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97705115 9740288 345 18446744073709551615 4194304 5098028 140732754130928 140732754129032 140108489958012 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 19836928 140732754133409 140732754133613 140732754133613 140732754137067 0
/proc/13726/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300333 s]
/proc/loadavg: 1.68 1.84 1.88 3/199 13726
/proc/meminfo: memFree=31414504/32770624 swapFree=0/316508
[pid=13726] ppid=13723 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13726/stat : 13726 (xcsp3-exec) S 13723 13726 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97705115 9740288 345 18446744073709551615 4194304 5098028 140732754130928 140732754129032 140108489958012 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 19836928 140732754133409 140732754133613 140732754133613 140732754137067 0
/proc/13726/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700854 s]
/proc/loadavg: 1.68 1.84 1.88 3/199 13726
/proc/meminfo: memFree=31414504/32770624 swapFree=0/316508
[pid=13726] ppid=13723 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13726/stat : 13726 (xcsp3-exec) S 13723 13726 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97705115 9740288 345 18446744073709551615 4194304 5098028 140732754130928 140732754129032 140108489958012 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 19836928 140732754133409 140732754133613 140732754133613 140732754137067 0
/proc/13726/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50074 s]
/proc/loadavg: 1.68 1.84 1.88 5/215 13742
/proc/meminfo: memFree=31338456/32770624 swapFree=0/316552
[pid=13726] ppid=13723 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13726/stat : 13726 (xcsp3-exec) S 13723 13726 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97705115 9740288 345 18446744073709551615 4194304 5098028 140732754130928 140732754129032 140108489958012 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 19836928 140732754133409 140732754133613 140732754133613 140732754137067 0
/proc/13726/statm: 2378 345 289 221 0 87 0
[pid=13728] ppid=13726 vsize=13983332 CPUtime=3.55 cores=1,3,5,7
/proc/13728/stat : 13728 (java) S 13726 13726 12039 0 -1 1077944320 35828 0 0 0 346 9 0 0 20 0 15 0 97705125 14318931968 32164 18446744073709551615 4194304 4196468 140732915272496 140732915255040 139732957597431 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
/proc/13728/statm: 3495833 32164 3191 1 0 3484126 0
[pid=13728/tid=13729] ppid=13726 vsize=13983332 CPUtime=1.33 cores=1,3,5,7
/proc/13728/task/13729/stat : 13729 (java) R 13726 13726 12039 0 -1 4202560 9010 0 0 0 129 4 0 0 20 0 15 0 97705125 14318931968 32164 18446744073709551615 4194304 4196468 140732915272496 139732961828312 139732553935988 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13730] ppid=13726 vsize=13983332 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13730/stat : 13730 (java) S 13726 13726 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97705126 14318931968 32164 18446744073709551615 4194304 4196468 140732915272496 139732877012112 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13731] ppid=13726 vsize=13983332 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13731/stat : 13731 (java) S 13726 13726 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97705126 14318931968 32164 18446744073709551615 4194304 4196468 140732915272496 139732875959312 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13732] ppid=13726 vsize=13983332 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13732/stat : 13732 (java) S 13726 13726 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97705126 14318931968 32164 18446744073709551615 4194304 4196468 140732915272496 139732874906512 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13733] ppid=13726 vsize=13983332 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13733/stat : 13733 (java) S 13726 13726 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97705126 14318931968 32164 18446744073709551615 4194304 4196468 140732915272496 139732873853712 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13734] ppid=13726 vsize=13983332 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13734/stat : 13734 (java) S 13726 13726 12039 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97705127 14318931968 32164 18446744073709551615 4194304 4196468 140732915272496 139732435052912 139732957608578 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13735] ppid=13726 vsize=13983332 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13735/stat : 13735 (java) S 13726 13726 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97705127 14318931968 32164 18446744073709551615 4194304 4196468 140732915272496 139732433998880 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13736] ppid=13726 vsize=13983332 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13736/stat : 13736 (java) S 13726 13726 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97705128 14318931968 32164 18446744073709551615 4194304 4196468 140732915272496 139732432946032 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13737] ppid=13726 vsize=13983332 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13737/stat : 13737 (java) S 13726 13726 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97705130 14318931968 32164 18446744073709551615 4194304 4196468 140732915272496 139732431894352 139732957616027 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13738] ppid=13726 vsize=13983332 CPUtime=0.89 cores=1,3,5,7
/proc/13728/task/13738/stat : 13738 (java) R 13726 13726 12039 0 -1 4202560 11547 0 0 0 88 1 0 0 20 0 15 0 97705130 14318931968 32164 18446744073709551615 4194304 4196468 140732915272496 139732430828200 139732942519397 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13739] ppid=13726 vsize=13983332 CPUtime=0.9 cores=1,3,5,7
/proc/13728/task/13739/stat : 13739 (java) R 13726 13726 12039 0 -1 4202560 11653 0 0 0 89 1 0 0 20 0 15 0 97705130 14318931968 32164 18446744073709551615 4194304 4196468 140732915272496 139732429775400 139732936013669 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13740] ppid=13726 vsize=13983332 CPUtime=0.38 cores=1,3,5,7
/proc/13728/task/13740/stat : 13740 (java) S 13726 13726 12039 0 -1 1077944384 2309 0 0 0 38 0 0 0 20 0 15 0 97705130 14318931968 32164 18446744073709551615 4194304 4196468 140732915272496 139732428737136 139732957608578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13741] ppid=13726 vsize=13983332 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13741/stat : 13741 (java) S 13726 13726 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97705130 14318931968 32164 18446744073709551615 4194304 4196468 140732915272496 139732427684576 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13742] ppid=13726 vsize=13983332 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13742/stat : 13742 (java) S 13726 13726 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97705135 14318931968 32164 18446744073709551615 4194304 4196468 140732915272496 139732426631856 139732957608578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 13992844
[startup+3.10074 s]
/proc/loadavg: 1.68 1.84 1.88 5/215 13742
/proc/meminfo: memFree=31288104/32770624 swapFree=0/316552
[pid=13726] ppid=13723 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13726/stat : 13726 (xcsp3-exec) S 13723 13726 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97705115 9740288 345 18446744073709551615 4194304 5098028 140732754130928 140732754129032 140108489958012 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 19836928 140732754133409 140732754133613 140732754133613 140732754137067 0
/proc/13726/statm: 2378 345 289 221 0 87 0
[pid=13728] ppid=13726 vsize=13980732 CPUtime=8.37 cores=1,3,5,7
/proc/13728/stat : 13728 (java) S 13726 13726 12039 0 -1 1077944320 40631 0 0 0 827 10 0 0 20 0 15 0 97705125 14316269568 37307 18446744073709551615 4194304 4196468 140732915272496 140732915255040 139732957597431 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
/proc/13728/statm: 3495183 37307 3198 1 0 3483476 0
[pid=13728/tid=13729] ppid=13726 vsize=13980732 CPUtime=2.93 cores=1,3,5,7
/proc/13728/task/13729/stat : 13729 (java) R 13726 13726 12039 0 -1 4202560 9474 0 0 0 289 4 0 0 20 0 15 0 97705125 14316269568 37307 18446744073709551615 4194304 4196468 140732915272496 139732961835520 139732554807292 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13730] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13730/stat : 13730 (java) S 13726 13726 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97705126 14316269568 37307 18446744073709551615 4194304 4196468 140732915272496 139732877012112 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13731] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13731/stat : 13731 (java) S 13726 13726 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97705126 14316269568 37307 18446744073709551615 4194304 4196468 140732915272496 139732875959312 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13732] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13732/stat : 13732 (java) S 13726 13726 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97705126 14316269568 37307 18446744073709551615 4194304 4196468 140732915272496 139732874906512 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13733] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13733/stat : 13733 (java) S 13726 13726 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97705126 14316269568 37307 18446744073709551615 4194304 4196468 140732915272496 139732873853712 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13734] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13734/stat : 13734 (java) S 13726 13726 12039 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 97705127 14316269568 37307 18446744073709551615 4194304 4196468 140732915272496 139732435052912 139732957608578 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13735] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13735/stat : 13735 (java) S 13726 13726 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97705127 14316269568 37307 18446744073709551615 4194304 4196468 140732915272496 139732433998880 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13736] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13736/stat : 13736 (java) S 13726 13726 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97705128 14316269568 37307 18446744073709551615 4194304 4196468 140732915272496 139732432946032 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13737] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13737/stat : 13737 (java) S 13726 13726 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97705130 14316269568 37307 18446744073709551615 4194304 4196468 140732915272496 139732431894352 139732957616027 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13738] ppid=13726 vsize=13980732 CPUtime=2.49 cores=1,3,5,7
/proc/13728/task/13738/stat : 13738 (java) R 13726 13726 12039 0 -1 4202560 13559 0 0 0 247 2 0 0 20 0 15 0 97705130 14316269568 37307 18446744073709551615 4194304 4196468 140732915272496 139732430835224 139732937252353 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13739] ppid=13726 vsize=13980732 CPUtime=2.51 cores=1,3,5,7
/proc/13728/task/13739/stat : 13739 (java) R 13726 13726 12039 0 -1 4202560 13884 0 0 0 249 2 0 0 20 0 15 0 97705130 14316269568 37307 18446744073709551615 4194304 4196468 140732915272496 139732429781584 139732936841327 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13740] ppid=13726 vsize=13980732 CPUtime=0.4 cores=1,3,5,7
/proc/13728/task/13740/stat : 13740 (java) S 13726 13726 12039 0 -1 1077944384 2355 0 0 0 40 0 0 0 20 0 15 0 97705130 14316269568 37307 18446744073709551615 4194304 4196468 140732915272496 139732428737136 139732957608578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13741] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13741/stat : 13741 (java) S 13726 13726 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97705130 14316269568 37307 18446744073709551615 4194304 4196468 140732915272496 139732427684576 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13742] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13742/stat : 13742 (java) S 13726 13726 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97705135 14316269568 37307 18446744073709551615 4194304 4196468 140732915272496 139732426631856 139732957608578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
Current children cumulated CPU time (s) 8.37
Current children cumulated vsize (KiB) 13990244
[startup+6.30066 s]
/proc/loadavg: 1.71 1.84 1.88 5/215 13742
/proc/meminfo: memFree=31231768/32770624 swapFree=0/316564
[pid=13726] ppid=13723 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13726/stat : 13726 (xcsp3-exec) S 13723 13726 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97705115 9740288 345 18446744073709551615 4194304 5098028 140732754130928 140732754129032 140108489958012 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 19836928 140732754133409 140732754133613 140732754133613 140732754137067 0
/proc/13726/statm: 2378 345 289 221 0 87 0
[pid=13728] ppid=13726 vsize=13980732 CPUtime=14.32 cores=1,3,5,7
/proc/13728/stat : 13728 (java) S 13726 13726 12039 0 -1 1077944320 55622 0 0 0 1420 12 0 0 20 0 15 0 97705125 14316269568 51251 18446744073709551615 4194304 4196468 140732915272496 140732915255040 139732957597431 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
/proc/13728/statm: 3495183 51251 3214 1 0 3483476 0
[pid=13728/tid=13729] ppid=13726 vsize=13980732 CPUtime=6.13 cores=1,3,5,7
/proc/13728/task/13729/stat : 13729 (java) R 13726 13726 12039 0 -1 4202560 10947 0 0 0 608 5 0 0 20 0 15 0 97705125 14316269568 51251 18446744073709551615 4194304 4196468 140732915272496 139732961833552 139732557816512 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13730] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13730/stat : 13730 (java) S 13726 13726 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97705126 14316269568 51251 18446744073709551615 4194304 4196468 140732915272496 139732877012112 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13731] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13731/stat : 13731 (java) S 13726 13726 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97705126 14316269568 51251 18446744073709551615 4194304 4196468 140732915272496 139732875959312 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13732] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13732/stat : 13732 (java) S 13726 13726 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97705126 14316269568 51251 18446744073709551615 4194304 4196468 140732915272496 139732874906512 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13733] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13733/stat : 13733 (java) S 13726 13726 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97705126 14316269568 51251 18446744073709551615 4194304 4196468 140732915272496 139732873853712 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13734] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13734/stat : 13734 (java) S 13726 13726 12039 0 -1 1077944384 327 0 0 0 0 0 0 0 20 0 15 0 97705127 14316269568 51251 18446744073709551615 4194304 4196468 140732915272496 139732435052912 139732957608578 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13735] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13735/stat : 13735 (java) S 13726 13726 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97705127 14316269568 51251 18446744073709551615 4194304 4196468 140732915272496 139732433998880 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13736] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13736/stat : 13736 (java) S 13726 13726 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97705128 14316269568 51251 18446744073709551615 4194304 4196468 140732915272496 139732432946032 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13737] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13737/stat : 13737 (java) S 13726 13726 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97705130 14316269568 51251 18446744073709551615 4194304 4196468 140732915272496 139732431894352 139732957616027 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13738] ppid=13726 vsize=13980732 CPUtime=3.77 cores=1,3,5,7
/proc/13728/task/13738/stat : 13738 (java) S 13726 13726 12039 0 -1 1077944384 19238 0 0 0 375 2 0 0 20 0 15 0 97705130 14316269568 51251 18446744073709551615 4194304 4196468 140732915272496 139732430842736 139732957608578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13739] ppid=13726 vsize=13980732 CPUtime=3.87 cores=1,3,5,7
/proc/13728/task/13739/stat : 13739 (java) S 13726 13726 12039 0 -1 1077944384 19718 0 0 0 385 2 0 0 20 0 15 0 97705130 14316269568 51251 18446744073709551615 4194304 4196468 140732915272496 139732429789936 139732957608578 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13740] ppid=13726 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/13728/task/13740/stat : 13740 (java) S 13726 13726 12039 0 -1 1077944384 3114 0 0 0 51 1 0 0 20 0 15 0 97705130 14316269568 51251 18446744073709551615 4194304 4196468 140732915272496 139732428737136 139732957608578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13741] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13741/stat : 13741 (java) S 13726 13726 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97705130 14316269568 51251 18446744073709551615 4194304 4196468 140732915272496 139732427684576 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13742] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13742/stat : 13742 (java) S 13726 13726 12039 0 -1 1077944384 977 0 0 0 0 0 0 0 20 0 15 0 97705135 14316269568 51251 18446744073709551615 4194304 4196468 140732915272496 139732426631856 139732957608578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
Current children cumulated CPU time (s) 14.32
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.73 1.85 1.88 3/214 13742
/proc/meminfo: memFree=31190136/32770624 swapFree=0/316568
[pid=13726] ppid=13723 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13726/stat : 13726 (xcsp3-exec) S 13723 13726 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97705115 9740288 345 18446744073709551615 4194304 5098028 140732754130928 140732754129032 140108489958012 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 19836928 140732754133409 140732754133613 140732754133613 140732754137067 0
/proc/13726/statm: 2378 345 289 221 0 87 0
[pid=13728] ppid=13726 vsize=13980732 CPUtime=20.92 cores=1,3,5,7
/proc/13728/stat : 13728 (java) S 13726 13726 12039 0 -1 1077944320 59531 0 0 0 2079 13 0 0 20 0 15 0 97705125 14316269568 58621 18446744073709551615 4194304 4196468 140732915272496 140732915255040 139732957597431 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
/proc/13728/statm: 3495183 58621 3235 1 0 3483476 0
[pid=13728/tid=13729] ppid=13726 vsize=13980732 CPUtime=12.53 cores=1,3,5,7
/proc/13728/task/13729/stat : 13729 (java) R 13726 13726 12039 0 -1 4202560 11446 0 0 0 1247 6 0 0 20 0 15 0 97705125 14316269568 58621 18446744073709551615 4194304 4196468 140732915272496 139732961834112 139732554407274 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13730] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13730/stat : 13730 (java) S 13726 13726 12039 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 97705126 14316269568 58621 18446744073709551615 4194304 4196468 140732915272496 139732877012112 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13731] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13731/stat : 13731 (java) S 13726 13726 12039 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 97705126 14316269568 58621 18446744073709551615 4194304 4196468 140732915272496 139732875959312 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
################
# More data... #
################
[pid=13728/tid=13735] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13735/stat : 13735 (java) S 13726 13726 12039 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 97705127 14316269568 54818 18446744073709551615 4194304 4196468 140732915272496 139732433998880 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13736] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13736/stat : 13736 (java) S 13726 13726 12039 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 97705128 14316269568 54818 18446744073709551615 4194304 4196468 140732915272496 139732432946032 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13737] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13737/stat : 13737 (java) S 13726 13726 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97705130 14316269568 54818 18446744073709551615 4194304 4196468 140732915272496 139732431894352 139732957616027 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13738] ppid=13726 vsize=13980732 CPUtime=4.19 cores=1,3,5,7
/proc/13728/task/13738/stat : 13738 (java) S 13726 13726 12039 0 -1 1077944384 22744 0 0 0 416 3 0 0 20 0 15 0 97705130 14316269568 54818 18446744073709551615 4194304 4196468 140732915272496 139732430842736 139732957608578 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13739] ppid=13726 vsize=13980732 CPUtime=4.39 cores=1,3,5,7
/proc/13728/task/13739/stat : 13739 (java) S 13726 13726 12039 0 -1 1077944384 25264 0 0 0 436 3 0 0 20 0 15 0 97705130 14316269568 54818 18446744073709551615 4194304 4196468 140732915272496 139732429789936 139732957608578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13740] ppid=13726 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/13728/task/13740/stat : 13740 (java) S 13726 13726 12039 0 -1 1077944384 7378 0 0 0 58 1 0 0 20 0 15 0 97705130 14316269568 54818 18446744073709551615 4194304 4196468 140732915272496 139732428737136 139732957608578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13741] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13741/stat : 13741 (java) S 13726 13726 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97705130 14316269568 54818 18446744073709551615 4194304 4196468 140732915272496 139732427684576 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13742] ppid=13726 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/13728/task/13742/stat : 13742 (java) S 13726 13726 12039 0 -1 1077944384 1804 0 0 0 0 1 0 0 20 0 15 0 97705135 14316269568 54818 18446744073709551615 4194304 4196468 140732915272496 139732426631856 139732957608578 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
Current children cumulated CPU time (s) 111.44
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.70 1.80 1.86 3/214 13747
/proc/meminfo: memFree=31237296/32770624 swapFree=0/316660
[pid=13726] ppid=13723 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13726/stat : 13726 (xcsp3-exec) S 13723 13726 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97705115 9740288 345 18446744073709551615 4194304 5098028 140732754130928 140732754129032 140108489958012 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 19836928 140732754133409 140732754133613 140732754133613 140732754137067 0
/proc/13726/statm: 2378 345 289 221 0 87 0
[pid=13728] ppid=13726 vsize=13980732 CPUtime=171.58 cores=1,3,5,7
/proc/13728/stat : 13728 (java) S 13726 13726 12039 0 -1 1077944320 82953 0 0 0 17139 19 0 0 20 0 15 0 97705125 14316269568 49448 18446744073709551615 4194304 4196468 140732915272496 140732915255040 139732957597431 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
/proc/13728/statm: 3495183 49448 3242 1 0 3483476 0
[pid=13728/tid=13729] ppid=13726 vsize=13980732 CPUtime=162.04 cores=1,3,5,7
/proc/13728/task/13729/stat : 13729 (java) R 13726 13726 12039 0 -1 4202560 15261 0 0 0 16197 7 0 0 20 0 15 0 97705125 14316269568 49448 18446744073709551615 4194304 4196468 140732915272496 139732961836224 139732554012649 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13730] ppid=13726 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13728/task/13730/stat : 13730 (java) S 13726 13726 12039 0 -1 1077944384 757 0 0 0 3 0 0 0 20 0 15 0 97705126 14316269568 49448 18446744073709551615 4194304 4196468 140732915272496 139732877012112 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13731] ppid=13726 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13728/task/13731/stat : 13731 (java) S 13726 13726 12039 0 -1 1077944384 661 0 0 0 3 0 0 0 20 0 15 0 97705126 14316269568 49448 18446744073709551615 4194304 4196468 140732915272496 139732875959312 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13732] ppid=13726 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13728/task/13732/stat : 13732 (java) S 13726 13726 12039 0 -1 1077944384 910 0 0 0 3 0 0 0 20 0 15 0 97705126 14316269568 49448 18446744073709551615 4194304 4196468 140732915272496 139732874906512 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13733] ppid=13726 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13728/task/13733/stat : 13733 (java) S 13726 13726 12039 0 -1 1077944384 1518 0 0 0 3 0 0 0 20 0 15 0 97705126 14316269568 49448 18446744073709551615 4194304 4196468 140732915272496 139732873853712 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13734] ppid=13726 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13728/task/13734/stat : 13734 (java) S 13726 13726 12039 0 -1 1077944384 1555 0 0 0 3 0 0 0 20 0 15 0 97705127 14316269568 49448 18446744073709551615 4194304 4196468 140732915272496 139732435052912 139732957608578 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13735] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13735/stat : 13735 (java) S 13726 13726 12039 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 97705127 14316269568 49448 18446744073709551615 4194304 4196468 140732915272496 139732433998880 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13736] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13736/stat : 13736 (java) S 13726 13726 12039 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 97705128 14316269568 49448 18446744073709551615 4194304 4196468 140732915272496 139732432946032 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13737] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13737/stat : 13737 (java) S 13726 13726 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97705130 14316269568 49448 18446744073709551615 4194304 4196468 140732915272496 139732431894352 139732957616027 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13738] ppid=13726 vsize=13980732 CPUtime=4.24 cores=1,3,5,7
/proc/13728/task/13738/stat : 13738 (java) S 13726 13726 12039 0 -1 1077944384 24481 0 0 0 421 3 0 0 20 0 15 0 97705130 14316269568 49448 18446744073709551615 4194304 4196468 140732915272496 139732430842736 139732957608578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13739] ppid=13726 vsize=13980732 CPUtime=4.43 cores=1,3,5,7
/proc/13728/task/13739/stat : 13739 (java) S 13726 13726 12039 0 -1 1077944384 26637 0 0 0 440 3 0 0 20 0 15 0 97705130 14316269568 49448 18446744073709551615 4194304 4196468 140732915272496 139732429789936 139732957608578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13740] ppid=13726 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/13728/task/13740/stat : 13740 (java) S 13726 13726 12039 0 -1 1077944384 7987 0 0 0 58 1 0 0 20 0 15 0 97705130 14316269568 49448 18446744073709551615 4194304 4196468 140732915272496 139732428737136 139732957608578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13741] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13741/stat : 13741 (java) S 13726 13726 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97705130 14316269568 49448 18446744073709551615 4194304 4196468 140732915272496 139732427684576 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13742] ppid=13726 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13728/task/13742/stat : 13742 (java) S 13726 13726 12039 0 -1 1077944384 1837 0 0 0 1 2 0 0 20 0 15 0 97705135 14316269568 49448 18446744073709551615 4194304 4196468 140732915272496 139732426631856 139732957608578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
Current children cumulated CPU time (s) 171.58
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.68 1.77 1.85 3/215 14131
/proc/meminfo: memFree=31331644/32770624 swapFree=0/316852
[pid=13726] ppid=13723 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13726/stat : 13726 (xcsp3-exec) S 13723 13726 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97705115 9740288 345 18446744073709551615 4194304 5098028 140732754130928 140732754129032 140108489958012 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 19836928 140732754133409 140732754133613 140732754133613 140732754137067 0
/proc/13726/statm: 2378 345 289 221 0 87 0
[pid=13728] ppid=13726 vsize=13980732 CPUtime=231.66 cores=1,3,5,7
/proc/13728/stat : 13728 (java) S 13726 13726 12039 0 -1 1077944320 85817 0 0 0 23145 21 0 0 20 0 15 0 97705125 14316269568 49069 18446744073709551615 4194304 4196468 140732915272496 140732915255040 139732957597431 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
/proc/13728/statm: 3495183 49069 3242 1 0 3483476 0
[pid=13728/tid=13729] ppid=13726 vsize=13980732 CPUtime=221.99 cores=1,3,5,7
/proc/13728/task/13729/stat : 13729 (java) R 13726 13726 12039 0 -1 4202560 15982 0 0 0 22192 7 0 0 20 0 15 0 97705125 14316269568 49069 18446744073709551615 4194304 4196468 140732915272496 139732961836848 139732553591424 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13730] ppid=13726 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/13728/task/13730/stat : 13730 (java) S 13726 13726 12039 0 -1 1077944384 800 0 0 0 5 0 0 0 20 0 15 0 97705126 14316269568 49069 18446744073709551615 4194304 4196468 140732915272496 139732877012112 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13731] ppid=13726 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/13728/task/13731/stat : 13731 (java) S 13726 13726 12039 0 -1 1077944384 701 0 0 0 4 1 0 0 20 0 15 0 97705126 14316269568 49069 18446744073709551615 4194304 4196468 140732915272496 139732875959312 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13732] ppid=13726 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/13728/task/13732/stat : 13732 (java) S 13726 13726 12039 0 -1 1077944384 952 0 0 0 5 0 0 0 20 0 15 0 97705126 14316269568 49069 18446744073709551615 4194304 4196468 140732915272496 139732874906512 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13733] ppid=13726 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/13728/task/13733/stat : 13733 (java) S 13726 13726 12039 0 -1 1077944384 1915 0 0 0 5 0 0 0 20 0 15 0 97705126 14316269568 49069 18446744073709551615 4194304 4196468 140732915272496 139732873853712 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13734] ppid=13726 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/13728/task/13734/stat : 13734 (java) S 13726 13726 12039 0 -1 1077944384 1813 0 0 0 5 0 0 0 20 0 15 0 97705127 14316269568 49069 18446744073709551615 4194304 4196468 140732915272496 139732435052912 139732957608578 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13735] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13735/stat : 13735 (java) S 13726 13726 12039 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 97705127 14316269568 49069 18446744073709551615 4194304 4196468 140732915272496 139732433998880 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13736] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13736/stat : 13736 (java) S 13726 13726 12039 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 97705128 14316269568 49069 18446744073709551615 4194304 4196468 140732915272496 139732432946032 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13737] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13737/stat : 13737 (java) S 13726 13726 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97705130 14316269568 49069 18446744073709551615 4194304 4196468 140732915272496 139732431894352 139732957616027 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13738] ppid=13726 vsize=13980732 CPUtime=4.24 cores=1,3,5,7
/proc/13728/task/13738/stat : 13738 (java) S 13726 13726 12039 0 -1 1077944384 24484 0 0 0 421 3 0 0 20 0 15 0 97705130 14316269568 49069 18446744073709551615 4194304 4196468 140732915272496 139732430842736 139732957608578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13739] ppid=13726 vsize=13980732 CPUtime=4.45 cores=1,3,5,7
/proc/13728/task/13739/stat : 13739 (java) S 13726 13726 12039 0 -1 1077944384 27358 0 0 0 442 3 0 0 20 0 15 0 97705130 14316269568 49069 18446744073709551615 4194304 4196468 140732915272496 139732429789936 139732957608578 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13740] ppid=13726 vsize=13980732 CPUtime=0.6 cores=1,3,5,7
/proc/13728/task/13740/stat : 13740 (java) S 13726 13726 12039 0 -1 1077944384 8603 0 0 0 59 1 0 0 20 0 15 0 97705130 14316269568 49069 18446744073709551615 4194304 4196468 140732915272496 139732428737136 139732957608578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13741] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13741/stat : 13741 (java) S 13726 13726 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97705130 14316269568 49069 18446744073709551615 4194304 4196468 140732915272496 139732427684576 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13742] ppid=13726 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/13728/task/13742/stat : 13742 (java) S 13726 13726 12039 0 -1 1077944384 1860 0 0 0 1 3 0 0 20 0 15 0 97705135 14316269568 49069 18446744073709551615 4194304 4196468 140732915272496 139732426631856 139732957608578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
Current children cumulated CPU time (s) 231.66
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.57 1.74 1.83 3/215 14132
/proc/meminfo: memFree=31310792/32770624 swapFree=0/316892
[pid=13726] ppid=13723 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13726/stat : 13726 (xcsp3-exec) S 13723 13726 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97705115 9740288 345 18446744073709551615 4194304 5098028 140732754130928 140732754129032 140108489958012 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 19836928 140732754133409 140732754133613 140732754133613 140732754137067 0
/proc/13726/statm: 2378 345 289 221 0 87 0
[pid=13728] ppid=13726 vsize=13980732 CPUtime=249.4 cores=1,3,5,7
/proc/13728/stat : 13728 (java) S 13726 13726 12039 0 -1 1077944320 86223 0 0 0 24918 22 0 0 20 0 15 0 97705125 14316269568 49581 18446744073709551615 4194304 4196468 140732915272496 140732915255040 139732957597431 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
/proc/13728/statm: 3495183 49581 3242 1 0 3483476 0
[pid=13728/tid=13729] ppid=13726 vsize=13980732 CPUtime=239.66 cores=1,3,5,7
/proc/13728/task/13729/stat : 13729 (java) R 13726 13726 12039 0 -1 4202560 16079 0 0 0 23958 8 0 0 20 0 15 0 97705125 14316269568 49581 18446744073709551615 4194304 4196468 140732915272496 139732961836960 139732557198797 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13730] ppid=13726 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/13728/task/13730/stat : 13730 (java) S 13726 13726 12039 0 -1 1077944384 806 0 0 0 6 0 0 0 20 0 15 0 97705126 14316269568 49581 18446744073709551615 4194304 4196468 140732915272496 139732877012112 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13731] ppid=13726 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/13728/task/13731/stat : 13731 (java) S 13726 13726 12039 0 -1 1077944384 707 0 0 0 5 1 0 0 20 0 15 0 97705126 14316269568 49581 18446744073709551615 4194304 4196468 140732915272496 139732875959312 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13732] ppid=13726 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/13728/task/13732/stat : 13732 (java) S 13726 13726 12039 0 -1 1077944384 954 0 0 0 6 0 0 0 20 0 15 0 97705126 14316269568 49581 18446744073709551615 4194304 4196468 140732915272496 139732874906512 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13733] ppid=13726 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/13728/task/13733/stat : 13733 (java) S 13726 13726 12039 0 -1 1077944384 1919 0 0 0 6 0 0 0 20 0 15 0 97705126 14316269568 49581 18446744073709551615 4194304 4196468 140732915272496 139732873853712 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13734] ppid=13726 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/13728/task/13734/stat : 13734 (java) S 13726 13726 12039 0 -1 1077944384 1817 0 0 0 6 0 0 0 20 0 15 0 97705127 14316269568 49581 18446744073709551615 4194304 4196468 140732915272496 139732435052912 139732957608578 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13735] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13735/stat : 13735 (java) S 13726 13726 12039 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 97705127 14316269568 49581 18446744073709551615 4194304 4196468 140732915272496 139732433998880 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13736] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13736/stat : 13736 (java) S 13726 13726 12039 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 97705128 14316269568 49581 18446744073709551615 4194304 4196468 140732915272496 139732432946032 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13737] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13737/stat : 13737 (java) S 13726 13726 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97705130 14316269568 49581 18446744073709551615 4194304 4196468 140732915272496 139732431894352 139732957616027 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13738] ppid=13726 vsize=13980732 CPUtime=4.24 cores=1,3,5,7
/proc/13728/task/13738/stat : 13738 (java) S 13726 13726 12039 0 -1 1077944384 24604 0 0 0 421 3 0 0 20 0 15 0 97705130 14316269568 49581 18446744073709551615 4194304 4196468 140732915272496 139732430842736 139732957608578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13739] ppid=13726 vsize=13980732 CPUtime=4.46 cores=1,3,5,7
/proc/13728/task/13739/stat : 13739 (java) S 13726 13726 12039 0 -1 1077944384 27514 0 0 0 443 3 0 0 20 0 15 0 97705130 14316269568 49581 18446744073709551615 4194304 4196468 140732915272496 139732429789936 139732957608578 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13740] ppid=13726 vsize=13980732 CPUtime=0.6 cores=1,3,5,7
/proc/13728/task/13740/stat : 13740 (java) S 13726 13726 12039 0 -1 1077944384 8609 0 0 0 59 1 0 0 20 0 15 0 97705130 14316269568 49581 18446744073709551615 4194304 4196468 140732915272496 139732428737136 139732957608578 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13741] ppid=13726 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13741/stat : 13741 (java) S 13726 13726 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97705130 14316269568 49581 18446744073709551615 4194304 4196468 140732915272496 139732427684576 139732957607637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
[pid=13728/tid=13742] ppid=13726 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/13728/task/13742/stat : 13742 (java) S 13726 13726 12039 0 -1 1077944384 1865 0 0 0 1 3 0 0 20 0 15 0 97705135 14316269568 49581 18446744073709551615 4194304 4196468 140732915272496 139732426631856 139732957608578 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 15859712 140732915278298 140732915278473 140732915278473 140732915281871 0
Current children cumulated CPU time (s) 249.4
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 13728 sig 9
??? kill 13726 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 13726 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=851
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1237
# CPU time returned by wait4() is 0.002088
# while last known CPU time is 249.4
#
# 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): 249.4
CPU user time (s): 249.18
CPU system time (s): 0.22
CPU usage (%): 103.912
Max. virtual memory (cumulated for all children) (KiB): 13995108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000851
system time used= 0.001237
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.09334 second user time and 1.32515 second system time
The end